1
Assuntos:
“...software engineering...”
KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B
Dissertação
2
Assuntos:
“...software engineering...”
Beta: uma ferramenta para geração de testes de unidade a partir de especificações B
Dissertação