形式手法を解説文に含む用語の検索結果

「形式手法」を解説文に含む見出し語の検索結果(1～10/533件中)

検証 - ウィキペディア小見出し辞書

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/14 16:23 UTC 版)「形式手法」の記事における「検証」の解説形式仕様記述ができると、それを証明の根拠として使...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/14 16:23 UTC 版)「形式手法」の記事における「水準0」の解説形式仕様記述を行い、プログラム自体を非形式主義...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/24 14:45 UTC 版)「形式手法」の記事における「主な形式手法とその記述法」の解説以下に主な形式手法と形式手法...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/14 16:23 UTC 版)「形式手法」の記事における「水準1」の解説形式手法を使って開発と検証を行い、より形式主義...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/14 16:23 UTC 版)「形式手法」の記事における「軽量(light weight)形式手法」の解説実際の開発に...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/11/21 08:28 UTC 版)「プログラム合成」の記事における「形式手法」の解説合成したいプログラムの性質を論理式で表...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/14 16:23 UTC 版)「形式手法」の記事における「水準2」の解説自動定理証明によって完全に機械的な証明を行う。

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/14 16:23 UTC 版)「形式手法」の記事における「表示的意味論」の解説表示的意味論では、システムの意味は領域理...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/12/27 06:23 UTC 版)「ソフトウェアクリーンルーム」の記事における「形式手法に基づくソフトウェア開発」の解説ク...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/14 16:23 UTC 版)「形式手法」の記事における「公理的意味論」の解説公理的意味論では、システムがある処理を行...

< 前の結果 | 次の結果 >