A Knowledge-Based Approach to Program Understanding - download pdf or read online

By Salwa K. Abd-El-Hafiz

ISBN-10: 0792396057

ISBN-13: 9780792396055

ISBN-10: 146152279X

ISBN-13: 9781461522799

Program realizing performs a big position in approximately all software program similar initiatives. it will be important to the improvement, upkeep and reuse actions. application knowing is essential for making improvements to the standard of software program improvement. a number of improvement actions corresponding to code studies, debugging and a few trying out techniques require programmers to learn and comprehend courses. upkeep actions can't be played with out a deep and proper realizing of the section of be maintained. application knowing is key to the reuse of code parts simply because they can not be applied with out a transparent knowing of what they do. If a candidate reusable part has to be transformed, an figuring out the way it is designed is usually required. of This monograph offers a· knowledge-based method of the automation of software realizing. This technique generates rigorous software documentation robotically through combining and development on strengths of a realistic application decomposition procedure, the axiomatic correctness notation, and the data­ established research methods. extra particularly, this method records courses by means of producing first order predicate good judgment annotations in their loops. during this procedure, loops are categorised in line with their complexity degrees. in line with this taxonomy, adaptations at the simple research strategy that most sensible healthy all of the varied sessions are defined. usually, mechanical annotation of loops is played by way of first decomposing them utilizing facts circulate research. This decomposition encapsulates interdependent statements in occasions, which might be analyzed individually.

Show description

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

Best international books

Download PDF by Michael J. Hirsch, Panos M. Pardalos, Robert Murphey, Don: Advances in Cooperative Control and Optimization:

Around the globe, the earlier a number of years have noticeable a huge elevate within the function of cooperative self sustaining structures. the sector of cooperative keep an eye on and optimization has proven itself as part of many alternative medical disciplines. The contents of this highly vital quantity, which provides a lot to the talk at the topic, are culled from papers offered on the 7th Annual foreign convention on Cooperative keep an eye on and Optimization, held in Gainesville, Florida, in January 2007.

Human-Computer Interaction. New Trends: 13th International - download pdf or read online

The thirteenth foreign convention on Human–Computer interplay, HCI Inter- tional 2009, used to be held in San Diego, California, united states, July 19–24, 2009, together with the Symposium on Human Interface (Japan) 2009, the eighth overseas convention on Engineering Psychology and Cognitive Ergonomics, the fifth foreign convention on common entry in Human–Computer interplay, the 3rd foreign Conf- ence on digital and combined truth, the 3rd foreign convention on Internati- alization, layout and international improvement, the 3rd overseas convention on on-line groups and Social Computing, the fifth overseas convention on Augmented Cognition, the second one overseas convention on electronic Human Mod- ing, and the 1st foreign convention on Human established layout.

Download e-book for kindle: Extremal Methods and Systems Analysis: An International by K. O. Kortanek (auth.), Anthony V. Fiacco, Kenneth O.

The papers showing during this quantity have been chosen from a collec­ tion of papers provided on the Internationa~ Symposium on Extrema~ equipment and platforms Ana~ysis at the get together of Professor A. Charnes' sixtieth Birthday, on the college of Texas in Austin, 13-15 September 1977. As coeditors, now we have the traditional editorial methods of scholarly journals.

Transfusion Medicine: Quo Vadis? What Has Been Achieved, - download pdf or read online

Th it's a nice excitement for me to open the jubilee 25 foreign Symposium on Blood Transfusion right here in Groningen. This symposium is co-sponsored by means of the area future health association and is being held lower than the auspices of the ISBT and the Secretary common of the Council of Europe, Mr Walter Schwimmer.

Additional resources for A Knowledge-Based Approach to Program Understanding

Sample text

Their basic structure consists of two parts: the antecedent and the consequent. When a loop event satisfies a unique plan antecedent, the plan is fired. The instantiation of the information in the consequent represents the contribution of this plan to the loop specifications. Corresponding to the two event categories, we have two plan categories: Basic Plans (BP's) and Augmentation Plans (AP's). The BP's are used to analyze the BE's and the AP's are used to analyze the AE's. Plans are further classified according to the kind of loops they analyze.

This can be very difficult to perform, especially when analyzing unfamiliar programs using a large set of transformation rules. It seems that a purely transformational approach is not a plausible solution to automatic program understanding [54). By comparing the input/output relations of automatic program synthesis and understanding, it is clear that automatic program understanding is more difficult. The input to an automatic program synthesis system is often a set of goal specifications emphasizing what is supposed to be performed by a synthesized program.

Similar to Gries' definition of the alternative command, all the guards must be well defined [22]. However, it is possible that non of the guards evaluates to true. , the conditional assignment evaluates to a skip command [22]). It should also be noted that because we are only analyzing deterministic programs, all the guards are mutually exclusive. 6: Any variable assigned in a conditional assignment defines the data flow out of the statement. 7: Any variable referenced by a conditional assignment defines the data flow into the statement.

Download PDF sample

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

by John

Rated 4.09 of 5 – based on 50 votes