Constraint-Based Design Recovery for Software Reengineering

Constraint-Based Design Recovery for Software Reengineering

Author: Steven G. Woods

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 206

ISBN-13: 1461554616

DOWNLOAD EBOOK

The great challenge of reverse engineering is recovering design information from legacy code: the concept recovery problem. This monograph describes our research effort in attacking this problem. It discusses our theory of how a constraint-based approach to program plan recognition can efficiently extract design concepts from source code, and it details experiments in concept recovery that support our claims of scalability. Importantly, we present our models and experiments in sufficient detail so that they can be easily replicated. This book is intended for researchers or software developers concerned with reverse engineering or reengineering legacy systems. However, it may also interest those researchers who are interested using plan recognition techniques or constraint-based reasoning. We expect the reader to have a reasonable computer science background (i.e., familiarity with the basics of programming and algorithm analysis), but we do not require familiarity with the fields of reverse engineering or artificial intelligence (AI). To this end, we carefully explain all the AI techniques we use. This book is designed as a reference for advanced undergraduate or graduate seminar courses in software engineering, reverse engineering, or reengineering. It can also serve as a supplementary textbook for software engineering-related courses, such as those on program understanding or design recovery, for AI-related courses, such as those on plan recognition or constraint satisfaction, and for courses that cover both topics, such as those on AI applications to software engineering. ORGANIZATION The book comprises eight chapters.


Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Author: Jean-Pierre Finance

Publisher: Springer

Published: 2004-01-27

Total Pages: 265

ISBN-13: 3540490205

DOWNLOAD EBOOK

ETAPS’99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.


Software Process Modeling

Software Process Modeling

Author: Silvia T. Acuna

Publisher: Springer Science & Business Media

Published: 2005-03-10

Total Pages: 236

ISBN-13: 9780387242613

DOWNLOAD EBOOK

This book brings together experts to discuss relevant results in software process modeling, and expresses their personal view of this field. It is designed for a professional audience of researchers and practitioners in industry, and graduate-level students.


26th Annual International Computer Software and Applications Conference

26th Annual International Computer Software and Applications Conference

Author: IEEE Computer Society

Publisher: I E E E

Published: 2002

Total Pages: 1216

ISBN-13: 9780769517278

DOWNLOAD EBOOK

Collects the 172 papers presented during the August 2002 conference with the theme of Prolonging software life: development and redevelopment. The main subjects of the 38 sessions are component based software development, software process, quality control, testing, software evolution, web based sy