「事前条件」を解説文に含む見出し語の検索結果(11～20/94件中)
契約による設計契約プログラミング（けいやくプログラミング、英: Contract programming）または契約による設計（けいやくによるせっけい、英: Design by Con...
契約による設計契約プログラミング（けいやくプログラミング、英: Contract programming）または契約による設計（けいやくによるせっけい、英: Design by Con...
契約による設計契約プログラミング（けいやくプログラミング、英: Contract programming）または契約による設計（けいやくによるせっけい、英: Design by Con...
契約による設計契約プログラミング（けいやくプログラミング、英: Contract programming）または契約による設計（けいやくによるせっけい、英: Design by Con...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/01/01 19:54 UTC 版)「リスコフの置換原則」の記事における「振る舞いサブタイピング」の解説リスコフの置換原則で...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/17 08:32 UTC 版)「ユースケース」の記事における「ユースケースのテンプレート」の解説詳細ユースケースを文書...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/11/21 02:23 UTC 版)「ホーア論理」の記事における「(A1) 代入文の公理」の解説{ Q[e/x] } x:＝...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/04/09 04:34 UTC 版)「遊☆戯☆王ラッシュデュエル」の記事における「効果とコストと手順」の解説遊☆戯☆王ラッシ...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/05/21 09:00 UTC 版)「表明 (プログラミング)」の記事における「契約による設計としての表明」の解説表明を仕様...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/28 16:52 UTC 版)「字句解析」の記事における「字句解析器生成器」の解説字句解析は、一度に一文字ずつ読み込む...