Author : IEEE Computer Society
Publisher : Institute of Electrical & Electronics Engineers(IEEE)
Page : 172 pages
File Size : 45,6 Mb
Release : 1996
Category : Artificial intelligence
ISBN : 0818676809
Proceedings of the 11th Knowledge-based Software Engineering Conference by IEEE Computer Society Pdf
Presents papers from the September 1996 conference discussing the application of automated reasoning, knowledge representation, and other artificial intelligence techniques to software engineering problems, with emphasis on constructing and working with software artifacts and processes using knowledge-based techniques. Coverage includes synthesis, verification and validation, knowledge-based environments, and reverse engineering, with papers on areas including applying plan recognition algorithms to program understanding, and synthesis of local search algorithms by algebraic means. No index. Annotation copyrighted by Book News, Inc., Portland, OR.