Z言語
(Z notation から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/09/23 07:30 UTC 版)
ナビゲーションに移動 検索に移動Z言語 (ぜっどげんご) は、Z記法 (ぜっどきほう) ともいい、形式仕様記述言語であり、コンピュータシステムの記述とモデリングを行うために使われる。 ZはZF集合論から名前をとって命名された。 Zは次のことに焦点を当てている。
Zは、もともとは1977年に Jean-Raymond Abrial により Steve Schuman とバートランド・メイヤーの支援を得て開発された[1]。 Zの開発は、オクスフォード大学のプログラミング研究グループでさらに続けられた。 Abrial は、1980年前半にこの研究グループで開発作業を行った。
Zは、公理的集合論とラムダ計算、一階述語論理で使われる標準的な数学的記法に基づいている。 Zで記述されたあらゆる式は型づけられており、それにより素朴集合論のパラドックスのいくつかを回避する。 Zは標準化されたカタログを含む。 このカタログは数学的ツールキットと呼ばれる。 このツールキットは、一般的に使われる数学的な関数と述語から構成される。
Zは多くの非ASCIIシンボルを使っているが、Zの仕様ではZで使うシンボルをASCIIあるいはLaTeXで表現する方法の提案を含んでいる。
Zを初めて学ぶ人にとって有用な文献として次の資料がある。
標準
ISO (国際標準化機構) は2002年にZの標準化作業を完了した。 この仕様の題名は Information Technology – Z Formal Specification Notation – Syntax, Type System and Semantics ISO/IEC 13568:2002 である。 ISOから直接に取得し閲覧することができる。
13568_2002.zip、1 MB PDF、196 頁
関連項目
- Z++
- Object-Z
- Z User Group (ZUG)
- Community Z Tools (CZT) プロジェクト
- 形式手法
- VDM
- B-Method
参考文献
- ^ 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 (Zの初期のバージョンを記述)
外部リンク
- The Z Notation: a reference manual
- Jonathan Bowen's The Z notation
- Specification proposals by Ian Toyn
- ISO公式仕様の購入 (Z言語)
- Community Z Tools (CZT) プロジェクト
- ZETA Zによるソフトウェア仕様記述のためのオープンソースシステム
- Mike Spivey's Fuzz Type-Checker for Z
- Using Z: Specification, Refinement, and Proof (PDF文書を含む)
この記事は2008年11月1日までGFDLバージョン1.3以降の再ライセンス規約に基づいていたFree On-line Dictionary of Computingにある項目の資料が元になっている。
「Z notation」の例文・使い方・用例・文例
- 登録するには、（352） 112-3944 までお電話をいただくか、コミュニティーセンターのウェブサイトから登録用紙をダウンロードして、Addo通り948 番地、Mephisto、AZ85002 まで郵送してください。
- チューリッヒの年次総会の様子を詳しく説明する前に、研究開発部がようやくHyper Z microphoneの試作品を提出したことを報告したいと思います。
- この守秘義務契約はABCコンピュータとXYZロジスティックの間で締結されたものである。
- YXZ証券取引所は第1部指定基準を厳しくした。
- Xが増加するとYも増加するなど、XとYとの間に相関がある場合でも、第3因子Zが両方の増加を引き起こしていることがあり得るため、XがYの原因だとはいえない。
- AをBとしてZと置換する
- BからZをAに置換する
- 現在彼はXYZ大学の教授です。
- なんか誰かに雰囲気似てるなあと思ってましたが、言われてみてああそうそうですね。確かにZZ TOPってこういう感じでしたよね。
- New Zealand は多少日本に似ている
- 大文字；X、Y、Zなど
- DMZがちょうどその丘の上で始まる
- 英国人はZをゼッドと呼び、スコットランド人はエゼット飛ぶがアメリカ人はそれをズイーと呼ぶ
- Zoroastrianismの主な神
- 企業同士の無制限な株の持ち合いの禁止−W.Z.リプレイ
- 万国ローマ字信号のZをあらわす信号旗
- Z縒りという,糸の縒り方
- MIZEXという,北極海近辺の海氷の研究計画
- セオリーZという経営理論
- コンピューターグラフィックスで,Zバッファアルゴリズムという図形処理の手順
- Z notationのページへのリンク
