Development and verification of rule based systems - A survey of developers

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5321 LNCS, Issue , 2008, Pages 6-16

  Zacharias, Valentin ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; SURVEYS;

POSSIBLE FUTURES; TOOL SUPPORT; TOOLS AND METHODS; VERIFICATION-AND-VALIDATION;

PROGRAM DEBUGGING;

EID: 57549105701     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88808-6_4     Document Type: Conference Paper

References (16)

1. Zacharias, V.: Rules as simple way to model knowledge: Closing the gap between promise and reality. In: Proceedings of the 10th International Conference on Enterprise Information Systems (to appear, 2008)
2. Hamilton, D., Kelley, K.: State-of-the-practice in knowledge-based system verification and validation. Expert Systems With Applications 3, 403-410 (1991)
3. O'Leary, D.: Design, Development and Validation of Expert Systems: A Survey of Developers, pp. 3-18. John Wiley & Sons Ltd., Chichester (1991)
4. Cusumano, M., MacCormack, A.C., Kemerer, F., Crandall, B.: Software development worldwide: The state of the practice. IEEE Software 20 (2003)
5. Zhao, L., Elbaum, S.: A survey on quality related activities in open source. SIGSOFT Software Engineering Notes 25(3), 54-57 (2000)
6. Zhao, L., Elbaum, S.: Quality assurance under the open source development model. Journal of Systems and Software 66, 65-75 (2003)
7. Runeson, P., Andersson, C., Thelin, T., Andrews, A., Berling, T.: What do we know about defect detection methods? IEEE Software 23, 82-90 (2006)
8. SurveyMonkey: Surveymonkey (2008) (accessed 2008-05-29), http://www.surveymonkey.com/
9. Larman, C., Basili, V.: Iterative and incremental development: A brief history. IEEE Computer, 47-56 (June 2003)
10. MacCormack, A.: Product-development practices that work. MIT Sloan Management Review, 75-84 (2001)
11. Zacharias, V.: The debugging of rule bases. In: Handbook of Research on Emerging R.ule-Based Languages and Technologies: Open Solutions and Approaches. IGI Global (to appear, 2009)
12. Shapiro, E.Y.: Algorithmic program debugging. PhD thesis, Yale University (1982)
13. Chalupsky, H., Russ, T.: Whynot: Debugging failed queries in large knowledge bases. In: Proceedings of the Fourteenth Innovative Applications of Artificial Intelligence Conference (IAAI 2002), pp. 870-877 (2002)
14. Becker, M., Nanz, S.: The role of abduction in declarative authorization policies. In: Proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages (PADL) (2008)
15. Ilog: Agile business rule development (2008) (accessed 2008-05-31), http://www.ilog.com/brms/media/ABRD/
16. Zacharias, V.: The agile development of rule bases. In: Proceeedings of the 16th International Conference on Information Systems Development (2007)