Code to Specifications

Thread View: comp.specification

1 messages

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

1 total messages Started by Dr. Betty Cheng Wed, 26 Jun 1991 20:04

#474

Author: Dr. Betty Cheng
Date: Wed, 26 Jun 1991 20:04

33 lines
1459 bytes


I am looking for references to papers concerning work
in the area of algorithms/tools that construct specifications from
program code.
Thus far, I have a reference to the paper, 
``From Code to Z Specifications''
by P. Breuer, K. Lano, in the 1989 Z User Workshop Proceedings: Springer-Verlag
Workshops in Computer Science.  

Unfortunately, our library does not have this proceedings. I was
wondering if anyone
has a copy of this and could fax or send me a copy of the article.

(FAX #: (517) 336-1061 (preferred)
 Address: Department of Computer Science
	  Michigan State University
	  East Lansing, MI 48824
)

Any other relevant references is greatly appreciated!!

Thanks for any information.

Betty Cheng
Department of Computer Science
Michigan State University

(517) 355-8344
chengb@cps.msu.edu


P.S. I will post a summary, if there is interest.

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