Design by contract - related articles and key terms

Related articles: Python (programming language)   Eiffel (programming language)   D (programming language)   Object-oriented programming   Abstract data type   Software documentation   Contract

Key terms: contract   dbc   client   via   supplier   programming language   collaboration   java   obligation   design by contract   eiffel   cobra   invariant   module   bertrand   precondition   routine   benefit   dbc holidays   lisp   exception   spark   postcondition   client must   computer science   strengthen   static   weaken   metaphor   must satisfy   specification   perl   buffer   what does   defensive programming   correctly   guarantees   things that the supplier promises   subclasses may   meanings   python   cpan   class invariant   ruby   aspectj   software engineering   values or types   before using   promises to do   airline


Search external links cited by footnotes on Wikipedia page Design by contract: