Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!cis.ohio-state.edu!ucbvax!prg.oxford.ac.uk!Kevin.Lano
From: Kevin.Lano@prg.oxford.ac.uk
Newsgroups: comp.specification
Subject: Re: Reverse-engineering
Message-ID: <9106170746.AA08990@client75.comlab.prg.ox.ac.uk>
Date: 17 Jun 91 07:46:20 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Lines: 28


>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