Knowledge-Based Software Engineering

ISBN-13: 9780792397892 / Angielski / Twarda / 1996 / 108 str.

Dorothy E. Setliff; Howard Reubenstein

Opis

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.

Spis treści

Introduction; H. Reubenstein, D. Setliff. Searching for a Global Search Algorithm; S. Dick, T. Santen. Specification and Animation of a Bank Transfer Using KIDS/VDM; Y. Ledru. Interactive Explanation of Software Systems; W.L. Johnson, A. Erdem. Test Case Generation as an AI Planning Problem; A. Howe, R. Mraz. Desert Island Column; W. Turski.