looking for computer-readable specifications

Article View: comp.specification

Article #15

Back to comp.specification Previous Next

#15

From: Lester Buck
Date: Mon, 02 Nov 1992 07:48

15 lines
1020 bytes

I have read several books on Z, and I also have available a number
of printed reports specifying a wide range of systems.  Unfortunately,
I find a lack of computer readable, type-checked specifications for
study and use as examples.  I have entered parts of several printed
specifications and run them through fUZZ v2, only to find that they
are often not type clean.

Does anyone have computer readable versions of zed/fUZZ/oz(?)
specifications which they can make available?  If they are type clean
at the level of the ZRM, 2nd edition, that would be even better.

Thanks alot!

-- 
A. Lester Buck   buck@siswat.hou.tx.us   ...!uhnix1!siswat!buck

Technical Details

Message-ID: <1992Nov2.074858.16282@siswat.hou.tx.us>

Path: arc1-ca.pugleaf.net!sparky!uunet!ukma!wupost!zaphod.mps.ohio-state.edu!menudo.uh.edu!lobster!siswat!buck

Show Full Headers

Complete Article Headers

Newsgroups: comp.specification
Path: arc1-ca.pugleaf.net!sparky!uunet!ukma!wupost!zaphod.mps.ohio-state.edu!menudo.uh.edu!lobster!siswat!buck
From: buck@siswat.hou.tx.us (Lester Buck)
Subject: looking for computer-readable specifications
Message-ID: <1992Nov2.074858.16282@siswat.hou.tx.us>
Organization: Photon Graphics
Date: Mon, 2 Nov 1992 07:48:58 GMT
Lines: 15