KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B.
Smart cards, Métodos Formais, Java Card, Biblioteca de componentes
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.