topical media & game development
design by contract
- formal basis -- pre and post conditions
- refinement -- by inheritance or polymorphis
- runtime checks -- division of responsibility
see Ch. 3, Contracts
You may not copy or print any of this material without explicit permission of the author or the publisher.
In case of other copyright issues, contact the author.