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:15 - 8 self

Documents Related by Co-Citation

560 Nonmonotonic Reasoning, Preferential Models and Cumulative Logics – Sarit Kraus, Daniel Lehmann, Menachem Magidor - 1990
1921 Foundations of Logic Programming – J Lloyd - 1987
485 A note on inductive generalization – G Plotkin - 1970
21 ECA-RuleML: An approach combining ECA rules with temporal interval-based KR event/action logics and transactional update logics – A Paschke - 2005
879 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
654 A logic-based calculus of events – R A Kowalski, M Sergot - 1986
1505 Refactoring: Improving the Design of Existing Code – M Fowler - 1999
865 Circumscription—a form of non-monotonic reasoning – John McCarthy - 1980
943 A complexity measure – T J McCabe - 1976