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.