Title :
Proceedings of the Seventh Knowledge-Based Software Engineering Conference (Cat. No.92TH0480-4)
Abstract :
The following topics are dealt with: the application of artificial intelligence and knowledge-based techniques to software engineering problems; techniques for constructing, representing, reasoning about, understanding, and adapting software artifacts and processes; and code synthesis and reuse
Keywords :
formal specification; inference mechanisms; knowledge based systems; software engineering; software reusability; software tools; artificial intelligence; code synthesis; knowledge-based techniques; reasoning; reuse; software artifacts; software engineering problems;
Conference_Titel :
Knowledge-Based Software Engineering Conference, 1992., Proceedings of the Seventh
Conference_Location :
Mclean, VA, USA
Print_ISBN :
0-8186-2880-4
DOI :
10.1109/KBSE.1992.252915
