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

Corporate Influencer

$17.99

Therapie und Prognose von Hyperurikmie und Gicht

$59.99

Democracy Beyond Elections

$99.99

Behavior Modification in Black Populations

$39.99

Die Modernisierung der Demokratie

$69.99

Nietzsche and Greek Thought

$84.99

Food Biopreservation

$54.99

Visualization in Scientific Computing 95

$54.99

Winning Solutions

$99.99

Semiosis, Marginal Signs and Trickster

$84.99

Pattern Recognition and Computer Vision

$59.99

Abiotic Stress Biology in Horticultural Plants

$84.99

Night Witches

$5.24

Contemporary Drama and the Popular Dramatic Tradition in England

$54.99

Refractions of Civil Society in Turkey

$54.99

Managing Bipolar Disorder in Clinical Practice

$59.99

The Inner World of Gatekeeping in Scholarly Publication

$109.99

Processing of Environmental Information in Vertebrates

$129.00

Arts-Based Pathways into Thinking

$49.99

How to Gain Gain

$109.99

Chromosome Translocation

$139.99

Diuretics

$84.99

Micro Newton Thruster Development

$39.99

ber die Entwicklung des Dnndarms der Ratte

$59.99

A Hardy Companion

$39.99

Pathways to High-Tech Valleys and Research Triangles

$219.99

Networks for Grid Applications

$39.99

Informationsverarbeitung in Versicherungsunternehmen

$44.99

Construction Program Management Decision Making and Optimization Techniques

$54.99

Medical Applications of Nuclear Physics

$109.99

Computer Vision and Robotics

$279.99

Multivariate Statistical Methods in Physical Anthropology

$109.99

Urban Air Pollution - European Aspects

$169.99

Physical Health of Adults with Intellectual and Developmental Disabilities

$169.99

A Polynomial Translation of Mobile Ambients into Safe Petri Nets

$54.99

Methodische Probleme bei der Messung von Kriminalittsfurcht und Viktimisierungserfahrungen

$49.99

Advanced Control Engineering Methods in Electrical Engineering Systems

$219.99

Bioting

$44.99

Creativity in the Digital Age

$54.99

Experiencing the Environment

$74.99