http://lattes.cnpq.br/2545984407551728; BARBOSA, Matheus de Oliveira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2019-03-07)
During the software development process, various types of artifacts are created that represent levels of abstractions and different views. Among these artifacts, the Behavioral State Machines (SM) UML, are one of the most ...