A Knowledge-Based Approach to Program Understanding

A Knowledge-Based Approach to Program Understanding
Author :
Publisher : Springer Science & Business Media
Total Pages : 128
Release :
ISBN-10 : 9781461522799
ISBN-13 : 146152279X
Rating : 4/5 (99 Downloads)

Book Synopsis A Knowledge-Based Approach to Program Understanding by : Salwa K. Abd-El-Hafiz

Download or read book A Knowledge-Based Approach to Program Understanding written by Salwa K. Abd-El-Hafiz and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 128 pages. Available in PDF, EPUB and Kindle. Book excerpt: Program understanding plays an important role in nearly all software related tasks. It is vital to the development, maintenance and reuse activities. Program understanding is indispensable for improving the quality of software development. Several development activities such as code reviews, debugging and some testing approaches require programmers to read and understand programs. Maintenance activities cannot be performed without a deep and correct understanding of the component to be maintained. Program understanding is vital to the reuse of code components because they cannot be utilized without a clear understanding of what they do. If a candidate reusable component needs to be modified, an understanding how it is designed is also required. of This monograph presents a· knowledge-based approach to the automation of program understanding. This approach generates rigorous program documentation mechanically by combining and building on strengths of a practical program decomposition method, the axiomatic correctness notation, and the knowledge based analysis approaches. More specifically, this approach documents programs by generating first order predicate logic annotations of their loops. In this approach, loops are classified according to their complexity levels. Based on this taxonomy, variations on the basic analysis approach that best fit each of the different classes are described. In general, mechanical annotation of loops is performed by first decomposing them using data flow analysis. This decomposition encapsulates interdependent statements in events, which can be analyzed individually.


A Knowledge-Based Approach to Program Understanding Related Books

A Knowledge-Based Approach to Program Understanding
Language: en
Pages: 128
Authors: Salwa K. Abd-El-Hafiz
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Program understanding plays an important role in nearly all software related tasks. It is vital to the development, maintenance and reuse activities. Program un
Knowledge-based Software Engineering
Language: en
Pages: 340
Authors: Pavol Návrat
Categories: Computers
Type: BOOK - Published: 1998 - Publisher: IOS Press

DOWNLOAD EBOOK

This text collects contributions from different countries to a wide range of topics in software engineering. Special emphasis is given to application of knowled
Intelligent knowledge based systems in electrical power engineering
Language: en
Pages: 233
Authors: J.R. McDonald
Categories: Technology & Engineering
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Intelligent Knowledge Based Systems in Electrical Power Engineering details how intelligent applications can be used in the power industry. The book gives a gen
Knowledge-based Software Engineering
Language: en
Pages: 352
Authors: Tomáš Hruška
Categories: Computer software
Type: BOOK - Published: 2000 - Publisher:

DOWNLOAD EBOOK

Advances in Computer Technology and Applications in Japan
Language: en
Pages: 166
Authors: Thirwalam K.S. Murthy
Categories: Computers
Type: BOOK - Published: 2013-03-13 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book contains chapters written by eminent scientists on the latest development in computer technology and applica- tions in Japan. The objective of the boo