Aplicando 'diseño por contrato'

Se presentan pautas metodológicas para la construcción de software orientado a objetos que mejoran la fiabilidad de los sistemas de software resultantes. Se muestra que las técnicas orientadas a objetos se basan en la teoría del diseño por contrato, que subyace al diseño del lenguaje de análisis, diseño y programación Eiffel y de las bibliotecas de soporte, de las cuales se extraen varios ejemplos. Se discute la teoría del diseño por contrato y el papel de las afirmaciones en esa teoría.