Navegação Programa de Pós-Graduação em Informática por autor "Leidemer, Nathan"
Itens para a visualização no momento 1-1 of 1
-
Esquema para a tradução de aplicações entre as linguagens Circus e Safety Critical Java
Leidemer, Nathan (2016-03-29)Em sistemas críticos de segurança, missão ou negócios o alto custo das falhas faz com que sejam necessários o uso de métodos e técnicas para garantir a confiabilidade da aplicação. É neste contexto que foram criadas ...