Reading Notes-Agile Software Development

OCP: open-closed principle cannot be modified and scalable

LSP: liskov substitute principle for a function, a subtype must be able to substitute its base type

A model, in an isolated view, is not really effective.

In Ood, The is_a relationship is based on the behavior method, which can be reasonably assumed and is dependent on the customer program.

DBC design by contract uses contract to learn the behavior that can be relied on. Contract is specified by preconditions and postconditions declared for each method. to execute a method, preconditions must be true. After execution, this method must ensure that postconditions is true.

Reading Notes-Agile Software Development