Z notation

Known as: ⨠, ⦁, ⨡

The Z notation /ˈzɛd/ is a formal specification language used for describing and modelling computing systems. It is targeted at the clear…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2012

The purpose of this paper is to explore formal information representation for tactical reconnaissance system (TRS) organization…

2006

In this paper we discuss some issues in implementing a model checker for the Z specification language. In particular, the…

2004

We present a process for introducing an object-oriented architecture into an abstract functional specification written in Object…

2004

This paper presents a formal framework for modelling and analysing mobile systems. The framework comprises a collection of models…

1999

1998

The paper presents an approach to the description of ontologies used in Multi-Agent Systems as a means to allow interoperability…

1993

It is becoming widely accepted that along with the formal specification of functional properties it is necessary, in some systems…

1991

1989

This paper shows how formal specification techniques can be beneficially applied in the develop ment of electronic…

Highly Cited

1987

Highly Cited

1987

We discuss the development of executable programs from state-based specifications written in the language of first-order…