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


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