This unique resource places particular emphasis on the reengineering of legacy assembler systems using the FermaT workbench, and describes other widely available general techniques. The book poses the key questions that you need to address before reengineering can provide an integrated framework that reveals the answers. A built workbench is used to illustrate the approach with the application of real case studies.

Contents:

Constant Software Changes - Legacy Systems. Business Changes. Software Evolution.

Software Engineering and Software Maintenance - Software and Software Engineering. Software Maintenance. Summary.

Software Reengineering - Introduction. Taxonomy of Software Reengineering. Reverse Engineering. Issues of Reverse Engineering. Current State of Formal Methods in Reengineering. Classification of Formal Methods. Criteria and Results. Analysis and Summary.

An Integrated Reengineering Framework - Characteristics of Legacy Systems. The Reengineering Approach. Wide Spectrum Language.

Process for Reengineering - A system Architecture for Implementing the Process of Reengineering. Abstracting. Translation of Source Code to an Intermediate Representation. Restructuring. Elicitating Business Rules. Abstraction and Abstraction Patterns. Reusing Components. Retargeting. Measuring Reegineering.

Reengineering Workbench - FermaT Workbench.

Case Studies. Conclusions. References.

Hongji Yang is a reader at DeMontfort University in England. His previous positions include senior research assistant at Durham University and lecturer at Jilin University in China. Dr. Yang has done extensive research in the areas of software engineering and computer networking. He holds a Ph.D. in computer science from Durham University and a M. Phil. and B.Sc. in computer science from Jilin University in China. He has published extensively.

Martin Ward is a senior research fellow at De Montfort University in England. He is also Principal Consultant, director and senior systems architect at Software Migrations, Ltd., as well as a visiting research fellow at the University of Durham. He holds a Ph.D. in computer science from St. Annes College, Oxford University. He has published extensively.