Z言語
(ISO/IEC 13568 から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/09/23 07:30 UTC 版)
Z言語 (ぜっどげんご) は、Z記法 (ぜっどきほう) ともいい、形式仕様記述言語であり、コンピュータシステムの記述とモデリングを行うために使われる。 ZはZF集合論から名前をとって命名された。 Zは次のことに焦点を当てている。
- ^ 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の初期のバージョンを記述)
- 1 Z言語とは
- 2 Z言語の概要
固有名詞の分類
- Z言語のページへのリンク