Name: a knowledge-based approach to program understanding
SKU: 3407777
Price: 119.65 EUR
Availability: InStock
Author: basili,abd-el-hafiz
ISBN: 9780792396055

Select your country

Americas

Europe

Rest of the world

portada a knowledge-based approach to program understanding

a knowledge-based approach to program understanding

Type

Physical Book

Publisher

Springer

Author

basili,abd-el-hafiz

Language

English

Pages

144

ISBN

0792396057

ISBN13

9780792396055

Synopsis "a knowledge-based approach to program understanding"

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.