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

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

ISBN-10: 0792396057

ISBN-13: 9780792396055

ISBN-10: 1461359619

ISBN-13: 9781461359616

application knowing performs a big function in approximately all software program comparable projects. it is necessary to the advance, upkeep and reuse actions. application figuring out is crucial for making improvements to the standard of software program improvement. a number of improvement actions similar to code studies, debugging and a few checking out ways require programmers to learn and comprehend courses. upkeep actions can't be played and not using a deep and proper knowing of the component of be maintained. software realizing is essential to the reuse of code parts simply because they can't be applied with out a transparent knowing of what they do. If a candidate reusable part should be changed, an knowing the way it is designed is additionally required. of This monograph offers a· knowledge-based method of the automation of software figuring out. This process generates rigorous software documentation automatically through combining and development on strengths of a pragmatic application decomposition technique, the axiomatic correctness notation, and the information­ dependent research methods. extra in particular, this process records courses by means of producing first order predicate common sense annotations in their loops. during this procedure, loops are categorised in line with their complexity degrees. according to this taxonomy, adaptations at the easy research strategy that most sensible healthy all of the diverse periods are defined. as a rule, mechanical annotation of loops is played by way of first decomposing them utilizing information stream research. This decomposition encapsulates interdependent statements in occasions, that 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

Read e-book online Beautiful Testing: Leading Professionals Reveal How They PDF

Winning software program relies as a lot on scrupulous checking out because it does on strong structure or stylish code. yet checking out isn't really a regimen method, it is a consistent exploration of tools and an evolution of excellent principles. attractive trying out deals 23 essays from 27 top testers and builders that illustrate the characteristics and methods that make checking out an paintings.

Download e-book for kindle: Process for System Architecture and Requirements Engineering by Derek Hatley,Peter Hruschka,Imtiaz Pirbhai

 This is the electronic model of the published booklet (Copyright © 2000). Derek Hatley and Imtiaz Pirbhai—authors of suggestions for Real-Time procedure Specification—join with influential advisor Peter Hruschka to give a far expected replace to their greatly carried out Hatley/Pirbhai tools. approach for procedure structure and standards Engineering introduces a brand new process that's relatively helpful for multidisciplinary process improvement: It applies both good to all applied sciences and thereby offers a standard language for builders in extensively differing disciplines.

ASP.NET Web API 2: Building a REST Service from Start to - download pdf or read online

The ASP. web MVC Framework has constantly been a great platform on which to enforce REST-based providers, however the advent of the ASP. web net API Framework raised the bar to a complete new point. Now in unlock model 2. 1, the internet API Framework has advanced right into a strong and refreshingly usable platform.

New PDF release: Die neuen Reporting-Tools für SAP BW – Design Studio,

Dieses Buch bringt Ihnen die neuen Frontend-Applikationen der SAP Business-Objects-Reihe näher. Anhand ausgewählter Praxisbeispiele vermitteln Ihnen die Autoren Anwendungsszenarien, Integrationsmöglichkeiten und wichtige Funktionen. So erstellen Sie auf dem aktuellen Stand der SAP-Technik Dashboards und Auswertungen, die entweder am computer in Excel oder als cellular Darstellung auf dem phone ihren Einsatz finden.

Extra resources 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.20 of 5 – based on 17 votes