KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B

Mostrar outras versões (1)

The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card applications with the support of the B method, generating Java Card code from B s...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Autor principal: Santos, Simone de Oliveira
Outros Autores: Moreira, Anamaria Martins
Formato: Dissertação
Idioma:por
Publicado em: Universidade Federal do Rio Grande do Norte
Assuntos:
engenharia de Software
especificação formal
método B
java card
software engineering
formal specification
B method
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Endereço do item:https://repositorio.ufrn.br/jspui/handle/123456789/18043
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Internet

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

Registros relacionados