Reverse engineering - obtaining a formal spec from existing systems - Article 459 - go-pugleaf

Article View: comp.specification

Article #459

Back to comp.specification Previous Next

Reverse engineering - obtaining a formal spec from existing systems

#459

From: Anthony Lee
Date: Sun, 16 Jun 1991 10:20

9 lines
837 bytes

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

Technical Details

Message-ID: <1970@uqcspe.cs.uq.oz.au>

Path:

arc1-ca.pugleaf.net!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

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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