Orientações de Mestrado
Sidney de Carvalho Nogueira - Geração Automática de Casos de Teste a Partir de Especificações CSP. 2006.
Patrícia Muniz Ferreira - Geração Automática de Modelos UML-RT a partir de Especificações CSP. 2006.
Manuela de Almeida Xavier - Definição e Implementação do Sistema de Tipos da Linguagem Circus. 2006.
Gustavo Fonseca Limaverde Cabral - Formal Specification Generation from Requirement Documents. 2006.
Robson Godoi de Albuquerque Maranhão - Uma Disciplina de Análise e Projeto para Aplicações Concorrentes Baseada no RUP. 2005.
Rodrigo Teixeira Ramos - Desenvolvimento Rigoroso com UML-RT. 2005.
Walter Miranda Mesqita Neto - Uma Estratégia para Composição Formal de Frameworks. 2004.