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
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. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
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...
ZUM
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...
ZUM
2005
Springer
13 years 10 months ago
2005
Springer
ZUM
2005
Springer
13 years 10 months ago
2005
Springer
There is signiļ¬cant interest in the use of Z in conjunction with object-orientation. Here we present a new approach to structuring Z speciļ¬cations in an object-oriented (OO) st...