2009-09-29から1日間の記事一覧

詳細設計書が本質的に持つ最大の欠点は『何を書くことができて、何を書くことができないのか』というメタレベル設計が曖昧であるということだと思った。何を書いてもいいという柔軟性は、すなわち有限ステップで終了する検証アルゴリズムを持たないことを示…