BARBOSA, A. E. V.; http://lattes.cnpq.br/1135602078298154; BARBOSA, Ana Emília Victor. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2007-04-20)
In this work we propose and develop a technique that allows to detect the violation of
behavior properties of concurrent systems. The technique was inspired by the Design by
Contract (DbC) programming methodology, which ...