Constraint-Based Design Recovery for Software Reengineering: by Steven G. Woods

By Steven G. Woods

The nice problem of opposite engineering is recuperating layout info from legacy code: the idea that restoration challenge. This monograph describes our examine attempt in attacking this challenge. It discusses our concept of the way a constraint-based method of application plan attractiveness can successfully extract layout innovations from resource code, and it information experiments in suggestion restoration that aid our claims of scalability. Importantly, we current our versions and experiments in enough aspect so as to be simply replicated. This e-book is meant for researchers or software program builders excited by opposite engineering or reengineering legacy platforms. despite the fact that, it will probably additionally curiosity these researchers who're utilizing plan reputation thoughts or constraint-based reasoning. we think the reader to have an inexpensive computing device technological know-how history (i.e., familiarity with the fundamentals of programming and set of rules analysis), yet we don't require familiarity with the fields of opposite engineering or synthetic intelligence (AI). To this finish, we rigorously clarify the entire AI thoughts we use. This e-book is designed as a reference for complicated undergraduate or graduate seminar classes in software program engineering, opposite engineering, or reengineering. it may possibly additionally function a supplementary textbook for software program engineering-related classes, comparable to these on application realizing or layout restoration, for AI-related classes, corresponding to these on plan popularity or constraint pride, and for classes that hide either themes, resembling these on AI functions to software program engineering. association The booklet contains 8 chapters.

Show description

Read or Download Constraint-Based Design Recovery for Software Reengineering: Theory and Experiments PDF

Similar design books

Real-Time UNIX® Systems: Design and Application Guide

A turning out to be difficulty of mine has been the unrealistic expectancies for brand new computer-related applied sciences brought into every kind of enterprises. Unrealistic expectancies bring about unhappiness, and a schizophrenic method of the creation of recent applied sciences. The UNIX and real-time UNIX working procedure applied sciences are significant examples of rising applied sciences with nice power advantages yet unrealistic expectancies.

Applications of Specification and Design Languages for SoCs: Selected papers from FDL 2005

This ebook incorporates a number of the easiest contributions to the discussion board on Specification and layout Languages held in 2005 (FDL'05). It presents distinctive insights into contemporary works facing a wide spectrum of matters in system-on-chip layout. all of the chapters were conscientiously revised and prolonged to supply updated details.

Recent Advances in Mechanism Design for Robotics: Proceedings of the 3rd IFToMM Symposium on Mechanism Design for Robotics

This quantity includes the court cases of the third IFToMM Symposium on Mechanism layout for Robotics, held in Aalborg, Denmark, 2-4 June, 2015. The e-book comprises papers on contemporary advances within the layout of mechanisms and their robot functions. It treats the subsequent issues: mechanism layout, mechanics of robots, parallel manipulators, actuators and their keep an eye on, linkage and commercial manipulators, cutting edge mechanisms/robots and their functions, between others.

National Test: System Design of China (Shanghai) Pilot Free Trade Zone

This e-book discusses the most recent advancements within the China Pilot loose- alternate area technique. It places ahead and explains the concept that development the Shanghai Pilot Free-Trade region (SFTZ) is a countrywide try out, because it is an enormous strategic determination to aid China do something about the recent scenario as a result of opening-up and the extra implementation of the reform.

Additional info for Constraint-Based Design Recovery for Software Reengineering: Theory and Experiments

Example text

12 shows an example STIMP for "Read-Process-Loop". A STIMP contains the same elements as an HMODEL: a control-flow graph, some dataflow knowledge, and a set of annotations (essentially arbitrary constraints on the items in the control flow graph). 11. 5 A top-level HMODEL for our COBOL code fragment . HMODELs, and each of these matching HMODELs is an instance of a STIMP plan. The "Read-Process-Loop" STIMP, for example, represents a set of programs with three specific types of components: top-level, middle-exit loop, a less-than test involving two data-items-one produced outside of the loop and one produced by the first action in the loop.

Once the code is restructured, it's often much easier for programmers to understand what it's doing. Existing tools that automatically restructure code rely heavily on extracted data-flow and control-flow dependencies (Griswold and Notkin, 1993; Bowdidge and Griswold, 1994; Bowdidge, 1995; Bowdidge and Griswold, 1997). An example of semi-automatic updates based on structural understanding is program modularization: identifying and isolating the separate processes within a program and placing them in separate modules.

Bli); ,++I! pnnUBIiP; I Domam terminology /I reference to outdated documentation. old li bra ry for k=O. Alkl. 9. How programmers understand source code . tures (or concepts about code and how code is built) and the program's source code. 9 illustrates this mapping process. The knowledge structures that people use to understand programs involves knowledge about programming languages (such as COBOL or C), about common data structures (such as strings), about how common tasks are accomplished (such as taking the remainder of a value divided by IOn to grab the last n digits of the value), and about the domain (such as the definition of a leap year).

Download PDF sample

Rated 4.09 of 5 – based on 31 votes