Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!wuarchive!uunet!munnari.oz.au!bunyip.cc.uq.oz.au!brolga!uqcspe!cs.uq.oz.au!anthony
From: anthony@cs.uq.oz.au (Anthony Lee)
Newsgroups: comp.specification
Subject: Reverse engineering - obtaining a formal spec from existing systems
Message-ID: <1970@uqcspe.cs.uq.oz.au>
Date: 16 Jun 91 10:20:10 GMT
Sender: news@cs.uq.oz.au
Reply-To: anthony@cs.uq.oz.au
Lines: 9

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 (Michaelangelo teenage mutant ninja turtle) (Time Lord Doctor) 
email: anthony@cs.uq.oz.au			    TEL:+(61)-7-365-2697 (w)
SNAIL: Dept Comp. Science, University of Qld, St Lucia, Qld 4072, Australia