21 search results - page 1 / 5 » zum 2005 |
ZUM
2005
Springer
13 years 10 months ago
2005
Springer
ZUM
2005
Springer
13 years 10 months ago
2005
Springer
In this paper we use Z to capture the requirements for an ‘intuitive’ menu navigation system as a series of conjectures that should hold. We use those requirements to investiga...
ZUM
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ...
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...
ZUM
2005
Springer
13 years 10 months ago
2005
Springer
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...