Reengineering Using a Data Abstraction Based Specification Language

摘要

This report describes how a reengineering methodology was developed and appliedto convert part of a system implemented in CMS-2 to a new C implementation. In particular, this methodology used Larch specifications as an intermediate design representation that was obtained through reverse engineering. The benefits of using this methodology and ways of improving it, primarily through automation, are suggested.