スポンサーサイト

上記の広告は1ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。

契約による事前条件・事後条件とか

CppUnitBook Index Page

ここに「CppUnitによるXP‐eXtreme Programming‐実践テスト技法」の「下書き原稿」として全てが公開されている。 事前条件、事後条件を調べてて辿りついた。 [1.3] テスト駆動型開発って何?
ここにあった。


契約プログラミング - プログラミング言語 D 2.0

事前条件・事後条件などからなる契約という概念がD言語には言語に組み込み済。


C++ Labyrinth | 契約による設計

契約とか事前条件・事後条件に関する原典に触れた記事かな。


スポンサーサイト

この記事へのトラックバックURL

http://memolet.blog22.fc2.com/tb.php/958-9eba415e

この記事へのトラックバック

この記事へのコメント



上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。