A Knowledge-Based Approach to Program Understanding (The - download pdf or read online

By Salwa K. Abd-El-Hafiz,Victor R. Basili

ISBN-10: 0792396057

ISBN-13: 9780792396055

ISBN-10: 1461359619

ISBN-13: 9781461359616

software realizing performs a big position in approximately all software program comparable projects. it can be crucial to the improvement, upkeep and reuse actions. application knowing is necessary for making improvements to the standard of software program improvement. a number of improvement actions corresponding to code reports, debugging and a few trying out techniques require programmers to learn and comprehend courses. upkeep actions can't be played with out a deep and proper figuring out of the element of be maintained. application knowing is essential to the reuse of code parts simply because they can not be applied and not using a transparent knowing of what they do. If a candidate reusable part should be changed, an realizing the way it is designed can also be required. of This monograph offers a· knowledge-based method of the automation of software realizing. This method generates rigorous application documentation robotically via combining and construction on strengths of a realistic application decomposition process, the axiomatic correctness notation, and the information­ dependent research methods. extra particularly, this technique files courses through producing first order predicate common sense annotations in their loops. during this technique, loops are categorised in response to their complexity degrees. in response to this taxonomy, adaptations at the easy research strategy that most sensible healthy all of the diverse sessions are defined. normally, mechanical annotation of loops is played by means of first decomposing them utilizing information move research. This decomposition encapsulates interdependent statements in occasions, which are analyzed individually.

Show description

Read Online or Download A Knowledge-Based Approach to Program Understanding (The Springer International Series in Engineering and Computer Science) PDF

Similar software development books

Enterprise Software Delivery: Bringing Agility and by Alan W. Brown PDF

Globalization, quick expertise churn, and big fiscal shifts have made it more challenging than ever to carry high-value company software program.   In firm software program supply, IBM amazing Engineer Alan W. Brown courses decision-makers in knowing those new demanding situations, deciding upon today’s most sensible recommendations, and effectively expecting destiny traits.

Microsoft Dynamics GP 2013 Financial Management by Ian Grieve PDF

In DetailMicrosoft Dynamics GP 2013 is a mature accounting software program, ERP software, that is geared toward making existence more uncomplicated for monetary execs. This booklet is to aid readers in enhancing their use of Microsoft Dynamics GP through exhibiting them tips on how to get the main out of the monetary point of the procedure.

Get Continuous Delivery and DevOps – A Quickstart Guide - Second PDF

Bring caliber software program usually and painlessly by way of adopting CD and DevOpsAbout This BookUse DevOps and the continual supply method of establish the underlying difficulties which may stifle the supply of caliber software program and conquer themLearn how non-stop supply and DevOps interact with different agile toolsA advisor choked with illustrations and top practices that can assist you continually send caliber softwareWho This booklet Is ForIf you're an IT expert, software program developer, or procedure administrator who desires to know the way to send caliber software program usually, successfully and successfully, this ebook is for you.

Python programmieren lernen für Dummies (German Edition) - download pdf or read online

Der Einstieg in die Programmierung kann ganz leicht sein, das beweist Ihnen dieses Buch! Schritt fur Schritt fuhrt Sie John Paul Mueller in die Grundlagen der beliebten Programmiersprache Python ein und zeigt Ihnen, wie Sie Ihren desktop dazu bringen, das zu tun, used to be Sie wollen. Downloaden und installieren Sie Python, lernen Sie die Programmiersprache kennen und schreiben Sie Ihre ersten eigenen Befehle und Anwendungen.

Additional info for A Knowledge-Based Approach to Program Understanding (The Springer International Series in Engineering and Computer Science)

Example text

Download PDF sample

A Knowledge-Based Approach to Program Understanding (The Springer International Series in Engineering and Computer Science) by Salwa K. Abd-El-Hafiz,Victor R. Basili

by Joseph

Rated 4.15 of 5 – based on 22 votes