Research projects

2005 - 2008 - FORMULA - Formal Methods and UML-RT Integration (Edital Universal)

2004 - 2010 - Processo Integrado de Avaliação, Seleção e Geração Automática de Casos de Teste (Projeto de Pesquisa CIn-Motorola)

2002 - Present - Projeto de Automação de Testes (cooperação de P&D CIn-Motorola)

2002 - Present - Curso Seqüencial de Formação Complementar em Análise de Testes

2001 - 2005 - DARE-COOP - Develoment and Applications of a Refinement Calculus for Object-Oriented Programming

2001 - 2002 - Refinement Calculi for Sequential and Concurrent Programs

1999 - 2001 - CO-OP - Calculus of Object-Oriented Programming

Veja mais: 1234