Verificação de conformidade entre diagramas de sequência UML e código Java. - RABELO JÚNIOR, Sebastião Estefânio Pinto. (2012)