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

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Anthony Lee Sun, 16 Jun 1991 10:20

Reverse engineering - obtaining a formal spec from existing systems

#459

Author: 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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads