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
9780792396055
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

$84.99
@ Link.springer.com     BUY Now

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

$84.99
See Site In stock Visit Store

Similar Products

Family Education Policy Development in China

$139.99

The Atlantic Alliance and the Middle East

$74.99

Proceedings of the XXIV DAE-BRNS High Energy Physics Symposium, Jatni, India

$219.99

Language Learnability and L2 Phonology

$84.99

Liquid Crystal TV Displays

$219.99

Contesting Public Sector Reforms

$109.99

Brand Page Attachment

$54.99

Work at the Boundaries of Science

$109.99

Managing Skin Cancer

$84.99

Werbung, Medien und Kultur

$64.99

Grundri der Palontologie

$44.99

Crime Prevention and Justice in 2030

$219.99

SleepWake Disorders

$219.99

Anlage, Konstruktion und Einrichtung von Bleicherei- und Frberei-Lokalitten

$44.99

The Theory of Thin Wings in Subsonic Flow

$39.99

Information Security Theory and Practice. Securing the Internet of Things

$54.99

Stochastic Models for Spike Trains of Single Neurons

$54.99

Variational Inequalities and Flow in Porous Media

$54.99

Structural Immunology

$119.00

Progress in the Chemistry of Organic Natural Products 104

$249.99

Hot Cracking Phenomena in Welds II

$169.99

Leo and the Octopus

$6.71

Lexicon Development for Speech and Language Processing

$169.99

Food Microbiology and Hygiene

$219.99

The Structure of Interdisciplinary Science

$99.99

Computer Vision: Craft, Engineering, and Science

$54.99

Applications of Discrete Geometry and Mathematical Morphology

$72.00

Nature, Tourism and Ethnicity as Drivers of (De)Marginalization

$109.99

The Art Lesson: 6-Book Set

$30.95

Diversity

$150.00

Algorithms and Complexity

$39.99

Biological Magnetic Resonance

$54.99

Key Performance Indicators fr junge Unternehmen

$17.99

Die Analyse des Zufalls

$59.99

Management of Shared Groundwater Resources

$169.00

COX-2 Inhibitors

$129.00

Pediatric Cataract Surgery and IOL Implantation

$99.99

Interrupting Chicken

$5.96

Corporate-Compliance-Berichterstattung in Deutschland

$59.99

Conventions and Craft, Grade 5

$135.00