OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Object-oriented modeling and design
Object-oriented modeling and design
The REDO compendium: reverse engineering for software maintenance
The REDO compendium: reverse engineering for software maintenance
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Designing object systems: object-oriented modelling with Syntropy
Designing object systems: object-oriented modelling with Syntropy
Annealing and data decomposition in VDM
ACM SIGPLAN Notices
Reverse Engineering and Software Maintenance: A Practical Approach
Reverse Engineering and Software Maintenance: A Practical Approach
Reverse Engineering and Design Recovery: A Taxonomy
IEEE Software
Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Semantics and Transformations for UML Models
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
Integrating VDM++ and Real-Time System Design
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Role of VDM(++) in the Development of a Real-Time Tracking and Tracing System
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Describing, Structuring and Implementing Objects
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
Reengineering procedural into object-oriented systems
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Design Recovery by Automated Search for Structural Design Patterns in Object-Oriented Software
WCRE '96 Proceedings of the 3rd Working Conference on Reverse Engineering (WCRE '96)
Extracting Reusable Modules from Legacy Code: considering the issues of module granularity
WCRE '96 Proceedings of the 3rd Working Conference on Reverse Engineering (WCRE '96)
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |
This paper presents a new approach to the use of design patterns for the reengineering of legacy code, using a mapping from procedural design patternsto object-oriented patterns. We show also how object-oriented design patternscan be formalised and correctness conditions for their application derived, in order to justify the preservation of functionalityin the reengineering process. We give examples taken from case studies of reengineering legacy COBOL applications.