Formal models of Specifications

Article View: comp.specification

Article #160

Back to comp.specification Previous Next

#160

From: Hanan Lutfiyya
Date: Mon, 06 Aug 1990 15:47

12 lines
822 bytes

 Hi.  I am interested in software specifications.  I am particularly
 interested in formal models of software specifications.  I would
 appreciate any information on who is doing work on this subject, 
 or references to work on it.  

 E-mail would be great, and I will summarize here if there is sufficient
 interest. Thank you!

 Hanan Lutfiyya
 hanan@cs.umr.edu

Technical Details

Message-ID: <1273@umriscc.isc.umr.edu>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!mailrus!umich!samsung!uakari.primate.wisc.edu!umriscc!mcs213k.cs.umr.edu!hanan

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!mailrus!umich!samsung!uakari.primate.wisc.edu!umriscc!mcs213k.cs.umr.edu!hanan
From: hanan@cs.umr.edu (Hanan Lutfiyya)
Newsgroups: comp.specification
Subject: Formal models of Specifications
Message-ID: <1273@umriscc.isc.umr.edu>
Date: 6 Aug 90 15:47:51 GMT
Sender: news@umriscc.isc.umr.edu
Organization: University of Missouri - Rolla
Lines: 12
Originator: hanan@mcs213k.cs.umr.edu