A Method for Verifying the Consistency of Business Rules Using Alloy

GUIMARAES, D. S. ; Schmitz, Eber A. ; ALENCAR, Antonio Juarez ; Alexandre Luis Correa ; LIMA, Prisila M V . A Method for Verifying the Consistency of Business Rules Using Alloy. In: International Conference on Software Engineering and Knowledge Engineering (SEKE), 2014, Vancouver. Prodeedings of the Twenty-Sixth International Conference on Software Engineering and Knowledge Engineering. Skokle, IL.,USA: Knowledge Systems Institute Graduate School, 2014. v. 1. p. 381-386.

2014