Get it on Google Play
New! Download Unionpedia on your Android™ device!
Faster access than browser!

Z notation

Index Z notation

The Z notation is a formal specification language used for describing and modelling computing systems. [1]

41 relations: Alloy (specification language), APL (programming language), ASCII, Électricité de France, B-Method, Bertrand Meyer, Cambridge University Press, Community Z Tools, Computer program, Elsevier, Ernst Zermelo, Fastest, First-order logic, Formal methods, Formal specification, HOL (proof assistant), International Federation for Information Processing, International Organization for Standardization, Jean-Raymond Abrial, Lambda calculus, LaTeX, Leiden University, Microsoft Word, Model-based testing, Object Constraint Language, Object-Z, Open-source software, PDF, Programming Research Group, Set theory, Specification language, Type (model theory), Unicode, United Kingdom, Université Grenoble Alpes, University of Oxford, Vienna Development Method, Z User Group, Z++, Zermelo–Fraenkel set theory, Zip (file format).

Alloy (specification language)

In computer science and software engineering, Alloy is a declarative specification language for expressing complex structural constraints and behavior in a software system.

New!!: Z notation and Alloy (specification language) · See more »

APL (programming language)

APL (named after the book A Programming Language) is a programming language developed in the 1960s by Kenneth E. Iverson.

New!!: Z notation and APL (programming language) · See more »


ASCII, abbreviated from American Standard Code for Information Interchange, is a character encoding standard for electronic communication.

New!!: Z notation and ASCII · See more »

Électricité de France

Électricité de France S.A. (EDF; Electricity of France) is a French electric utility company, largely owned by the French state.

New!!: Z notation and Électricité de France · See more »


The B method is a method of software development based on B, a tool-supported formal method based on an abstract machine notation, used in the development of computer software.

New!!: Z notation and B-Method · See more »

Bertrand Meyer

Bertrand Meyer (born 21 November 1950) is a French academic, author, and consultant in the field of computer languages.

New!!: Z notation and Bertrand Meyer · See more »

Cambridge University Press

Cambridge University Press (CUP) is the publishing business of the University of Cambridge.

New!!: Z notation and Cambridge University Press · See more »

Community Z Tools

The Community Z Tools (CZT) initiative is based around a SourceForge project to build a set of tools for the Z notation, a formal method useful in software engineering.

New!!: Z notation and Community Z Tools · See more »

Computer program

A computer program is a collection of instructions for performing a specific task that is designed to solve a specific class of problems.

New!!: Z notation and Computer program · See more »


Elsevier is an information and analytics company and one of the world's major providers of scientific, technical, and medical information.

New!!: Z notation and Elsevier · See more »

Ernst Zermelo

Ernst Friedrich Ferdinand Zermelo (27 July 1871 – 21 May 1953) was a German logician and mathematician, whose work has major implications for the foundations of mathematics.

New!!: Z notation and Ernst Zermelo · See more »


Fastest is a model-based testing tool that works with specifications written in the Z notation.

New!!: Z notation and Fastest · See more »

First-order logic

First-order logic—also known as first-order predicate calculus and predicate logic—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science.

New!!: Z notation and First-order logic · See more »

Formal methods

In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.

New!!: Z notation and Formal methods · See more »

Formal specification

In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software.

New!!: Z notation and Formal specification · See more »

HOL (proof assistant)

HOL (Higher Order Logic) denotes a family of interactive theorem proving systems using similar (higher-order) logics and implementation strategies.

New!!: Z notation and HOL (proof assistant) · See more »

International Federation for Information Processing

The International Federation for Information Processing (IFIP) is a global organisation for researchers and professionals working in the field of information and communication technologies (ICT) to conduct research, develop standards and promote information sharing.

New!!: Z notation and International Federation for Information Processing · See more »

International Organization for Standardization

The International Organization for Standardization (ISO) is an international standard-setting body composed of representatives from various national standards organizations.

New!!: Z notation and International Organization for Standardization · See more »

Jean-Raymond Abrial

Jean-Raymond Abrial (born 1938) is a French computer scientist and inventor of the Z and B formal methods.

New!!: Z notation and Jean-Raymond Abrial · See more »

Lambda calculus

Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution.

