Some papers of the FME'93 conference programme

Article View: comp.specification

Article #411

Back to comp.specification Previous Next

#411

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

Technical Details

Message-ID: <9212171213.AA11274@sumatra.dcs.gla.ac.uk>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!glasgow!news

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!glasgow!news
From: roberto@dcs.gla.ac.uk (roberto)
Newsgroups: comp.specification
Subject: Some papers of the FME'93 conference programme
Message-ID: <9212171213.AA11274@sumatra.dcs.gla.ac.uk>
Date: 17 Dec 92 12:13:14 GMT
Sender: news@dcs.glasgow.ac.uk (Network News)
Organization: Glasgow University Computing Science Dept.
Lines: 14
Approved: usenet@dcs.glasgow.ac.uk
Return-Path: <roberto@dcs.gla.ac.uk>
X-Mailer: mail-news 2.0.5