Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems, ForMABS@ASE 2016, Singapore, Singapore, September 4, 2016 - researchr publication

researchr

You are not signed in
Sign in
Sign up

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. ACM, 2016. [doi]

Conference: ASE2016

Abstract is missing.

Flexible, adaptable, and compliant business systems with dynamic condition response graphsThomas Hildebrandt. 1 [doi]

SemFix and beyond: semantic techniques for program repairAbhik Roychoudhury. 2 [doi]

Business process adaptation using discrete event controller synthesisSebastián Uchitel. 3 [doi]

Static analysis to enable verification and transformation of data-intensive business applicationsKomondoor V. Raghavan. 4 [doi]

Improving configurable software testing with statistical test selectionDusica Marijan. 5-8 [doi]

Domain-independent method of detecting inconsistencies in SBVR-based business rulesPavan Kumar Chittimalli, Kritika Anand. 9-16 [doi]

runs on WebDSL