A Formal Approach to Design Patterns in Re-engineering | Zendy

Nabeel Malik | Zendy; Kevin Lano | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Formal Approach to Design Patterns in Re-engineering

Author(s) -

Nabeel Malik,

Kevin Lano

Publication year - 1997

Publication title -

electronic workshops in computing

Language(s) - English

Resource type - Conference proceedings

ISSN - 1477-9358

DOI - 10.14236/ewic/fm1997.8

Subject(s) - cobol , computer science , programming language , software design pattern , software engineering , legacy system , semantics (computer science) , formal methods , formal semantics (linguistics) , engineering design process , formal specification , engineering , software , mechanical 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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research