Esquema para a tradução de aplicações entre as linguagens circus e safety critical java
At safety-critical, mission-critical and business-critical systems the high cost of failure makes required the use of methods and techniques to ensure application reliability. In this context, formal languages, as Circus or specific languages versions like Safety-Critical Java, were created to fa...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | Portuguese |
| Published: |
Universidade Federal de Santa Maria
2017
|
| Subjects: | |
| Online Access: | http://repositorio.ufsm.br/handle/1/12039 |