home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / specific / 587 < prev    next >
Encoding:
Internet Message Format  |  1992-12-17  |  891 b 
  1. Path: sparky!uunet!mcsun!uknet!glasgow!news
  2. From: roberto@dcs.gla.ac.uk (roberto)
  3. Newsgroups: comp.specification
  4. Subject: Some papers of the FME'93 conference programme
  5. Message-ID: <9212171213.AA11274@sumatra.dcs.gla.ac.uk>
  6. Date: 17 Dec 92 12:13:14 GMT
  7. Sender: news@dcs.glasgow.ac.uk (Network News)
  8. Organization: Glasgow University Computing Science Dept.
  9. Lines: 14
  10. Approved: usenet@dcs.glasgow.ac.uk
  11. Return-Path: <roberto@dcs.gla.ac.uk>
  12. X-Mailer: mail-news 2.0.5
  13.  
  14. I am interested in reading the draft of these two papers. 
  15.  
  16.      On the Derivation of Executable Database Programs from Formal
  17.        Specifications (T. Gunther et.al.)
  18.  
  19.      Maintaining Consistency under Changes to Formal Specifications
  20.        (K. Ross et.al.)
  21.  
  22. They are in the programme for the FME'93 conference (april/93). 
  23. If anybody knows the e-mail of the authors please e-mail me. 
  24.  
  25. Thanks in advance,
  26.  
  27. Roberto Barros
  28.