Knowledge-Based Software Engineering

ISBN 10: 0792397894 / ISBN 13: 9780792397892

Editore: Springer, 1996

Riguardo questo articolo

US SELLER SHIPS FAST FROM USA.

Codice articolo INT-139D1-129D2-HC-7894-1P7-Wht

Dati bibliografici

• Titolo: Knowledge-Based Software Engineering
• Editore: Springer
• Data di pubblicazione: 1996
• Lingua: Inglese
• ISBN 10: 0792397894
• ISBN 13: 9780792397892
• Rilegatura: Hardcover
• Condizione: New

Descrizione articolo

Riassunto

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.

Contenuti

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.