Formal methods for legacy systems.

De Montfort University Open Research Archive

Show simple item record

dc.contributor.author Ward, Martin
dc.contributor.author Bennett, Keith H.
dc.date.accessioned 2005-09-05T18:53:38Z
dc.date.available 2005-09-05T18:53:38Z
dc.date.issued 2005-09-05T18:53:38Z
dc.identifier.citation Ward, M. and Bennett, K.H. (1995) Formal methods for legacy systems. Journal of Software Maintenance: Research and Practice, 7 (3), pp.203-219.
dc.identifier.other IR/2005/18
dc.identifier.uri http://hdl.handle.net/2086/41
dc.description Paper dated January 6, 1995 en
dc.description.abstract A method is described for obtaining useful information from legacy code. The approach uses formal proven program transformations, which preserve for refine the semantics of a construct while changing its form. The applicability of a transformation in a particular syntactic context is checked before application. By using an appropriate sequence of transformations, the extracted representation is guaranteed to be equivalent to the code. In this paper, we focus on the results of using this approach in the reverse engineering of medium scale, industrial software, written mostly in languages such as assembler and JOVIAL. Results from both benchmark algorithms and heavily modified, geriatric software are summarised. It is concluded that the approach is viable, for self-contained code, and that useful design information may be extracted from legacy systems at economic cost. We conclude that formal methods have an important practical role in the reverse engineering process. en
dc.description.sponsorship Partly funded bu Alvey project SE-088, partly through a DTI/SERC and IBM UK Ltd. funded IEATP grant "From assembler to Z using formal transformations" and partly by SERC (Science and Engineering Research Council) project "A proof theory for program refinement and equivalence: extensions". en
dc.format.extent 250472 bytes
dc.format.extent 310861 bytes
dc.format.mimetype application/pdf
dc.format.mimetype application/postscript
dc.language.iso en en
dc.relation.ispartofseries STRL en
dc.relation.ispartofseries 1995-6 en
dc.subject Alvey
dc.subject DTI
dc.subject SERC
dc.subject IBM UK
dc.subject IEATP
dc.title Formal methods for legacy systems. en
dc.type Article en
dc.identifier.doi http://dx.doi.org/10.1002/smr.4360070305
dc.researchgroup Software Technology Research Laboratory (STRL)


Files in this item

This item appears in the following Collection(s)

Show simple item record