出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/05/21 09:00 UTC 版)「表明 (プログラミング)」の記事における「開発サイクル内での表明」の解説開発中、プログ...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/05/21 09:00 UTC 版)「表明 (プログラミング)」の記事における「契約による設計としての表明」の解説表明を仕様...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/05/21 09:00 UTC 版)「表明 (プログラミング)」の記事における「静的表明」の解説コンパイル時にチェックされる...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/10 00:54 UTC 版)「Go (プログラミング言語)」の記事における「提供しない機能」の解説型の継承、ジェネリ...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/05/21 09:00 UTC 版)「表明 (プログラミング)」の記事における「実行時チェックとしての表明」の解説表明はプロ...

ナビゲーションに移動検索に移動アサーション（英: assertion）とは、コンピュータプログラミング技法の一種 - 表明 (プログラミング)自己主張、意見表明 - アサーティブネス.mw-p...

ナビゲーションに移動検索に移動アサーション（英: assertion）とは、コンピュータプログラミング技法の一種 - 表明 (プログラミング)自己主張、意見表明 - アサーティブネス.mw-p...

ナビゲーションに移動検索に移動アサーション（英: assertion）とは、コンピュータプログラミング技法の一種 - 表明 (プログラミング)自己主張、意見表明 - アサーティブネス.mw-p...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/28 09:17 UTC 版)「契約プログラミング」の記事における「不変条件」の解説クラス不変条件 (class in...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/28 09:17 UTC 版)「契約プログラミング」の記事における「事後条件」の解説事後条件 (postconditi...