PIRES, Waldemar; http://lattes.cnpq.br/8662463350773114; FERREIRA NETO, Waldemar Pires. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2009-04-17)
In this work we propose and investigate a completely automatic technique to execute
conformance verification between an implementation in Java and its design expressed
by UML class diagram. This verification is performed ...