Universidade Federal do Rio Grande do Norte: Buscando no repositório

Navegando por Assunto B method

Ir para: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ou entre com as primeiras letras:

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

Mostrando resultados 1 a 4 de 4