home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / specific / 614 < prev    next >
Encoding:
Internet Message Format  |  1993-01-11  |  1.3 KB
  1. Path: sparky!uunet!pipex!bnr.co.uk!uknet!nplpsg!ach
  2. From: dsg.npl.co.uk
  3. Newsgroups: comp.specification
  4. Subject: Formal specification translators
  5. Keywords: Estelle, LOTOS, SDL, Formal, C++
  6. Message-ID: <1993Jan11.100856.5545@nplpsg.uucp>
  7. Date: 11 Jan 93 10:08:56 GMT
  8. Sender: ach@nplpsg.uucp (Andrew Harry)
  9. Distribution: eunet
  10. Organization: National Physical Laboratory, UK
  11. Lines: 27
  12.  
  13. |> Are there any formal specification languages available on top
  14. |> of C/C++ environments? I am looking for formal spec languages
  15. |> that are automatically translated down to C or C++ (perhaps
  16. |> inefficently or partially).
  17.  
  18. Our group have recently produced a report on test generation and translation
  19. tools for the formal languages Z, VDM, RAISE, SDL LOTOS and Estelle. In it we 
  20. identified tool support for SDL, Estelle, LOTOS and RAISE capable of 
  21. translating to C or C++.
  22.  
  23. The report (NPL Report DITC 207/92 - State of the art techniques in automatic 
  24. generation of reference implementations & test code from formal specifications)
  25. can be obtained (free of charge) by contacting Sharon Wilson and giving the 
  26. report number and Report Ref (DITC 207/92).
  27.  
  28. Contact point:
  29. ------------------------------
  30. email: sw@dsg.npl.co.uk
  31. Telephone: +4481 943 7071
  32. ------------------------------
  33.  
  34. Data Security Group,
  35. National Physical Laboratory,
  36. Queens Road,
  37. Teddington,
  38. Middlesex, TW11 0LW,
  39. ENGLAND
  40.