Press "Enter" to skip to content

Download A Knowledge-Based Approach to Program Understanding by Salwa K. Abd-El-Hafiz PDF

By Salwa K. Abd-El-Hafiz

Program realizing performs an incredible function in approximately all software program comparable projects. it's important to the advance, upkeep and reuse actions. software knowing is integral for bettering the standard of software program improvement. a number of improvement actions akin to code reports, debugging and a few checking out methods require programmers to learn and comprehend courses. upkeep actions can't be played with no deep and proper knowing of the element of be maintained. software knowing is essential to the reuse of code elements simply because they can't be applied and not using a transparent figuring out of what they do. If a candidate reusable part has to be transformed, an figuring out the way it is designed is additionally required. of This monograph provides a· knowledge-based method of the automation of application realizing. This process generates rigorous software documentation robotically via combining and development on strengths of a realistic application decomposition strategy, the axiomatic correctness notation, and the data­ established research methods. extra particularly, this technique files courses by way of producing first order predicate good judgment annotations in their loops. during this technique, loops are categorized in keeping with their complexity degrees. in keeping with this taxonomy, adaptations at the simple research method that most sensible healthy all of the assorted sessions are defined. more often than not, mechanical annotation of loops is played through first decomposing them utilizing facts stream research. This decomposition encapsulates interdependent statements in occasions, which are analyzed individually.

Show description

Read or Download A Knowledge-Based Approach to Program Understanding PDF

Best international books

Recent Advances in Computational Sciences: Selected Papers from the International Workshop on Computational Sciences and Its Education; Beijing, China 29-31 August 2005

This ebook provides cutting-edge lectures added via overseas educational and business specialists within the box of computational technological know-how and its schooling, masking a large spectrum from conception to perform. themes contain new advancements in finite point procedure (FEM), finite quantity approach and Spline conception, comparable to relocating Mesh tools, Galerkin and Discontinuous Galerkin Schemes, form Gradient, combined FEMs, Superconvergences and Fourier spectral approximations with functions in multidimensional fluid dynamics; Maxwell equations in discrepancy media; and phase-field equations.

Intelligent Agents V: Agents Theories, Architectures, and Languages: 5th International Workshop, ATAL’98 Paris, France, July 4–7, 1998 Proceedings

The vanguard of laptop technological know-how study is notoriously ? ckle. New developments come and decide on alarming and unfailing regularity. In any such quickly altering ? eld, the truth that examine curiosity in a subject matter lasts greater than a 12 months is helpful of word. the truth that, after ? ve years, curiosity not just is still, yet really maintains to develop is extremely strange.

13th Congress of the International Society for Forensic Haemogenetics (Internationale Gesellschaft fur forensische Hamogenetik e.V.) New Orleans, October 19–21, 1989

The 3rd quantity of "Advances in Forensic Haemogenetics" includes the th medical contributions provided on the thirteen Congress of the overseas Society for Forensic Haemogenetics, hung on October 19-21, 1989 in New Orleans, united states. The convention was once prepared and chaired through Dr. Herbert Polesky from Minneapolis.

Extra info for A Knowledge-Based Approach to Program Understanding

Example text

The following four sections describe how to perform these analysis and adaptation tasks. They cover the following topics: 1. How to analyze an inner loop? 2. How to replace an inner loop, after analyzing it, with a sequential construct that represents its functional abstraction? 3. How the analysis of outer loops in a nested construct is different from that of flat loops? 4.

7) represents an enumeration construct that generates a sequence of values of a discrete ordinal type in an ascending order with a unit step. #. Since the firing-condition ensures that the relational operator R# equals S; or <, the condition means that the final value assumed by var# is determined by the expression exp#. The enumeration states that var# is incremented by a unit step. Incrementing var# is possible because 34 A KNOWLEDGE-BASED APPROACH TO PROGRAM UNDERSTANDING the firing-condition ensures that it is of a discrete ordinal type.

The invariant asserts that when the loop terminates with the value of var2# modified, then IhS# equals the value of exp# just before the termination of the loop. When the loop terminates with the value of var2# unmodified, the variable IhS# remains the same. The creation of the knowledge base in a specific application domain should be performed by an expert in both formal specifications and this domain. The expert should analyze the commonly used events in this domain and create new plans or improve on already existing ones.

Download PDF sample

Rated 4.18 of 5 – based on 46 votes