home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / specific / 606 < prev    next >
Encoding:
Internet Message Format  |  1993-01-07  |  1.4 KB
  1. Path: sparky!uunet!dove!swe.ncsl.nist.gov!kuhn
  2. From: kuhn@swe.ncsl.nist.gov (Rick Kuhn)
  3. Newsgroups: comp.specification
  4. Subject: Re: Formal spec languages on top of C/C++ ?
  5. Message-ID: <7836@dove.nist.gov>
  6. Date: 7 Jan 93 14:44:47 GMT
  7. References: <1993Jan6.212736.1456@news.acns.nwu.edu>
  8. Sender: news@dove.nist.gov
  9. Lines: 25
  10. X-Newsreader: TIN [version 1.1 PL6]
  11.  
  12. Kanth Miriyala (kanth@andersen.uucp) wrote:
  13. : 
  14. : Are there any formal specification languages available on top
  15. : of C/C++ environments? I am looking for formal spec languages
  16. : that are automatically translated down to C or C++ (perhaps
  17. : inefficiently or partially).
  18. : 
  19. : Please send me email. Thanks. 
  20. : 
  21. : -Kanth
  22. : 
  23. : kanth@andersen.com
  24.  
  25. The NIST Estelle tools, Portable Estelle Translator (pet) and Distributed
  26. Implementation Generator (dingo), can generate C and C++ from formal
  27. specs.  Estelle is the extended state transition language developed in ISO
  28. for OSI protocol specifications.  It's useful for distributed system specs
  29. as well.  See the anonymous ftp directory pub/petdingo on osi.ncsl.nist.gov.
  30.  
  31. --
  32.  
  33. Rick Kuhn                                   Telephone: +1 301 975 3337       
  34. Natl Institute of Standards & Technology    Fax:       +1 301 590 0932      
  35. Technology Bldg. B266                       Internet: kuhn@swe.ncsl.nist.gov
  36. Gaithersburg, Md.  20899  USA                       DRKuhn@dockmaster.ncsc.mil
  37.