本位田真一のレビュー一覧
-
抽象機械、変数の宣言、不変条件の宣言、変数の初期化、操作の定義、一般化代入の紹介がある。
抽象機械の整合性の検証として、最弱事前条件、不変条件の無矛盾性、初期化の整合性について説明がある。
集合論的に厳密に記述していくのがミソのようです。
Refinementという段階的詳細化をしていって実装...続きを読むPosted by ブクログ -
アジャイル開発にまつわる書籍を広く分析し、長所と短所が客観的に整理されている。確かにアジャイル系の書籍は事例を挙げて一般的に適用可能だと連想させる逸話が多い。
惜しいのはこれが入門書として扱われていること。アジャイル開発を実際に経験し、独自の道に進もうとしている人にこそ読んで欲しい。Posted by ブクログ