Re: Formal spec languages on top of C/C++ ?

Article View: comp.specification

Article #481

Back to comp.specification Previous Next

#481

From: Rick Kuhn
Date: Thu, 07 Jan 1993 14:44

25 lines
1423 bytes

Kanth Miriyala (kanth@andersen.uucp) wrote:
: 
: Are there any formal specification languages available on top
: of C/C++ environments? I am looking for formal spec languages
: that are automatically translated down to C or C++ (perhaps
: inefficiently or partially).
: 
: Please send me email. Thanks. 
: 
: -Kanth
: 
: kanth@andersen.com

The NIST Estelle tools, Portable Estelle Translator (pet) and Distributed
Implementation Generator (dingo), can generate C and C++ from formal
specs.  Estelle is the extended state transition language developed in ISO
for OSI protocol specifications.  It's useful for distributed system specs
as well.  See the anonymous ftp directory pub/petdingo on osi.ncsl.nist.gov.

--

Rick Kuhn                                   Telephone: +1 301 975 3337       
Natl Institute of Standards & Technology    Fax:       +1 301 590 0932      
Technology Bldg. B266                       Internet: kuhn@swe.ncsl.nist.gov
Gaithersburg, Md.  20899  USA                       DRKuhn@dockmaster.ncsc.mil

Technical Details

Message-ID: <7836@dove.nist.gov>

Path: arc1-ca.pugleaf.net!sparky!uunet!dove!swe.ncsl.nist.gov!kuhn

References: <1993Jan6.212736.1456@news.acns.nwu.edu>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!dove!swe.ncsl.nist.gov!kuhn
From: kuhn@swe.ncsl.nist.gov (Rick Kuhn)
Newsgroups: comp.specification
Subject: Re: Formal spec languages on top of C/C++ ?
Message-ID: <7836@dove.nist.gov>
Date: 7 Jan 93 14:44:47 GMT
References: <1993Jan6.212736.1456@news.acns.nwu.edu>
Sender: news@dove.nist.gov
Lines: 25
X-Newsreader: TIN [version 1.1 PL6]

Reply to Parent Message