Domain-independent method of detecting inconsistencies in SBVR-based business rules

Pavan Kumar Chittimalli, Kritika Anand. Domain-independent method of detecting inconsistencies in SBVR-based business rules. In Ravindra Naik, Raveendra Kumar Medicherla, Ansuman Banerjee, editors, Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems, ForMABS@ASE 2016, Singapore, Singapore, September 4, 2016. pages 9-16, ACM, 2016. [doi]

Authors

Pavan Kumar Chittimalli

This author has not been identified. Look up 'Pavan Kumar Chittimalli' in Google

Kritika Anand

This author has not been identified. Look up 'Kritika Anand' in Google