「事後条件」を解説文に含む見出し語の検索結果(21～30/57件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/11/21 02:23 UTC 版)「ホーア論理」の記事における「(A1) 代入文の公理」の解説{ Q[e/x] } x:＝...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/05/21 09:00 UTC 版)「表明 (プログラミング)」の記事における「契約による設計としての表明」の解説表明を仕様...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/28 16:52 UTC 版)「字句解析」の記事における「字句解析器生成器」の解説字句解析は、一度に一文字ずつ読み込む...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/01/11 14:16 UTC 版)「テストケース」の記事における「正式なテストケース」の解説アプリケーションのすべての要件...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/26 23:51 UTC 版)「キーワード (C++)」の記事における「追加の文脈依存のキーワード」の解説audit,...
述語変換意味論（じゅつごへんかんいみろん、Predicate Transformer Semantics）は、エドガー・ダイクストラによるホーア論理の拡張であり、その後も他の研究者が改良を加えたもので...
述語変換意味論（じゅつごへんかんいみろん、Predicate Transformer Semantics）は、エドガー・ダイクストラによるホーア論理の拡張であり、その後も他の研究者が改良を加えたもので...
.mw-parser-output .side-box{margin:4px 0;box-sizing:border-box;border:1px solid #aaa;font-size:88%;l...
詳細化（しょうさいか、Refinement）とは、形式手法において、抽象的な形式仕様記述から具体的な実行プログラムへと検証可能な変換を行うことである。 概要段階的な詳細化として段階を踏んで詳細化を行う...
詳細化（しょうさいか、Refinement）とは、形式手法において、抽象的な形式仕様記述から具体的な実行プログラムへと検証可能な変換を行うことである。 概要段階的な詳細化として段階を踏んで詳細化を行う...