Esquema para a tradução de aplicações entre as linguagens circus e safety critical java

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...

Full description

Bibliographic Details
Main Author: Leidemer, Nathan
Other Authors: Santos, Osmar Marchi dos
Language:Portuguese
Published: Universidade Federal de Santa Maria 2017
Subjects:
Sistemas críticos
Linguagens formais
Circus
Safety critical java
Esquema de tradução
Critical Systems
Formal languages
Translation scheme
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Online Access:http://repositorio.ufsm.br/handle/1/12039

Internet

http://repositorio.ufsm.br/handle/1/12039

Similar Items