2008-09-13から1日間の記事一覧
契約による設計では、責務を遂行する関数に対して事前条件、事後条件を定義し、クラスに対してクラス不変条件を定義します。これら条件を実行時に検証して違反が検出されればエラーを通知（伝播）することで関数の仕様と実行結果が明確になります。しかし、…
契約による設計では、責務を遂行する関数に対して事前条件、事後条件を定義し、クラスに対してクラス不変条件を定義します。これら条件を実行時に検証して違反が検出されればエラーを通知（伝播）することで関数の仕様と実行結果が明確になります。しかし、…
