• DocumentCode
    886691
  • Title

    Applying ´design by contract´

  • Author

    Meyer, Bertrand

  • Author_Institution
    Interactive Software Eng., Goleta, CA, USA
  • Volume
    25
  • Issue
    10
  • fYear
    1992
  • Firstpage
    40
  • Lastpage
    51
  • Abstract
    Methodological guidelines for object-oriented software construction that improve the reliability of the resulting software systems are presented. It is shown that the object-oriented techniques rely on the theory of design by contract, which underlies the design of the Eiffel analysis, design, and programming language and of the supporting libraries, from which a number of examples are drawn. The theory of contract design and the role of assertions in that theory are discussed.<>
  • Keywords
    contracts; object-oriented programming; software reliability; software reusability; Eiffel; design by contract; object-oriented software construction; object-oriented techniques; programming language; software libraries; software reliability; Books; Computer bugs; Contracts; Guidelines; Object oriented programming; Pressing; Reliability theory; Robustness; Software engineering; Software systems;
  • fLanguage
    English
  • Journal_Title
    Computer
  • Publisher
    ieee
  • ISSN
    0018-9162
  • Type

    jour

  • DOI
    10.1109/2.161279
  • Filename
    161279
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=886691