Actions for Knowledge-Based Software Engineering Conference, 11th (KBSE-96) [electronic resource]

Email RIS file
Bookmark
Report an Issue

Knowledge-Based Software Engineering Conference, 11th (KBSE-96) [electronic resource]

Corporate Author
Institute of Electrical and Electronics Engineers, Inc. Staff
Published
Los Alamitos : IEEE Computer Society Press Sept. 1996
Physical Description
168 p. 28.000 x 022.000 cm.
Access Online

Availability

I Want It
I Want It

Finding items...

Restrictions on Access
License restrictions may limit access.
Summary
Annotation 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
Genre(s)
ISBN
9780818676802
0818676809 (Trade Paper)
View MARC record | catkey: 20035008