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…

2008

In this paper, we have suggested a methodology for formalizing some of the commonly used UML diagrams that are used in different…

2003

Retrieval of software components from a library relies on techniques for matching user requirements against library component…

2002

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

1996

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

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…