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

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

Made available in DSpace on 2014-12-17T15:48:00Z (GMT). No. of bitstreams: 1 SimoneOS_DISSERT_capa_ate_pag44.pdf: 4276014 bytes, checksum: c178262769ab9981c0bbfc10faf1c633 (MD5) Previous issue date: 2012-02-10 === Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior === The development of...

Full description

Bibliographic Details
Main Author: Santos, Simone de Oliveira
Other Authors: CPF:82573611787
Format: Others
Language:Portuguese
Published: Universidade Federal do Rio Grande do Norte 2014
Subjects:
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
Online Access:http://repositorio.ufrn.br:8080/jspui/handle/123456789/18043

Internet

http://repositorio.ufrn.br:8080/jspui/handle/123456789/18043

Similar Items