Banca de QUALIFICAÇÃO: SIMONE DE OLIVEIRA SANTOS

Uma banca de QUALIFICAÇÃO de MESTRADO foi cadastrada pelo programa.
DISCENTE: SIMONE DE OLIVEIRA SANTOS
DATA: 19/08/2011
HORA: 16:00
LOCAL: sala de reuniões DIMAp
TÍTULO:

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


PALAVRAS-CHAVES:

Smart cards, Métodos Formais, Java Card, Biblioteca de componentes


PÁGINAS: 45
GRANDE ÁREA: Ciências Exatas e da Terra
ÁREA: Ciência da Computação
RESUMO:

O desenvolvimento de aplicações para smart cards requer um alto grau de confiabilidade. Métodos formais fornecem meios para que esta confiabilidade seja alcançada. O método e a ferramenta BSmart fornecem uma contribuição para que o desenvolvimento para smart cards seja feito com o auxílio do método formal B, gerando código Java Card a partir de especificações B. O KitSmart é uma biblioteca de componentes reutilizáveis especificados em B para o auxílio ao uso da ferramenta BSmart. Este qualificação propõe o aperfeiçoamento do KitSmart com o acréscimo da especificação da API Java Card, novos componentes reutilizáveis para desenvolvimento em B, e um guia para o desenvolvimento de novos componentes. Este kit deverá ser útil tanto para usuários do método B como para desenvolvedores de aplicações Java Card  em geral.


MEMBROS DA BANCA:
Presidente - 1258224 - ANAMARIA MARTINS MOREIRA
Interno - 2220777 - DAVID BORIS PAUL DEHARBE
Interno - 1495704 - UMBERTO SOUZA DA COSTA
Notícia cadastrada em: 08/07/2011 09:47
SIGAA | Superintendência de Informática - (84) 3215-3148 | Copyright © 2006-2019 - UFRN - sigaa11-producao.info.ufrn.br.sigaa11-producao