On the test-driven development and validation of business rules (2005)

by Jens Dietrich , Adrian Paschke
Venue:Information Systems Technology and its Applications, 4th International Conference ISTA’2005, 23-25 May, 2005, Palmerston North, New Zealand, volume 63 of LNI
Citations:13 - 7 self

Documents Related by Co-Citation

10 RBSLA - A declarative Rule-based Service Level Agreement Language based on RuleML – Adrian Paschke - 2005
8 ECA-RuleML/ECA-LP: A Homogeneous Event-Condition-Action Logic Programming Language, http://2006.ruleml.org – A Paschke - 2006
11 ECA-RuleML: An approach combining ECA rules with temporal interval-based KR event/action logics and transactional update logics – A Paschke - 2006
468 Nonmonotonic Reasoning, Preferential Models and Cumulative Logics – Sarit Kraus, Daniel Lehmann, Menachem Magidor - 1990
5 SLA Representation, Management and Enforcement - Combining Event Calculus, Deontic Logic, Horn Logic and Event Condition Action Rules – A Paschke, M Bichler - 2005
6 The ContractLog Approach Towards Test-driven Verification and Validation of Rule Bases - A Homogeneous Integration of Test Cases and Integrity Constraints into Evolving – A Paschke
1739 Foundations of Logic Programming – J W Lloyd - 1984
428 A note on inductive generalization – G D Plotkin - 1970
12 Knowledge representation concepts for automated SLA management. Decision Support Systems – Adrian Paschke, Martin Bichler - 2008
13 Typed Hybrid Description Logic Programs with Order-Sorted Semantic Web Type Systems based on – Adrian Paschke - 2006
5 ContractLog - A Logic Framework for SLA Representation, Management and Enforcement – A Paschke - 2004
743 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
174 Composite events for active databases: Semantics, contexts, and detection – S. Chakravarthy, V. Krishnaprasad, E. Anwar, S. -k. Kim - 1994
41 Foundation and application of knowledge base verification – Alun D. Preece, Rajjan Shinghal - 1994
11 Control-flow based testing of prolog programs – G Luo, G Bochmann, B Sarikaya, M Boyer - 1992
18 A report on the expert systems validation associate (eva). Expert Systems with Applications 1(3):217–230 – C L Chang, J B Combs, R A Stachowitz - 1990
3 Rule Based SLA Management - A rule based approach on automated IT service management (in german language – A Paschke
5 ContractLog: An Approach to Rule Based Monitoring and Execution of Service Level Agreements. in RuleML 2005 – Adrian Paschke, Martin Bichler, Jens Dietrich, Internet-based Information Systems, Technische Universität München - 2005
3 ContractLog - A Logic Framework for – A Paschke