Introduction to Programming |
Bash |
C |
C# |
DOS |
F# |
Ksh |
mosml |
Python |
sml |
Unix
Semantics |
Version Control |
Z
Introduction to the Z Specification Language[]
The following is an introduction to Z specification language, for a quick summary of Z see the Z Cheat Sheet.
Z is a mathematical based specification language. It is based on set theory and first order predicate logic.
This introduction is based on:
- "Formal Specification and Documentation using Z: A Case Study Approach" (Bowen, 2003)
- "An Introduction to Discrete Mathematics, Formal System Specification, and Z" (Ince, 1992)
Prerequisites[]
Before starting this introduction it is assumed you are familiar with the following:
- Set Theory.
Schema Box[]
<Signature>
<Predicate>
Axiomatic Description[]
<Signature>
<Predicate>