Article View: comp.specification
Article #300Re: formal system specification surveys
From: Harro Kremer
Date: Wed, 19 Dec 1990 13:41
Date: Wed, 19 Dec 1990 13:41
23 lines
1621 bytes
1621 bytes
|> I'm also interested in any tutorials, texts, papers, etc. on particular |> specification "languages" including, but not limited to: SDL, Z, PSL/PSA, |> SADT, RSL, Anna, IORL, Gypsy, OBJ, and Estelle. |> I think you are missing the third Formal Specification Technique standardized by ISO: namely LOTOS. Because of the differences between LOTOS and the mentioned languages, LOTOS should be included in your survey. Harro +----------------------------------------------------------+ | Harro Kremer | | Dept. of Computer Science | | University of Twente | | P.O. Box 217 Email: kremer@cs.utwente.nl | | 7500 AE Enschede voice: +31 53 89 2819 | | Netherlands fax : +31 53 33 3815 | +----------------------------------------------------------+ <No flame yet>
Technical Details
Message-ID:
<1990Dec19.144145@cs.utwente.nl>Path:
arc1-ca.pugleaf.net!utzoo!attcan!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!usc!snorkelwacker.mit.edu!bloom-beacon!eru!hagbard!sunic!mcsun!hp4nl!utrcu1!infnews!infnews!kremerReferences:
<1990Dec17.190909.10829@news.nd.edu>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!attcan!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!usc!snorkelwacker.mit.edu!bloom-beacon!eru!hagbard!sunic!mcsun!hp4nl!utrcu1!infnews!infnews!kremer From: kremer@cs.utwente.nl (Harro Kremer) Newsgroups: comp.specification Subject: Re: formal system specification surveys Keywords: formal specification language, survey, taxonomy Message-ID: <1990Dec19.144145@cs.utwente.nl> Date: 19 Dec 90 13:41:45 GMT References: <1990Dec17.190909.10829@news.nd.edu> Sender: usenet@cs.utwente.nl Reply-To: kremer@cs.utwente.nl (Harro Kremer) Organization: University of Twente, Dept. of Computer Science Lines: 23