Knowledge-Based Software Engineering / Edition 1

by Dorothy E. Setliff, Howard Reubenstein

Overview

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.

Product Details

ISBN-13:	9780792397892
Publisher:	Springer US
Publication date:	12/31/1996
Edition description:	1997
Pages:	108
Product dimensions:	6.10(w) x 9.25(h) x 0.01(d)

Table of Contents

Searching for a Global Search Algorithm.- Specification and Animation of a Bank Transfer using KIDS/VDM.- Interactive Explanation of Software Systems.- Test Case Generation as an AI Planning Problem.- Desert Island Column.

Editorial Reviews

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.

Booknews