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

Writing Diaspora in the West

$54.99

Kosmochemie

$59.99

Diary of an Ice Princess #3: On Thin Ice

$5.24

Erfolgreich als Online-Marketing-Manager

$37.99

"Auf Stalin, Sieg und Vaterland!"

$74.99

Optimal Models and Methods with Fuzzy Quantities

$169.99

Kommentar zur Entgeltfortzahlung

$69.99

Data and Applications Security and Privacy XXVIII

$39.99

Dynamische Umlegung von Quelle-Ziel-Matrizen mit einem makroskopischen Verkehrsflussmodell

$69.99

Non-coding RNAs in Complex Diseases

$109.99

Organic Xenobiotics and Plants

$129.00

Methode zur Erzeugung eines erweiterten Konformittstests fr Kommunikationsprotokolle am Beispiel d

$64.99

Always under Pressure

$39.99

Diffusion von Telekommunikationsdienstleistungen im Bankensektor

$74.99

Lexikon der Ernhrungskunde

$59.99

Taurine in Nutrition and Neurology

$109.99

Lernleistungen im Sportunterricht

$74.99

Die konomik der Unternehmung

$69.99

Experimentelle und theoretische Untersuchungen an ebenen Flchenantennen

$54.99

What Puppies Love: 6-Book Set

$21.95

Renewable Energy: Forecasting and Risk Management

$179.99

Holzftterung und Reisigftterung Ein neues, einfaches und billiges Verfahren der Thierernhrung

$84.99

Peer-to-Peer Computing

$84.99

Rainbow! Volume 1 (Original Graphic Novel)

$12.74

The Thought & Culture of the English Renaissance

$109.99

Corporate Governance in the US and Europe

$54.99

Information Processing in Medical Imaging

$54.99

Literaturpreise

$29.99

Dearest Emmie

$99.00

Democracy or Socialism

$129.99

Makro kompakt

$34.99

Financial Sustainability of Public Sector Entities

$169.99

State and Entrepreneurs in Egypt

$54.99

Controversial Images

$84.99

Imagining Europe in Times of War and Crises

$129.99

Betriebswirtschaftslehre fr Umweltwissenschaftler

$29.99

The Bethesda System for Reporting Cervical/Vaginal Cytologic Diagnoses

$74.99

Health Information Management: What Strategies?

$169.99

To Want to Learn

$19.99

IUTAM Symposium on Designing for Quietness

$109.99