“Z Word Tools is a SourceForge↑ project providing tools to allow Z specifications to be written...Z Word Tools
“Object-Z↑ is an object-oriented↑ extension of the formal specification language Z. It was...Object-Z
“Book Information Formal Specification and Documentation using Z: A Case Study Approach By Prof...Formal Specification and Documentation using Z
“Z/EVES is a proof tool based on EVES and ZF set theory that supports the Z notation. Originally...Z/EVES
This category has the following 2 subcategories, out of 2 total.
Pages in category "Z notation"
The following 19 pages are in this category, out of 19 total.