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.

2009

Many critical control systems are developed using formal methods. When software applied to such systems is developed, the…

2002

In this work we propose a framework for the specification, validation and development of real time program using Circus. Circus…

1998

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

1996

Nitpick is a formal specification language designed to be amenable to a new checking method called case enumeration. The paper…

1996

Digital multimedia systems are rapidly becoming ubiquitous with nearly all computer platforms offering support for audio and…

1995

Permission is granted to copy and distribute this document free of charge for educational or non-profit uses, provided that it is…

1994

Software requirements testing and software design testing are very important and must be taken seriously. Specifications of…

1991

Inconsistent specifications may give rise to false conclusions in reasoning, thus destroying the point of having a specification…

1989

We use the Z specification language to specify the designs of two reusable components and their interfaces. The components are…

1956

Biochem. Z. 97, 31t (1919). H ~ N s ~ , A. E., and G. O. Bu~R: J. Amer. 1V[ed. Assoc. 132, 855 (1946).H~NsEs~, A.E., and It. F…