Tools
- Espino, Luis, ERZ: Tool for to transform ER model to Z Notation equivalent, http://erz.comli.com/.
- Community Z Tools (CZT) (project), Source forge, http://czt.sourceforge.net/.
- Z Word tools (project), Source forge, http://zwordtools.sourceforge.net/ for developing and checking Z specifications in Microsoft Word.
- Spivey, Michael ‘Mike’, Fuzz Type-Checker for Z, http://spivey.oriel.ox.ac.uk/mike/fuzz/.
- Z/Eves — A proof checker for the Z notation (German site but all manuals in English)
- Z/EVES Documentation, papers, and manuals on Z/EVES
- ZETA open-source system for development software specifications in Z
- HOL-Z open-source proof environment for Z in Isabelle/HOL
- CADiZ, a set of free software tools that assist use of Z notation
- ProofPower, a suite of open-source tools supporting specification and proof in HOL and in the Z notation
- Vimes An independently developed type checker.
- z-vimes Alternate source of Vimes.
Read more about this topic: Z Notation
Famous quotes containing the word tools:
“In child rearing it would unquestionably be easier if a child were to do something because we say so. The authoritarian method does expedite things, but it does not produce independent functioning. If a child has not mastered the underlying principles of human interactions and merely conforms out of coercion or conditioning, he has no tools to use, no resources to apply in the next situation that confronts him.”
—Elaine Heffner (20th century)
“Think of the tools in a tool-box: there is a hammer, pliers, a saw, a screwdriver, a rule, a glue-pot, nails and screws.—The function of words are as diverse as the functions of these objects.”
—Ludwig Wittgenstein (1889–1951)
“The besetting sin of able men is impatience of contradiction and of criticism. Even those who do their best to resist the temptation, yield to it almost unconsciously and become the tools of toadies and flatterers. “Authorities,” “disciples,” and “schools” are the curse of science and do more to interfere with the work of the scientific spirit than all its enemies.”
—Thomas Henry Huxley (1825–95)