Survey of Knowledge Based Approaches to Automating Program Formation

AbstractThe 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