LIMA, M. A. E. A.; http://lattes.cnpq.br/5783905837905959; LIMA, Melquisedec Albert Einstein de Andrade. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2019-12-09)
Among the models approached by the UML language, there is the state machine model,
which allows modeling the behavior of an isolated software object, showing explicitly how
the object responds to external stimulus. When ...