|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 記 ： [き] (n,n-suf) chronicle ・ 記法 ： [きほう] (n) notation ・ 法 ： [ほう] 1. (n,n-suf) Act (law: the X Act)
Z言語 (ぜっどげんご) は、Z記法 (ぜっどきほう) ともいい、形式仕様記述言語であり、コンピュータシステムの記述とモデリングを行うために使われる。 ZはZF集合論から名前をとって命名された。 Zは次のことに焦点を当てている。 * コンピュータプログラムの簡明な仕様の記述。 * 意図するプログラムの振る舞いの証明の形式化。 Zは、もともとは1977年に Jean-Raymond Abrial により Steve Schuman とバートランド・メイヤーの支援を得て開発された〔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の初期のバージョンを記述)〕。 Zの開発は、オクスフォード大学のプログラミング研究グループでさらに続けられた。 Abrial は、1980年前半にこの研究グループで開発作業を行った。 Zは、公理的集合論とラムダ計算、一階述語論理で使われる標準的な数学的記法に基づいている。 Zで記述されたあらゆる式は型づけられており、それにより素朴集合論のパラドックスのいくつかを回避する。 Zは標準化されたカタログを含む。 このカタログは数学的ツールキットと呼ばれる。 このツールキットは、一般的に使われる数学的な関数と述語から構成される。 Zは多くの非ASCIIシンボルを使っているが、Zの仕様ではZで使うシンボルをASCIIあるいはLaTeXで表現する方法の提案を含んでいる。 Zを初めて学ぶ人にとって有用な文献として次の資料がある。 * The Z Notation: a reference manual (英語) Zは、IBM CICS プロジェクトで使われた。 == 標準 == 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 頁 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Z言語」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Z notation 」があります。 スポンサード リンク
|