Semestre: 2009-I |
Data de Apresentação: 7/7/2009 - Terça-Feira |
Hora da Apresentação: 13:30:00 |
Sala: S-223 |
Acadêmico(a): Fernanda Gums |
Título: Verificador de Propriedades em Gramática de Grafos |
Membros da Banca:
|
Área de Concentração: Especificação Formal |
Linha de Pesquisa: Tecnologias Aplicadas ao Desenvolvimento de Sistemas |
Curso: Ciência da Computação |
Nível: Graduação |
Palavras Chave: Gramática de grafos. Especificação formal. Verificação de propriedades |
Keywords: Graph grammars. Formal specification. Model checking |
Link de Acesso para a Biblioteca: http://www.bc.furb.br/docs/MO/2009/338066_1_1.pdf |
|
|