King Saud UniversityKSU Libraries Libraries Catalog

Author(s) Pavol Navrat
Affiliation ComputerScienceand EngineeringDept.,Slovak TechnicalUniversity Ilkovicova3, 812 19 Bratislava,Slovakia
Title Survey of Knowledge Based Approaches to Automating
Source Journal of King Saud University. Computer & Information Sciences. Volume 8, No 1. (1996/1416)
Abstract The paper presents a critical overview of the development in the area of automating the program formation, seen in a broader perspective from automatic program synthesis to computer aided software engineering. The fundamental problems are identified in the area of automatic program synthesis, intelligent support of software development, computer aided software engineering. The trends in related fields, especially in artificial intelligence are surveyed and the possible influence is evaluated. Need for urgent development of theory of programming is recognised. In parallel, knowledge engineering methods should be considered because they allow building models of the respective domain.