「形式仕様記述」を解説文に含む見出し語の検索結果(11～20/61件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/12/27 06:23 UTC 版)「ソフトウェアクリーンルーム」の記事における「基本原則」の解説クリーンルームプロセスの基...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/16 06:41 UTC 版)「ソフトウェア開発工程」の記事における「形式手法」の解説形式手法は要求/仕様記述/設計段...
詳細化（しょうさいか、Refinement）とは、形式手法において、抽象的な形式仕様記述から具体的な実行プログラムへと検証可能な変換を行うことである。 概要段階的な詳細化として段階を踏んで詳細化を行う...
詳細化（しょうさいか、Refinement）とは、形式手法において、抽象的な形式仕様記述から具体的な実行プログラムへと検証可能な変換を行うことである。 概要段階的な詳細化として段階を踏んで詳細化を行う...
ナビゲーションに移動検索に移動 Z言語を使った形式仕様記述の例形式手法（けいしきしゅほう、英: formal methods）は、ソフトウェア工学における数学を基盤としたソフトウェアおよびハー...
ナビゲーションに移動検索に移動 Z言語を使った形式仕様記述の例形式手法（けいしきしゅほう、英: formal methods）は、ソフトウェア工学における数学を基盤としたソフトウェアおよびハー...
ナビゲーションに移動検索に移動 Z言語を使った形式仕様記述の例形式手法（けいしきしゅほう、英: formal methods）は、ソフトウェア工学における数学を基盤としたソフトウェアおよびハー...
B-Methodとは、AMN（Abstract Machine Notation）という仕様記述言語（兼プログラミング言語）を中心とした形式手法に基づいたソフトウェア開発手法である。B-Method ...
ナビゲーションに移動検索に移動Z言語 (ぜっどげんご) は、Z記法 (ぜっどきほう) ともいい、形式仕様記述言語であり、コンピュータシステムの記述とモデリングを行うために使われる。ZはZF集合論から名...
ナビゲーションに移動検索に移動Z言語 (ぜっどげんご) は、Z記法 (ぜっどきほう) ともいい、形式仕様記述言語であり、コンピュータシステムの記述とモデリングを行うために使われる。ZはZF集合論から名...