Knowledge-Based Software Engineering

• Corporate Author: SpringerLink (Online service)
• Other Authors: Setliff, Dorothy. (Editor), Reubenstein, Howard. (Editor)
• Format: Electronic
• Language: English
• Published: Boston, MA : Springer US, 1997.
• Subjects: Computer science.; Software engineering.; Artificial intelligence.; Computer Science.; Software Engineering/Programming and Operating Systems.; Artificial Intelligence (incl. Robotics).; Computer Science, general.
• Online Access: View fulltext via EzAccess

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.

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.