| |
Anand, Kritika
|
ForMABS '16: "Domain-Independent Method ..."
Domain-Independent Method of Detecting Inconsistencies in SBVR-Based Business Rules
Pavan Kumar Chittimalli and Kritika Anand
(Tata Consultancy Services, India)
@InProceedings{ForMABS16p41,
author = {Pavan Kumar Chittimalli and Kritika Anand},
title = {Domain-Independent Method of Detecting Inconsistencies in SBVR-Based Business Rules},
booktitle = {Proc.\ ForMABS},
publisher = {ACM},
pages = {41-40},
doi = {},
year = {2016},
}
|
| |
Chittimalli, Pavan Kumar
|
ForMABS '16: "Domain-Independent Method ..."
Domain-Independent Method of Detecting Inconsistencies in SBVR-Based Business Rules
Pavan Kumar Chittimalli and Kritika Anand
(Tata Consultancy Services, India)
@InProceedings{ForMABS16p41,
author = {Pavan Kumar Chittimalli and Kritika Anand},
title = {Domain-Independent Method of Detecting Inconsistencies in SBVR-Based Business Rules},
booktitle = {Proc.\ ForMABS},
publisher = {ACM},
pages = {41-40},
doi = {},
year = {2016},
}
|
| |
Hildebrandt, Thomas
|
ForMABS '16: "Flexible, Adaptable, and Compliant ..."
Flexible, Adaptable, and Compliant Business Systems with Dynamic Condition Response Graphs
Thomas Hildebrandt
(IT University of Copenhagen, Denmark)
@InProceedings{ForMABS16p1,
author = {Thomas Hildebrandt},
title = {Flexible, Adaptable, and Compliant Business Systems with Dynamic Condition Response Graphs},
booktitle = {Proc.\ ForMABS},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2016},
}
|
| |
Marijan, Dusica
|
ForMABS '16: "Improving Configurable Software ..."
Improving Configurable Software Testing with Statistical Test Selection
Dusica Marijan
(Simula Research Laboratory, Norway)
@InProceedings{ForMABS16p33,
author = {Dusica Marijan},
title = {Improving Configurable Software Testing with Statistical Test Selection},
booktitle = {Proc.\ ForMABS},
publisher = {ACM},
pages = {33-32},
doi = {},
year = {2016},
}
|
| |
Raghavan, Komondoor V.
|
ForMABS '16: "Static Analysis to Enable ..."
Static Analysis to Enable Verification and Transformation of Data-Intensive Business Applications
Komondoor V. Raghavan
(Indian Institute of Science, India)
@InProceedings{ForMABS16p25,
author = {Komondoor V. Raghavan},
title = {Static Analysis to Enable Verification and Transformation of Data-Intensive Business Applications},
booktitle = {Proc.\ ForMABS},
publisher = {ACM},
pages = {25-24},
doi = {},
year = {2016},
}
|
| |
Roychoudhury, Abhik |
ForMABS '16: "SemFix and Beyond: Semantic ..."
SemFix and Beyond: Semantic Techniques for Program Repair
Abhik Roychoudhury
(National University of Singapore, Singapore)
@InProceedings{ForMABS16p9,
author = {Abhik Roychoudhury},
title = {SemFix and Beyond: Semantic Techniques for Program Repair},
booktitle = {Proc.\ ForMABS},
publisher = {ACM},
pages = {9-8},
doi = {},
year = {2016},
}
|
| |
Uchitel, Sebastian
|
ForMABS '16: "Business Process Adaptation ..."
Business Process Adaptation using Discrete Event Controller Synthesis
Sebastian Uchitel
(University of Buenos Aires, Argentina; Imperial College London, UK)
@InProceedings{ForMABS16p17,
author = {Sebastian Uchitel},
title = {Business Process Adaptation using Discrete Event Controller Synthesis},
booktitle = {Proc.\ ForMABS},
publisher = {ACM},
pages = {17-16},
doi = {},
year = {2016},
}
|