A Formal Approach to Design Patterns in Re-engineering

This paper uses a transformation from procedural design patterns to object-oriented design patterns for the re-engineering of legacy code. A formal semantics for design patterns is introduced in order to justify the preservation of functionality in the re-engineering process. We give examples of the technique on a case study of an industrial legacy system in COBOL.

Content

Author and article information

Conference

Publication date: September 1997

Publication date (Print): September 1997

Pages: 1-20

Affiliations

[0001]Dept. of Computing, Imperial College

London, UK

Article

DOI: 10.14236/ewic/FM1997.8

SO-VID: 4fd12cca-2f50-4419-9418-5af655d70cde

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Proceedings of the 1st Irish Workshop on Formal Methods

Conference acronym: FM

Conference number: 1

Conference location: Dublin

Conference date: 3-4 July 1997

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Irish Workshop on Formal Methods

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FM1997.8

Self URI (journal page): https://ewic.bcs.org/

Studying business & IT? Drive your professional career forwards with BCS books - for a 20% discount click here: shop.bcs.org

A Formal Approach to Design Patterns in Re-engineering

Abstract