Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 7-14 Tagen versandfertig
Veröffentlichung:	September 2012
Genre:	EDV / Informatik
ISBN:	9781461359616
EAN-Code:	9781461359616
Verlag:	Springer Us
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 8 mm
Gewicht:	224 gr
Seiten:	140
Zus. Info:	Paperback
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

The knowledge-based approach to the automation of program understanding presented here plays an important role in nearly all software related tasks: it is vital to the development, maintenance and re-use activities, and is indispensable in improving the quality of software development. The approach described generates rigorous program documentation mechanically by combining and building on the strengths of a practical program decomposition method, the axiomatic correctness notation, and the knowledge-based analysis approach. Audience: Computer science students at the advanced graduate level and researchers and practitioners interested in software development, maintenance and re-use. Suitable as a secondary text for graduate level courses in software engineering and logic programming, and as a reference for researchers and practitioners in industry.