Validação do fluxo excepcional a partir do diagrama de atividades da UML 2.0 - Ferreira, Jeferson, 1973- (2011)
Orientador: Eliane Martins