Partial specification is a method of specifying complex systems in which the system is
described by a collection of specifications, each approaching the system from a different …

This paper discusses theoretical background for the use of Z as a language for partial
specification, in particular techniques for checking consistency between viewpoint …

In the specification notation known as Z, schemas are used to structure mathematical
descriptions. This paper describes the language of schemas and the conventions that are …

Inconsistent specifications may give rise to false conclusions in reasoning, thus destroying
the point of having a specification. This report is concerned with inconsistent specifications …

This paper defines an object-orientated extension, Z++, to the popular specification
language Z [24]. This extension makes explicit the known ob jectorientated characteristics of …

We show how a theory of specification refinement and program development can be
constructed as a conservative extension of our existing logic for Z. The resulting system can …

How can we be sure that a set of viewpoints is valid, in the sense that it is possible to build a
system consistent with each and every one of them? Our approach is based on the idea of …

The system specification is one of the key documents in a software project: a large number
of activities depend on its correctness. Until recently there have been many problems …

By providing a formal semantics for Z, this book justifies the claim that Z is a precise
specification language, and provides a standard framework for understanding Z …

The formulation and analysis of a design specification is almost always of more utility than
the verification of the consistency of a program with its specification. Good specification tools …