Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

A Knowledge-Based Approach to Program Understanding

A Knowledge-Based Approach to Program Understanding

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9781461522799
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$76.50
@ Link.springer.com with extra coupon Get Coupon & BUY

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$84.99 $84.99

10% OFF
This deals requires coupon Get Code Here
$76.50
See Site In stock Visit Store

Similar Products

Blood Groups of Animals

$54.99

Die Sanktion im Recht der Europischen Union

$109.00

Konferenzen

$59.99

Ancient Night

$6.71

Atheist Secularism and its Discontents

$54.99

Interdisziplinre Europastudien

$59.99

Modeling and Control of Ventilation

$39.99

Advances in Visual Computing

$169.99

Residue Reviews / Rckstands-Berichte

$39.99

Ground Improvement and Reinforced Soil Structures

$169.00

The Social Origins of Modern Science

$219.99

Zulssigkeit einer umwandlungsrechtlichen Direktabspaltung

$74.99

Bauphysik

$39.99

Innovative Methods in Computer Science and Computational Applications in the Era of Industry 5.0

$219.99

Biochemie und molekulare Biologie - Das Beste aus BIOspektrum

$34.99

Vibro-Acoustics of Lightweight Sandwich Structures

$54.99

Anpassungsleistungen und Konstruktionsprozesse beim Grundschulbergang

$49.99

Molecular and Cellular Endocrinology of the Testis

$109.99

China Automotive Low Carbon Action Plan (2022)

$159.99

Handbook on Building Cultures of Peace

$219.99

Ulrich Beck

$64.99

Competence Development in Controlling and Management Accounting

$84.99

Diet and Nutrition

$54.99

Aus dem Auen-Mittelwalde

$69.95

Fundamental Uncertainty

$109.99

Theoretical Analyses of Commodity Tax in an Oligopolistic Market

$109.99

Technik und Wissenschaft

$64.99

Reason, Spirit and the Sacral in the New Enlightenment

$84.99

Mega Robo Bros

$6.74

Crises, Inquiries and the Politics of Blame

$39.99

Geschichte der politischen Ideen

$34.99

Die extrapleurale Thorakoplastik

$59.99

Foundations of Network Optimization and Games

$169.99

Management of Water Use in Agriculture

$84.99

Partial Differential Equations and Functional Analysis

$139.99

Beautiful Disaster- A Novel by Jamie McGuire

$17.99

Ultra-low Voltage Low Power Active-RC Filters and Amplifiers for Low Energy RF Receivers

$99.99

Ion Mobility-Mass Spectrometry

$219.99

Moderne Schiitische Politik und Staatsidee

$44.99

Applied Scanning Probe Methods XII

$89.00