Main Page

From Grupo de Metodos Formais

Grupo de Métodos Formais

1. Curso de Design by Contract com JML, apresentado no JAI'05
2. as pessoas de nosso grupo
3. veja nossas Linhas de pesquisa
4. estudo sobre marca do GMF
5. Tutorial de Padrões de Teste para Sistemas orientados a Objetos, apresentado no SBES'05
6. DesignWizard
7. SPACES

Contatos

LabPetri -- Laboratório de Redes de Petri e Métodos Formais
Unidade Acadêmica de Sistemas e Computação -- UASC
Centro de Engenharia Elétrica e Informática -- CEEI
Universidade Federal de Campina Grande -- UFCG

Fones: (83) 3310-1430 e (83) 3310-1429