システムやプログラムの仕様を記述するためのコンピュータ言語.仕様の記述にあたっては,自然言語,流れ図や決定表など各種の図表を併用する.仕様は,最終製品の検査基準として使用するので,誤解を招かない言語で記述しなければならない.相当広い利用者層をもち,厳密でかつわかりやすい,場合によっては機械でも読める言語が望ましい.
通常は,計算機による処理の可能な,自然言語と人工言語との組合せからなる問題向き言語であって,システム又は構成要素に関する要件,設計,振舞いなどの特性を表現するために使用され,指定された実体を展開し,分析し,文書化するために使用される特殊な言語構成要素と,場合によっては検証プロトコルとを備えたもの
出典:Wikipedia
出典:『Wikipedia』 (2011/06/30 16:05 UTC 版)
A specification language is a formal language used in computer science. Unlike most programming languages, which are directly executable formal languages used to implement a system, specification languages are used during systems analysis, requirements analysis and systems design.