ZUM
2000
Springer
13 years 8 months ago
2000
Springer
We propose an extension to Z whereby generic parameters may have their types partially constrained. Using this mechanism it becomes possible to dene in Z much of its own schema cal...
ZUM
2005
Springer
13 years 10 months ago
2005
Springer
There is significant interest in the use of Z in conjunction with object-orientation. Here we present a new approach to structuring Z specifications in an object-oriented (OO) st...