“Z Word Tools is a SourceForge↑ project providing tools to allow Z specifications to be written...Z Word Tools
“Book Information Formal Specification and Documentation using Z: A Case Study Approach By Prof...Formal Specification and Documentation using Z
“The ABZ conference covers Abstract State Machines, the B-Method, and the Z notation. The first...ABZ
“Object-Z↑ is an object-oriented↑ extension of the formal specification language Z. It was...Object-Z
This category has the following 2 subcategories, out of 2 total.
Pages in category "Z notation"
The following 18 pages are in this category, out of 18 total.