specifications - Caltech

Specifications“logical firewalls that permit divide-and-conquer to succeed.”(Liskov, p. 216)• To divide coding labor between programmers, each must know:– Responsibilities of his/her module.– Capabilities of other modules (to help).• Specifications limit what each must know about others’ modules.I.e., don’t have to know anything except specification.• Also provide freedom for implementors.As long as specification is satisfied, anything goes.• Today: a little more formal look at how this works.5