B. Meyer. IEEE Computer, 25 (10):
40--51(October 1992)
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.
%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
}