Z notation

Advanced search

About 3 results found and you can help!

An example of a formal specification (in Spanish) using the Z notation.

The Z notation (), named after Zermelo–Fraenkel set theory, 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 in general.

• See also: Wikipedia

• Related: Z User Group, Community Z Tools, Z++, Abstract Machine Notation, Fastest

The World Wide Web Virtual Library: The Z notation The World Wide Web Virtual Library: The Z notation formalmethods.wikia.com/wiki/Z - Web

Specification proposals by Ian Toyn Specification proposals by Ian Toyn www.cs.york.ac.uk/hise/Zstandard/ - Web

W3C WSDL 2.0 W3C WSDL 2.0 www.w3.org/TR/wsdl20/wsdl20-z.html - Web

[Add/rearrange links]

Average relevance

[Add links]

This results page includes content from Wikipedia which is published under CC BY-SA.