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:
|
|