Visual software modelling with extended rule-based model: A knowledge-based programming solution for general software design

ENASE 2007 - Proceedings of the 2nd International Conference on Evaluation of Novel Approaches to Software Engineering

Volumn , Issue , 2007, Pages 41-47

  Nalepa, Grzegorz J ^a   Wojnicki, Igor ^a  

^a AGH UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Poland)

Author keywords

Automated implementation; Knowledge engineering; Rule based programming; Software modelling; XTT

Indexed keywords

AUTOMATED IMPLEMENTATION; ENGINEERING DOMAINS; NON-MONOTONIC INFERENCE; OBJECT ORIENTED APPROACH; PROGRAMMING SOLUTIONS; RULE-BASED PROGRAMMING; SOFTWARE MODELLING; XTT;

COMPUTER PROGRAMMING; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE ENGINEERING;

SOFTWARE ENGINEERING;

EID: 70350665682     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. Bratko, I. (2000). Prolog Programming for Artificial Intelligence. Addison Wesley, 3rd edition.
2. Burbeck, S. (1992). Applications programming in smalltalk-80(tm): How to use model-view-controller (mvc). Technical report, Department of Computer Science, University of Illinois, Urbana-Champaign.
3. Covington, M. A., Nute, D., and Vellino, A. (1996). Prolog programming in depth. Prentice-Hall.
4. Jackson, P. (1999). Introduction to Expert Systems. Addison-Wesley, 3rd edition. ISBN 0-201-87686-8.
5. Liebowitz, J., editor (1998). The Handbook of Applied Expert Systems. CRC Press, Boca Raton.
6. Ligȩza, A. (2006). Logical Foundations for Rule-Based Systems. Springer-Verlag, Berlin, Heidelberg.
7. Nalepa, G. J. (2004). Meta-Level Approach to Integrated Process of Design and Implementation of Rule-Based Systems. PhD thesis, AGH University of Science and Technology, AGH Institute of Automatics, Cracow, Poland.
8. Nalepa, G. J. (2005). Rule-based systems design and implementation: methodologies and technologies. In Ryszard Tadeusiewicz, Antoni Ligȩza, M. S., editor, CMS'05. Plenary lectures and special session papers: Computer Methods and Systems, volume 1, pages 329-340, Kraków, Poland. AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology, Oprogramowanie Naukowo-Techniczne.
9. Nalepa, G. J. and Ligȩza, A. (2005a). A graphical tabular model for rule-based logic programming and verification. Systems Science, 31(2):89-95.
10. Nalepa, G. J. and Ligȩza, A. (2005b). A visual edition tool for design and verification of knowledge in rule-based systems. Systems Science, 31(3):103-109.
11. Nalepa, G. J. and Ligȩza, A. (2006). Prolog-based analysis of tabular rule-based systems with the xtt approach. In Sutcliffe, G. C. J. and Goebel, R. G., editors, FLAIRS 2006: proceedings of the 19th international Florida Artificial Intelligence Research Society conference, pages 426-431. AAAI Press.
12. Negnevitsky, M. (2002). Artificial Intelligence. A Guide to Intelligent Systems. Addison-Wesley, Harlow, England; London; New York. ISBN 0-201-71159-1.
13. Newell, A. (1982). The knowledge level. Artificial Intelligence, 18(1):87-127.
14. Sommerville, I. (2004). Software Engineering. International Computer Science. Pearson Education Limited, 7th edition.
15. Torsun, I. S. (1995). Foundations of Intelligent Knowledge-Based Systems. Academic Press, London, San Diego, New York, Boston, Sydney, Tokyo, Toronto.
16. Vermesan, A. and Coenen, F., editors (1999). Validation and Verification of Knowledge Based Systems. Theory, Tools and Practice. Kluwer Academic Publisher, Boston.