- Applied mathematics
- >
- Mathematical modeling
- >
- Formal specification languages
- >
- Z notation

- Applied mathematics
- >
- Theoretical computer science
- >
- Formal methods
- >
- Z notation

- Applied mathematics
- >
- Theoretical computer science
- >
- Logic in computer science
- >
- Z notation

- Fields of mathematics
- >
- Mathematical logic
- >
- Logic in computer science
- >
- Z notation

- Formal methods
- >
- Formal specification
- >
- Formal specification languages
- >
- Z notation

- Mathematics
- >
- Mathematical notation
- >
- Z notation

- Philosophy of mathematics
- >
- Mathematical logic
- >
- Logic in computer science
- >
- Z notation

- Theoretical computer science
- >
- Mathematics of computing
- >
- Formal methods
- >
- Z notation

Bernard Sufrin

No description available.

Test Template Framework

The Test Template Framework (TTF) is a model-based testing (MBT) framework proposed by Phil Stocks and David Carrington in for the purpose of software testing. Although the TTF was meant to be notatio

Fastest

Fastest is a model-based testing tool that works with specifications written in the Z notation. The tool implements the Test Template Framework (TTF) proposed by Phil Stocks and David Carrington in.

General set theory

General set theory (GST) is George Boolos's (1998) name for a fragment of the axiomatic set theory Z. GST is sufficient for all mathematics not requiring infinite sets, and is the weakest known set th

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. Tools include support for editi

Set comprehension

No description available.

Object-Z

Object-Z is an object-oriented extension to the Z notation developed at the University of Queensland, Australia. Object-Z extends Z by the addition of language constructs resembling the object-oriente

Mondex

Mondex was a smart card electronic cash system, implemented as a stored-value card and owned by Mastercard. Pioneered by two bankers from NatWest in 1990, it was spun-off to a separate consortium late

Ib Sørensen

No description available.

S (set theory)

S is an axiomatic set theory set out by George Boolos in his 1989 article, "Iteration Again". S, a first-order theory, is two-sorted because its ontology includes “stages” as well as sets. Boolos desi

Z++

Z++ (pronounced zed, or zee in American pronunciation, plus plus) is an object-oriented extension to the Z specification language. Z++ allows for the definition of classes, and the relation of classes

Z User Meeting

No description available.

Z User Group

The Z User Group (ZUG) was established in 1992 to promote use and development of the Z notation, a formal specification language for the description of and reasoning about computer-based systems. It w

Z notation

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

CICS

IBM CICS (Customer Information Control System) is a family of mixed-language application servers that provide online transaction management and connectivity for applications on IBM mainframe systems u

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. Alloy provides a simple str

Zermelo–Fraenkel set theory

In set theory, 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

© 2023 Useful Links.