Some papers of the FME'93 conference programme

Thread View: comp.specification

1 messages

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

1 total messages Started by roberto Thu, 17 Dec 1992 12:13

#411

Author: roberto
Date: Thu, 17 Dec 1992 12:13

14 lines
918 bytes

I am interested in reading the draft of these two papers. 

     On the Derivation of Executable Database Programs from Formal
       Specifications (T. Gunther et.al.)

     Maintaining Consistency under Changes to Formal Specifications
       (K. Ross et.al.)

They are in the programme for the FME'93 conference (april/93). 
If anybody knows the e-mail of the authors please e-mail me. 

Thanks in advance,

Roberto Barros

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