Projetos

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

2005 - Present - Testes de aplicações para disseminação, capacitação e manutenção de dispositivios celulares (CT-INFO)

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

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

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

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

2001 - 2002 - Refinement Calculi for Sequential and Concurrent Programs

Veja mais: 12