Knowledge-Based Software Engineering

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Setliff, Dorothy (Επιμελητής έκδοσης), Reubenstein, Howard (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 1997.
• Θέματα: Computer science.; Software engineering.; Artificial intelligence.; Computer Science.; Software Engineering/Programming and Operating Systems.; Artificial Intelligence (incl. Robotics).; Computer Science, general.

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.

Πίνακας περιεχομένων:

• 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.