A formal approach to design patterns in Re-engineering

  • Authors:
  • N. Malik;K. Lano

  • Affiliations:
  • Dept. of Computing, Imperial College, London, UK;Dept. of Computing, Imperial College, London, UK

  • Venue:
  • IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.