BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B

Mostrar outras versões (1)

Java Card technology allows the development and execution of small applications embedded in smart cards. A Java Card application is composed of an external card client and of an application in the card that implements the services available to the client by means of an Application Programming Interf...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Autor principal: Gomes, Bruno Emerson Gurgel
Outros Autores: Moreira, Anamaria Martins
Formato: Dissertação
Idioma:por
Publicado em: Universidade Federal do Rio Grande do Norte
Assuntos:
Java Card
Métodos formais
Método B
Geração de código.
Formal methods,
B method
Code generation
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Endereço do item:https://repositorio.ufrn.br/jspui/handle/123456789/17964
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Internet

https://repositorio.ufrn.br/jspui/handle/123456789/17964

Registros relacionados