Knowledge-Based Software Engineering

__Knowledge-Based Software Engineering__ brings together in one place important contributions and up-to-date research results in this important area. __Knowledge-Based Software Engineering__ serves as an excellent reference, providing insight into some of the most important research issues in the field.

knowledge-based Software Engineering Brings Together In One Place Important Contributions And Up-to-date Research Results In This Important Area.
Knowledge-based Software Engineering Serves As An Excellent Reference, Providing Insight Into Some Of The Most Important Research Issues In The Field.

booknews

a Special Issue Of The Journal Of Automated Software Engineering, Vol. 4, No. 1 (1997) Containing Four Extended Papers Selected As Best From A November 1995 Conference In Boston. They Cover Searching For A Global Search Algorithm, Specifying And Animating A Bank Transfer Using Kinds/vdm, The Interactive Explanation Of Software Systems, And Generating Test Cases As An Artificial Intelligence Planning Problem. A Short Introduction And A Short Desert Island Column Are Included. No Index. Annotation C. By Book News, Inc., Portland, Or.

This special issue of the Journal of Automated Software Engineering contains four extended papers from the 10th Knowledge-Based Software Engineering Conference, held in Boston, Massachusetts in November 1995. The conference provides a forum for researchers and practitioners to discuss applications of automated reasoning, knowledge representation, and artificial intelligence techniques to software engineering problems. The papers included herein are the best paper award winners, or candidates for same Front Matter....Pages 1-3 Introduction....Pages 5-5 Searching for a Global Search Algorithm....Pages 7-31 Specification and Animation of a Bank Transfer using KIDS/VDM....Pages 33-51 Interactive Explanation of Software Systems....Pages 53-75 Test Case Generation as an AI Planning Problem....Pages 77-106 Desert Island Column....Pages 107-109