4章 STRUCTURED PROGRAMMING 4章は構造化プログラミングについて述べられています。 ソフトウェアの複雑さに立ち向かう方法として、ダイクストラは数学的証明の手法を取り入れようとしました。大きな問題を小さな問題に分割して一つ一つ解決していく、いわゆ…

2章 A TALE OF TWO VALUES 2章では、ソフトウェアの2つの価値、振る舞い(Behavior)と構造(Structure)について述べられています。 振る舞いとはソフトウェアが要求仕様に従って正しく動作すること。構造とはソフトウェアの形であり、それによって要求の変更に…