Download PDF by Salwa K. Abd-El-Hafiz,Victor R. Basili: A Knowledge-Based Approach to Program Understanding (The

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

application figuring out performs a big function in approximately all software program similar initiatives. it is important to the advance, upkeep and reuse actions. application figuring out is fundamental for bettering the standard of software program improvement. numerous improvement actions equivalent to code experiences, 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 knowing of the portion of be maintained. application knowing is key to the reuse of code elements simply because they can not be applied with no transparent knowing of what they do. If a candidate reusable part should be changed, an figuring out the way it is designed is additionally required. of This monograph provides a· knowledge-based method of the automation of software figuring out. This method generates rigorous application documentation routinely through combining and construction on strengths of a realistic software decomposition strategy, the axiomatic correctness notation, and the data­ established research techniques. extra in particular, this process files courses via producing first order predicate good judgment annotations in their loops. during this method, loops are categorised in response to their complexity degrees. in keeping with this taxonomy, diversifications at the uncomplicated research technique that most sensible healthy all of the diversified sessions are defined. generally, mechanical annotation of loops is played by means of first decomposing them utilizing facts move research. This decomposition encapsulates interdependent statements in occasions, which are analyzed individually.

Show description

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

Similar software development books

Download PDF by Thomas A. Wagner: An Application Science for Multi-Agent Systems (Multiagent

An program technology For Multi-Agent structures addresses the complexity of selecting which multi-agent keep watch over applied sciences are acceptable for a given challenge area or a given program. with out such wisdom, while confronted with a brand new software area, agent builders needs to depend on previous adventure and instinct to figure out no matter if a multi-agent procedure is the appropriate procedure, and if this is the case, how one can constitution the brokers, the best way to decompose the matter, and the way to coordinate the actions of the brokers, etc.

Get Formale Modelle der Softwareentwicklung: Model-Checking, PDF

Software program muss funktionieren, um von Kunden akzeptiert zu werden. Doch wie stellt guy sicher, dass die Steuerung eines Raumschiffs, eines Herzschrittmachers oder einer Aktienverwaltung korrekt funktioniert? Neben den klassischen Testansätzen spielen für den Korrektheitsnachweis zunehmend formale Modelle eine zentrale Rolle.

Essential Software Testing: A Use-Case Approach - download pdf or read online

A realistic consultant to software program TestingMuch has been written in regards to the hassle of software program trying out. frequently those laments are observed by way of cautionary phrases approximately how cautious one needs to be to make sure checking out is completed competently. although, there's a dearth of assets that supply functional information at the nuts and bolts of trying out.

Download e-book for iPad: Abenteuer Softwarequalität: Grundlagen und Verfahren für by Kurt Schneider

Dieses Buch vermittelt ein fundiertes Grundwissen über Softwarequalität. Kann guy Qualität messen und wie kommt guy zu sinnvollen Qualitätskriterien? Wie findet guy Fehler in Programmen und wie geht guy beim systematischen Testen vor? Auch organisatorische Fragen werden betrachtet. Das Buch eignet sich als Begleitlektüre zu einer Vorlesung und zum Selbststudium.

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

Sample 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 Jeff

Rated 4.68 of 5 – based on 49 votes