「仕様記述言語」を解説文に含む見出し語の検索結果(21～30/96件中)
ナビゲーションに移動検索に移動文書スキーマ定義言語（ぶんしょスキーマていぎげんご、英: Document Schema Definition Languages, DSDL）は、マークアップ言...
ナビゲーションに移動検索に移動文書スキーマ定義言語（ぶんしょスキーマていぎげんご、英: Document Schema Definition Languages, DSDL）は、マークアップ言...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/23 10:02 UTC 版)「抽象解釈」の記事における「コンピュータプログラムの抽象解釈」の解説プログラミング言語や...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/02/02 01:47 UTC 版)「ダイアグラム」の記事における「様々なダイアグラム」の解説A-Z Express-G図（...
B-Methodとは、AMN（Abstract Machine Notation）という仕様記述言語（兼プログラミング言語）を中心とした形式手法に基づいたソフトウェア開発手法である。B-Method ...
ナビゲーションに移動検索に移動Regular Language description for XML (RELAX、リラックス) は、マークアップ言語XMLのスキーマ言語の一つである。RELAXは、...
ナビゲーションに移動検索に移動Regular Language description for XML (RELAX、リラックス) は、マークアップ言語XMLのスキーマ言語の一つである。RELAXは、...
ナビゲーションに移動検索に移動Regular Language description for XML (RELAX、リラックス) は、マークアップ言語XMLのスキーマ言語の一つである。RELAXは、...
ナビゲーションに移動検索に移動Regular Language description for XML (RELAX、リラックス) は、マークアップ言語XMLのスキーマ言語の一つである。RELAXは、...
ナビゲーションに移動検索に移動Z言語 (ぜっどげんご) は、Z記法 (ぜっどきほう) ともいい、形式仕様記述言語であり、コンピュータシステムの記述とモデリングを行うために使われる。ZはZF集合論から名...