Navegando por Assunto B method
Mostrando resultados 1 a 4 de 4
Data do documento | Título | Autor(es) |
---|---|---|
10-Fev-2012 | Beta: uma ferramenta para geração de testes de unidade a partir de especificações B | Matos, Ernesto Cid Brasil de |
19-Nov-2007 | BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B | Gomes, Bruno Emerson Gurgel |
16-Ago-2011 | Especificação do micronúcleo FreeRTOS utilizando o método B | Galvão, Stephenson de Sousa Lima |
10-Fev-2012 | KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B | Santos, Simone de Oliveira |