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

Casa editrice: Springer

Data di pubblicazione: 1996

Legatura: 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.