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

$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

Staging the People

$105.00

Kurzes Lehrbuch der Physikalischen Chemie

$49.99

Virtuelle Communities fr Patienten

$79.99

States in Global Affairs

$54.99

Oxygen Transport to Tissue XXXVIII

$189.00

Accountants Professional Negligence

$54.99

Politische Bildung im Theater

$29.99

Integrative Therapies in Lung Health and Sleep

$169.99

The Sociology of Time

$119.99

XLV Mexican Conference on Biomedical Engineering

$379.99

Knowledge Production in Organizations

$109.99

Zeitgeschichte im Fernsehen

$39.99

Data and Doctor Doom

$84.99

sthetische Chirurgie

$54.99

Die Gewebe

$84.99

Information Systems Security

$54.99

Research on Community-Centered Poverty-Alleviation Social Work

$119.99

Doch ist das Wirkliche auch vergessen, so ist es darum nicht getilgt

$64.99

Logical Foundations of Computer Science

$54.99

Anansi The Spider (Hardcover)

$17.99

Regulation of Angiogenesis

$39.99

Leitprogramm Mathematik fr Physiker 1

$29.99

Plant Growth Promoting Rhizobacteria for Horticultural Crop Protection

$199.99

Public Goods, Environmental Externalities and Fiscal Competition

$169.99

Virtual Power Plants and Electricity Markets

$119.99

Deutsche Geschichte

$89.99

Politische Bildung und Zukunft

$89.99

Weiter denken durch wissenschaftliche Weiterbildung

$59.99

The State Immunity Controversy in International Law

$219.00

Corruption and governance in Asia

$109.99

Introduction to Complex Analysis in Several Variables

$54.99

Endurance Sports Medicine

$199.99

Experience and Knowledge Management in Software Engineering

$54.99

Ras Superfamily G Proteins: Biology and Mechanisms 1+2

$219.99

Grothendieck Duality and Base Change

$79.99

Cozy Corner Theme 4: Snap, Crackle, Moo! Social Development: Engaging With Others

$109.99

Webster's Reference: Merriam-Webster's Spanish-English Dictionary

$5.21

Einfhrung Pdagogik

$19.99

Key-Account-Management

$69.99

Academic Entrepreneurship

$69.99