RAPDIS: Um Processo MDA para Desenvolvimento de Sistemas de Informação'
A Method for Verifying the Consistency of Business Rules Using Alloy
Antonio Juarez Sylvio Menezes de Alencar
Eber Assis Schmitz
Denis Silva da Silveira
Gisele Pereira MORGADO
D. S. GUIMARAES
Alexandre Luis Correa