Re: formal system specification surveys

Article View: comp.specification

Article #301

Back to comp.specification Previous Next

#301

From: Dr. Ranga R. Vemuri
Date: Fri, 21 Dec 1990 04:18

15 lines
1004 bytes

P. Mateti has been developing a language called OM (objects and models) for
several years now.  His group has specifications of several non-trivial 
systems written in OM.  No survey of formal specification languages is 
complete without including OM.   Mateti can be reached at

Professor Prabhaker Mateti
Computer Science and Engineering Dept.
WSU Research Center
Kettering (Dayton) OH 45420
USA
Email: pmateti@cs.wright.edu


- Ranga

Technical Details

Message-ID: <7032@uceng.UC.EDU>

Path:

arc1-ca.pugleaf.net!utzoo!attcan!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!spool2.mu.edu!news.cs.indiana.edu!uceng!ranga

References: <1990Dec17.190909.10829@news.nd.edu> <3809@skye.cs.ed.ac.uk>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!attcan!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!spool2.mu.edu!news.cs.indiana.edu!uceng!ranga
From: ranga@uceng.UC.EDU (Dr. Ranga R. Vemuri)
Newsgroups: comp.specification
Subject: Re: formal system specification surveys
Keywords: formal specification language, survey, taxonomy
Message-ID: <7032@uceng.UC.EDU>
Date: 21 Dec 90 04:18:11 GMT
References: <1990Dec17.190909.10829@news.nd.edu> <3809@skye.cs.ed.ac.uk>
Followup-To: ranga@uceng.uc.edu
Organization: College of Engg., Univ. of Cincinnati
Lines: 15

Reply to Parent Message