Re: formal system specification surveys

Article View: comp.specification

Article #299

Back to comp.specification Previous Next

#299

From: Darren New
Date: Thu, 20 Dec 1990 19:21

17 lines
1330 bytes

In article <1990Dec19.144145@cs.utwente.nl> kremer@cs.utwente.nl (Harro Kremer) writes:
>I think you are missing the third Formal Specification Technique
>standardized by ISO: namely LOTOS.

Actually, to pick a nit, I think only LOTOS and Estelle were standardized
by ISO.  I think SDL has only been standardized by CCITT.

Also, don't forget CHILL and ASN.1

I don't know anything about CHILL.  ASN.1 is a language for describing
data structures.  I don't know how "formal" you would consider it.
	-- Darren
-- 
--- Darren New --- Grad Student --- CIS --- Univ. of Delaware ---
----- Network Protocols, Graphics, Programming Languages, 
      Formal Description Techniques (esp. Estelle), Coffee, Amigas -----
              =+=+=+ Let GROPE be an N-tuple where ... +=+=+=

Technical Details

Message-ID: <39711@nigel.ee.udel.edu>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!udel!ee.udel.edu

References: <1990Dec17.190909.10829@news.nd.edu> <1990Dec19.144145@cs.utwente.nl>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!wuarchive!udel!ee.udel.edu
From: new@ee.udel.edu (Darren New)
Newsgroups: comp.specification
Subject: Re: formal system specification surveys
Keywords: formal specification language, survey, taxonomy
Message-ID: <39711@nigel.ee.udel.edu>
Date: 20 Dec 90 19:21:13 GMT
References: <1990Dec17.190909.10829@news.nd.edu> <1990Dec19.144145@cs.utwente.nl>
Sender: usenet@ee.udel.edu
Organization: University of Delaware
Lines: 17
Nntp-Posting-Host: snow-white.ee.udel.edu

Reply to Parent Message