Re: Reverse-engineering

Thread View: comp.specification

1 messages

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

1 total messages Started by Kevin.Lano Mon, 17 Jun 1991 07:46

#460

Author: Kevin.Lano
Date: Mon, 17 Jun 1991 07:46

28 lines
1468 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 

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

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