Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems - ForMABS 2016
Latest Publications

TOTAL DOCUMENTS

6

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By ACM Press

9781450342148

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems - ForMABS 2016 ◽

10.1145/2975941.2975943 ◽

2016 ◽

Author(s):

Pavan Kumar Chittimalli ◽

Kritika Anand

Keyword(s):

Independent Method ◽

Business Rules ◽

Domain Independent

Download Full-text

Improving configurable software testing with statistical test selection

Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems - ForMABS 2016 ◽

10.1145/2975941.2975942 ◽

2016 ◽

Author(s):

Dusica Marijan

Keyword(s):

Software Testing ◽

Statistical Test ◽

Test Selection ◽

Configurable Software

Download Full-text

Business process adaptation using discrete event controller synthesis

Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems - ForMABS 2016 ◽

10.1145/2975941.2990289 ◽

2016 ◽

Author(s):

Sebastian Uchitel

Keyword(s):

Business Process ◽

Discrete Event ◽

Controller Synthesis ◽

Process Adaptation

Download Full-text

Flexible, adaptable, and compliant business systems with dynamic condition response graphs

Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems - ForMABS 2016 ◽

10.1145/2975941.2990287 ◽

2016 ◽

Author(s):

Thomas Hildebrandt

Keyword(s):

Dynamic Condition ◽

Business Systems

Download Full-text

Static analysis to enable verification and transformation of data-intensive business applications

Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems - ForMABS 2016 ◽

10.1145/2975941.2990290 ◽

2016 ◽

Author(s):

Komondoor V. Raghavan

Keyword(s):

Static Analysis ◽

Data Intensive ◽

Business Applications

Download Full-text

SemFix and beyond: semantic techniques for program repair

Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems - ForMABS 2016 ◽

10.1145/2975941.2990288 ◽

2016 ◽

Author(s):

Abhik Roychoudhury

Keyword(s):

Program Repair ◽

Semantic Techniques

Download Full-text