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

Grundriss der Botanik

$34.99

Zwischen Familiengrndung und Sinnerfllung

$64.99

Kapitalanlagen in den USA

$59.99

Managing with Sense and Sensitivity

$99.99

Lernen im Zeitalter der Digitalisierung

$64.99

Alma's Way: Level 2 Reader: Junior's Lost Tooth

$4.49

Hybrid Dynamical Systems

$39.99

Parallel Computational Fluid Dynamics 2007

$169.99

Sheet Bulk Metal Forming

$279.99

Strategic Policy Options for Bracing Nigeria for the Future of Trade

$54.99

Wasserstoff in der Fahrzeugtechnik

$139.99

Konsum und Lebensstile

$39.99

Environmental Bioengineering

$169.00

MediaSync

$59.99

Neue Technologien neue Mrkte

$59.99

Migrating from Pascal to C++

$39.99

A Year of You and Me- A Journal of 365 Questions for Couples to Spark Love and Connection by Nadia Hayes

$17.99

Beyond the Limits to Growth

$59.99

Analytiker-Taschenbuch

$49.99

Design and Development of Heavy Duty Diesel Engines

$329.99

Principle of Criminal Imputation for Negligence Crime Involving Artificial Intelligence

$119.00

Die konstitutionelle Disposition zu Inneren Krankheiten

$59.99

Interaktive Lehre des Ingenieursstudiums

$84.99

Rechtsfragen der Telemedizin

$49.99

Public and Private Enterprise in a Mixed Economy

$84.99

Medizintechnik

$249.99

Spline and Spline Wavelet Methods with Applications to Signal and Image Processing

$84.99

Robert Wagner and the Rise of New York Citys Plebiscitary Mayoralty: The Tamer of the Tammany Tiger

$54.99

Empirische Wirtschaftsforschung

$69.99

Trends in PDE Constrained Optimization

$139.99

Financial Risk Management with Bayesian Estimation of GARCH Models

$109.99

Probleme der zentralnervsen Regulation

$59.99

Poor Eaters

$54.99

Vom Fall zur Theorie

$19.99

Cyber Foraging

$19.99

How to Count

$64.99

Dog on a Frog?

$4.46

Hardware/Software Co-Design and Optimization for Cyberphysical Integration in Digital Microfluidic B

$109.99

The Global Crisis and Transformative Social Change

$39.99

Nanoscience and Biotechnology for Environmental Applications

$109.99