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

    Reverse Engineering and Reusing COBOL Programs: A Program Transformation Approach

    1st Irish Workshop on Formal Methods

    Dublin, Ireland. 3rd - 4th July 1997


    H. Yang & Y. Sun


    Since the 1980s, software maintenance started to attract attention.

    Some progress has been made in using formal methods on software maintenance, especially on reverse engineering. This paper attempts to summarise some major advances in this area over the last one and a half decades.

    Firstly, we introduce program transformation techniques for software development and review the techniques used for software maintenance.

    We then describe a method for reverse engineering and reusing COBOL programs using program transformations. Finally, we suggest a future investigation direction for this work.


    PDF filePDF Version of this Paper (214kb)