OLIVEIRA, C. V. S.; http://lattes.cnpq.br/4630058545897718; OLIVEIRA, Catuxe Varjão de Santana. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2013-03-15)
Writing formal specifications by contracts is a practical and reliable way to build softwares
in which developers and clients keep an agreement with rights and obligations to be fulfilled. These responsibilities are ...