%0 Journal Article %1 meyer1992a %A Meyer, Bertrand %D 1992 %J IEEE Computer %K Programming contract; Design reliability software by Eiffel; construction; libraries; Object-oriented language; Software techniques; %N 10 %P 40--51 %T Applying ``Design by Contract'' %V 25 %X Reliability is even more important in object-oriented programming than elsewhere. This article shows how to reduce bugs by building software components on the basis of carefully designed contracts.

@article{meyer1992a, abstract = {Reliability is even more important in object-oriented programming than elsewhere. This article shows how to reduce bugs by building software components on the basis of carefully designed contracts.}, added-at = {2006-03-09T08:15:35.000+0100}, affiliation = {Interactive Software Eng., Goleta, CA, USA}, author = {Meyer, Bertrand}, bibdate = {Tue May 14 16:20:44 MDT 1996}, biburl = {https://www.bibsonomy.org/bibtex/22a3dd3e66c4b01eab0fa426cb4474928/snowball}, classification = {C6110B (Software engineering techniques); C6110J (Object-oriented programming)}, coden = {CPTRB4}, interhash = {541c52fec319993280444c152aea415c}, intrahash = {2a3dd3e66c4b01eab0fa426cb4474928}, issn = {0018-9162}, journal = {IEEE Computer}, keywords = {Programming contract; Design reliability software by Eiffel; construction; libraries; Object-oriented language; Software techniques;}, month = {October}, number = 10, pages = {40--51}, thesaurus = {Contracts; Object-oriented programming; Software reliability; Software reusability}, timestamp = {2006-03-09T08:15:35.000+0100}, title = {{A}pplying ``{D}esign by {C}ontract''}, volume = 25, year = 1992 }