DRUMOND, G. F.; http://lattes.cnpq.br/8398374864662567; DRUMOND, Gabriela Ferreira. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 1990-02-20)
This work is the description of a tool developed with the objective of automatically generating critical programs. The system, developed by us, allows the definition of Integrity Rules (Ris), using a language in two versions, ...