Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    A Formal Approach to Design Patterns in Re-engineering

    1st Irish Workshop on Formal Methods

    Dublin, Ireland. 3rd - 4th July 1997


    N. Malik & K. Lano


    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.


    PDF filePDF Version of this Paper (233kb)