+612 9045 4394
 
CHECKOUT
$7.95 Delivery per order to Australia and New Zealand
100% Australian owned
Over a hundred thousand in-stock titles ready to ship
A Knowledge-Based Approach to Program Understanding : The Springer International Engineering and Computer Science - Salwa K. Abd-El-Hafiz

A Knowledge-Based Approach to Program Understanding

The Springer International Engineering and Computer Science

Hardcover Published: July 1995
ISBN: 9780792396055
Number Of Pages: 119

Share This Book:

Hardcover

$227.94
or 4 easy payments of $56.99 with Learn more
Ships in 10 to 15 business days

Earn 456 Qantas Points
on this Book

Other Available Editions (Hide)

  • Paperback View Product Published: 27th September 2012
    Ships in 10 to 15 business days
    $227.94

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.

List of figures. List of tables. Preface. 1. Introduction. 2. Background. 3. Overview and basic definitions. 4. Analysis of flat loops. 5. Analysis of nested loops. 6. Discussion of the analysis approach. 7. Case study. 8. Prototype implementation. 9. Applications. 10. Conclusions. References. A. Notation. B. Acronyms. C. Definitions. D. Additional plans and abstraction classes. Index.

ISBN: 9780792396055
ISBN-10: 0792396057
Series: The Springer International Engineering and Computer Science
Audience: General
Format: Hardcover
Language: English
Number Of Pages: 119
Published: July 1995
Publisher: SPRINGER VERLAG GMBH
Country of Publication: US
Dimensions (cm): 23.39 x 15.6  x 0.97
Weight (kg): 0.38

Earn 456 Qantas Points
on this Book