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

Active Bibliography

6 Negation and Negative Information in the W3C Resource Description Framework – Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damasio, Gerd Wagner - 2004
9 Extended RDF as a Semantic Foundation of Rule Markup Languages – Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner
5 Evolution of Rule-Based Programs – Ralf Lämmel - 2004
17 Design Patterns for Functional Strategic Programming – Ralf Lämmel, De Boelelaan A, Joost Visser - 2002
Ai Miei Genitori Ii – Acknowledgements First Would, Cesare Stefanelli, Franco Zambonelli
A Survey of Web Scale Reasoning – Zhisheng Huang , Barry Bishop , Daniele Braga , Florian Fischer (sti Innsbruck, Frank Van Harmelen , Peipeng Liang , Jose Quesada, Jörg Rieskamp , Michael Witbrock , Ning Zhong , et al. - 2008
public A Survey of Web Scale Reasoning Executive Summary – Zhisheng Huang (coordinator, Barry Bishop(sti Innsbruck, Daniele Braga (cefirel, Florian Fischer (sti Innsbruck, Frank Van Harmelen (vua, Haiyan Zhou (wici, Jose Quesada (mpg, Jörg Rieskamp (mpg, Michael Witbrock (cyceuro, Ning Zhong (wici - 2009
6 SLT-resolution for the well founded semantics – Yi-dong Shen, Li-yan Yuan, Jia-huai You - 2002
16 Some (in)translatability results for normal logic programs and propositional theories – Tomi Janhunen - 2006
100 A Survey of Research on Deductive Database Systems – Raghu Ramakrishnan, Jeffrey D. Ullman - 1993
15 Foundations of rule-based query answering – François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei - 2007
35 Logic programming revisited: logic programs as inductive definitions – Marc Denecker, Maurice Bruynooghe, Victor Marek - 2001
6 Role-Based Modeling Language (RBML) Specification V1.0 – Robert France, Dae-kyoo Kim, Eunjee Song - 2002
STREAM: A First Programming Process – Michael E. Caspersen
Unifying Software Engineering Methods and Tools: Principles and Patterns from Information Foraging – Chris Scaffidi, Scott Fleming, David Piorkowski, Margaret Burnett, Rachel Bellamy, Joseph Lawrance
Generative Patterns of Software Qualifying Dissertation – Tim Hoverd, Tim Hoverd
7 Does Refactoring Improve Reusability? – Raimund Moser, Alberto Sillitti, Pekka Abrahamsson, Giancarlo Succi
10 Formal Extreme (and Extremely Formal) Programming – Angel Herranz, Juan José Moreno-Navarro - 2003
5 DeepCompare: Static Analysis for Runtime Software Evolution – Yves Vandewoude, Yolande Berbers - 2005