🚀 go-pugleaf

>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