New!!: Z notation and Lambda calculus · See more »


LaTeX (or; a shortening of Lamport TeX) is a document preparation system.

New!!: Z notation and LaTeX · See more »

Leiden University

Leiden University (abbreviated as LEI; Universiteit Leiden), founded in the city of Leiden, is the oldest university in the Netherlands.

New!!: Z notation and Leiden University · See more »

Microsoft Word

Microsoft Word (or simply Word) is a word processor developed by Microsoft.

New!!: Z notation and Microsoft Word · See more »

Model-based testing

Model-based testing is an application of model-based design for designing and optionally also executing artifacts to perform software testing or system testing.

New!!: Z notation and Model-based testing · See more »

Object Constraint Language

The Object Constraint Language (OCL) is a declarative language describing rules applying to Unified Modeling Language (UML) models developed at IBM and is now part of the UML standard.

New!!: Z notation and Object Constraint Language · See more »


Object-Z is an object-oriented extension to the Z notation developed at the University of Queensland, Australia.

New!!: Z notation and Object-Z · See more »

Open-source software

Open-source software (OSS) is a type of computer software whose source code is released under a license in which the copyright holder grants users the rights to study, change, and distribute the software to anyone and for any purpose.

New!!: Z notation and Open-source software · See more »


The Portable Document Format (PDF) is a file format developed in the 1990s to present documents, including text formatting and images, in a manner independent of application software, hardware, and operating systems.

New!!: Z notation and PDF · See more »

Programming Research Group

The Programming Research Group (PRG) was part of the Oxford University Computing Laboratory (OUCL) in Oxford, England, until OUCL became the Department of Computer Science in 2011.

New!!: Z notation and Programming Research Group · See more »

Set theory

Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects.

New!!: Z notation and Set theory · See more »

Specification language

A specification language is a formal language in computer science used during systems analysis, requirements analysis and systems design to describe a system at a much higher level than a programming language, which is used to produce the executable code for a system.

New!!: Z notation and Specification language · See more »

Type (model theory)

In model theory and related areas of mathematics, a type is an object that, loosely speaking, describes how a (real or possible) element or elements in a mathematical structure might behave.

New!!: Z notation and Type (model theory) · See more »


Unicode is a computing industry standard for the consistent encoding, representation, and handling of text expressed in most of the world's writing systems.

New!!: Z notation and Unicode · See more »

United Kingdom

The United Kingdom of Great Britain and Northern Ireland, commonly known as the United Kingdom (UK) or Britain,Usage is mixed with some organisations, including the and preferring to use Britain as shorthand for Great Britain is a sovereign country in western Europe.

New!!: Z notation and United Kingdom · See more »

Université Grenoble Alpes

The Université Grenoble Alpes (UGA, French: meaning "Grenoble Alps University") is a public research university in Grenoble, France.

New!!: Z notation and Université Grenoble Alpes · See more »

University of Oxford

The University of Oxford (formally The Chancellor Masters and Scholars of the University of Oxford) is a collegiate research university located in Oxford, England.

New!!: Z notation and University of Oxford · See more »

Vienna Development Method

The Vienna Development Method (VDM) is one of the longest-established formal methods for the development of computer-based systems.

New!!: Z notation and Vienna Development Method · See more »

Z User Group

The Z User Group exists to promote use and development of the Z notation, a formal specification language for the description of and reasoning about computer-based systems.

New!!: Z notation and Z User Group · See more »


Z++ (pronounced zee plus plus) was an object-oriented extension to the Z specification language.

New!!: Z notation and Z++ · See more »

Zermelo–Fraenkel set theory

In mathematics, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is an axiomatic system that was proposed in the early twentieth century in order to formulate a theory of sets free of paradoxes such as Russell's paradox.

New!!: Z notation and Zermelo–Fraenkel set theory · See more »

Zip (file format)

ZIP is an archive file format that supports lossless data compression.

New!!: Z notation and Zip (file format) · See more »

Redirects here:

CADiZ, ISO/IEC 13568, Z (programming language), Z specification language, Zed notation, , , , , , , , , , , .


[1] https://en.wikipedia.org/wiki/Z_notation

Hey! We are on Facebook now! »