[.]
DejaVU
Online:
-- The OO Lectures
[.]
[up]
introduction
projects
cases
technology
conclusions
assignments
material
Contracts
Design by Contract
formal basis -- pre and post conditions
refinement -- by inheritance or polymorphis
runtime checks -- division of responsibility
see
Ch. 3, Contracts
slide
:
Design by Contract
[.]
[up]
introduction
projects
cases
technology
conclusions
assignments
material
Hush Online Technology
hush@cs.vu.nl
11/25/99
