Jcml
Mostrando 1-1 de 1 artigos, teses e dissertações.
-
1. JCML - Java Card Modeling Language: Definição e Implementação
Métodos formais poderiam ser usados para especificar e verificar software on-card em aplicações Java Card. O estilo de programação para smart cards requer verificação em tempo de execução para condições de entrada em todos os métodos Java Card, onde o objetivo principal é preservar os dados do cartão. Projeto por Contrato, em particular, a ling
Publicado em: 2007