Kevin.Lano@prg.oxford.ac.uk (06/17/91)
>Could someone please point out to me some introduction papers and >recent work on using reverse engineering to derive a formal >specification of existing systems ? >-- >Anthony Lee The following papers cover this area: ``From Code to Z Specifications", K. Lano, P. Breuer, Z User Meeting 1989, in Springer-Verlag Workshops in Computer Science, 1990. Ward M., Calliss F.W., Munro M. (1989). ~{\em The Maintainer's Assistant}, ~ \underline{Proceedings of Conference on Software Maintenance 1989}, Miami, Florida, IEEE Computer Society Press, Oct 1989. pp307-315. ``Creating Specifications from Code: Reverse-Engineering Techniques", P. Breuer, K.Lano, in Software Maintenance: Research and Practice, 1991, to appear. ``Reverse-Engineering and Validating COBOL", H. Haughton, P. Breuer, K. Lano, Oxford University Programming Research Group, 1991. Also, there is the paper: Linger R.C., Hausler P. A., Pleszlioch M.G., Heruer A. R., {\em Using Function Abstraction to Understand Program Behavior}, IEEE Software, Jan. 1990. Kevin