Z language
I say the Z scale (ぜっどきほう), and it is a form specifications description language, and the Z language (ぜっどげんご) is used to model it with the description of the computing system. Z was named after the name by ZF set theory. Z focuses about next.
- The description of the concise specifications of the computer program.
- Formalization of the proof of the behavior of the program to aim at.
Originally Z was developed with Steve Schuman and support of Bertrand Meyer in 1977 by Jean-Raymond Abrial [1]. The development of Z was continued more in a programming study group of Oxford University. Abrial worked on development in this study group in early 1980.
Z is based on a standard mathematical scale used in axiomatic set theory and a lambda calculation, the first-order predicate logic. Every expression described in Z evades some of paradox of naive set theory by model づけられており, it. Z includes a standardized catalogue. This catalogue is called a mathematical tool kit. This tool kit consists of the mathematical function and predicate which are generally spoken.
Z uses much non-ASCII symbols, but includes the suggestion of the method to express a symbol to use in Z by ASCII or LaTeX with the specifications of Z.
Useful documents include the next document for a person learning Z for the first time.
- The Z Notation: a reference manual (English)
Z was used by IBM CICS project.
Table of contents
Standard
The ISO (International Organization for Standardization) completed standardization work of Z in 2002. The title of these specifications is Information Technology – Z Formal Specification Notation – It is Syntax, Type System and Semantics ISO/IEC 13,568:2,002. I acquire it directly from the ISO and can read it.
13568_2002.zip, 1MB PDF, page 196
Allied item
- Z++
- Object-Z
- Z User Group (ZUG)
- Community Z Tools (CZT) project
- Form technique
- VDM
- B-Method
References
- ^ Jean-Raymond Abrial, Stephen A. Schuman and Bertrand Meyer A Specification Language, in On the Construction of Programs, Cambridge University Press, eds. R. McNaughten and R.C. McKeag, 1980 (I describe an early version of Z)
Outside link
- The Z Notation: a reference manual
- Jonathan Bowen's The Z notation
- Specification proposals by Ian Toyn
- The purchase (Z language) of ISO formula specifications
- Community Z Tools (CZT) project
- Open source system for software specifications descriptions by ZETA Z
- Mike Spivey's Fuzz Type-Checker for Z
- Using Z: Specification, Refinement, and Proof (including the PDF document)
As for this article, the document of the item in Free On-line Dictionary of Computing based on a re-license agreement after GFDL version 1.3 until November 1, 2008 causes it.
This article is taken from the Japanese Wikipedia Z language
This article is distributed by cc-by-sa or GFDL license in accordance with the provisions of Wikipedia.
In addition, Tranpedia is simply not responsible for any show is only by translating the writings of foreign licenses that are compatible with CC-BY-SA license information.
0 개의 댓글:
댓글 쓰기