Design by Contract seminars
US, Europe, Australia

TOOLS USA 2000: Where Bytes Meet Beach

Object-Oriented Software Construction, 2nd ed

The Design by Contract portal

Resources, links and references for building reliable software

Design by Contract is the major technological breakthrough in software engineering in the past 15 years. Design by Contract can, like no other technique since the invention of classes and objects, dramatically affect the way we develop software, and it is a required condition for achieving the promise of the Component Revolution.

Design by Contract tackles head-on the issue of software reliability, by taking a holistic approach to the construction of systems so that they will work correctly the first time around. Based on a simple yet powerful metaphor -- software systems as collections of components that interact through contracts, similar to those between people or companies -- it has a profound effect on almost every aspect of software development, from analysis and design to implementation, documentation, debugging, quality assurance, maintenance, and project management.

The following are references to hundreds of pages concerning Design by Contract and other object-oriented topics.


+ Key Sites

+ basics

+ Articles

+ University Lecture Notes


+ Links

+ Books

+ University Courses

+ Commercial Courses

+ Discussion Groups


+ Eiffel

+ Java

+ C++

+ Sather

+ Linux


+ Research Papers

+ Research Projects

+ Critiques

Design by contract home    DBC seminars    OOSC    Eiffel

Questions? Comments? Let us know!
URL for this page:
©1993-2001 Interactive Software Engineering, Inc. All rights reserved.