This specific ISBN edition is currently not available.View all copies of this ISBN edition:
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 c. by Book News, Inc., Portland, Or.
"synopsis" may belong to another edition of this title.
(No Available Copies)
If you know the book but cannot find it on AbeBooks, we can automatically search for it on your behalf as new inventory is added. If it is added to AbeBooks by one of our member booksellers, we will notify you!Create a Want