Survey of Knowledge Based Approaches to Automating Program Formation

Pavol Navrat
1996 Journal of King Saud University: Computer and Information Sciences  
The paper presents a critical overview of the development in the area of automating the program formation. seen in a broader perspecti ve 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, e&pecially in artificial intelligence are surveyed and the possible influence is evaluated.
more » ... eed 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.
doi:10.1016/s1319-1578(96)80003-6 fatcat:4i6wno2jtjen7ccxqwi4rfcgyi