2014-01-13から1日間の記事一覧

ホーアトリプルのデメリット

ホーアトリプル導入にはプログラム正当性確保というメリットがあるが設計者の作業負荷増大というデメリットもある。ではどんな作業負荷があるのか。ひとつは設計者が仕様書に表明を書かなければならなくなるということだ。通常のプロジェクトでは設計者は仕…