A proposal of hybrid knowledge engineering and refinement approach

Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2007

Volumn , Issue , 2007, Pages 542-547

  Nalepa, Grzegorz J ^a   Wojnicki, Igor ^a  

^a AGH UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; RELIABILITY; SOFTWARE DESIGN; SOFTWARE PROTOTYPING; VERIFICATION;

HEKATE PROJECT; HYBRID KNOWLEDGE ENGINEERING; REFINEMENT APPROACH;

KNOWLEDGE ENGINEERING;

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

References (18)

1. Burbeck, S. 1992. Applications programming in smalltalk80(tm): How to use model-view-controller (mvc). Technical report, Department of Computer Science, University of Illinois, Urbana-Champaign.
2. de Moura, P. J. L. 2003. Logtalk. Design of an ObjectOriented Logic Programming Language. Ph.D. Dissertation, Universidade da Beira Interior, Departamento de Informatica, Covilha.
3. Jackson, P. 1999. Introduction to Expert Systems. Addison-Wesley, 3rd edition. ISBN 0-201-87686-8.
4. Ligȩza, A.; Wojnicki, I.; and Nalepa, G. 2001. Tab-trees: a case tool for design of extended tabular systems. In et al., H. M., ed., Database and Expert Systems Applications, volume 2113 of Lecture Notes in Computer Sciences. Berlin: Springer-Verlag. 422-431.
5. Ligȩza, A. 2006. Logical Foundations for Rule-Based Systems. Berlin, Heidelberg: Springer-Verlag.
6. Maurer, F., and Ruhe, G., eds. 2004. Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2004), Banff, Alberta, Canada, June 20-24, 2004.
7. Mellor, S. J., and Balcer, M. 2002. Executable UML: A Foundation for Model-Driven Architectures. Boston, MA, USA: Addison-Wesley Longman Publishing Co., Inc.
8. Miller, J., and Mukerji, J. 2003. MDA Guide Version 1.0.1. OMG.
9. Nalepa, G. J., and Ligȩza, A. 2005. Conceptual modelling and automated implementation of rule-based systems. In Krzysztof Zieliński, T. S., ed., Software engineering : evolution and emerging technologies, volume 130 of Frontiers in Artificial Intelligence and Applications, 330-340. Amsterdam: IOS Press.
10. Nalepa, G. J., and Ziȩcik, P. 2006. Integrated embedded prolog platform for rule-based control systems. In Napieralski, A., ed., MLXDES 2006 : MLXed DESign of integrated circuits and systems : proceedings of the international conference : Gdynia, Poland 22-24 June 2006, 716-721. Łdź: Technical University Lodz. Department of Microelectronics and Computer Science.
11. Nalepa, G. J. 2004. Meta-Level Approach to Integrated Process of Design and Implementation of Rule-Based Systems. Ph.D. Dissertation, AGH University of Science and Technology, AGH Institute of Automatics, Cracow, Poland.
12. Newell, A. 1982. The knowledge level. Artificial Intelligence 18(1): 87-127.
13. Rash, J. L.; Hinchey, M. G.; Rouff, C. A.; Gracanin, D.; and Erickson, J. 2005. A tool for requirements-based programming. In Integrated Design and Process Technology, IDPT-2005. Society for Design and Process Science.
14. Ross, R. G. 2003. Principles of the Business Rule Approach. Addison-Wesley Professional, 1 edition.
15. Russell, S., and Norvig, P. 2003. Artificial Intelligence: A Modern Approach. Prentice-Hall, 2nd edition.
16. Sommerville, I. 2004. Software Engineering. International Computer Science. Pearson Education Limited, 7th edition.
17. Torsun, I. S. 1995. Foundations of Intelligent KnowledgeBased Systems. London, San Diego, New York, Boston, Sydney, Tokyo, Toronto: Academic Press.
18. von Halle, B. 2001. Business Rules Applied: Building Better Systems Using the Business Rules Approach. Wiley.