Engr 691: Special Topics in Engineering Science
Software Architecture
Spring Semester 1998
Lecture Notes

Design by Contract

References

  1. Bertrand Meyer. "Applying `Design by Contract'," IEEE Computer, October 1992.

  2. Reto Kramer. "iContract -- The JavaDesign by Contract Tool," URL http://www.promigos.ch/kramer, 1997.

UP to ENGR 691 Lecture Notes root document?

Copyright © 1998, H. Conrad Cunningham
Last modified: 27 March 1998.