Related articles:
Eiffel (programming language)
Object-oriented programming
Formal methods
Software documentation
Assertion (computing)
D (programming language)
Abstract data type
Key terms:
contract
via
class
dbc
ada
client
supplier
software
module
eiffel
java
programming language
cobra
net
invariant
calls
lisp
benefit
obligation
design by contract
spark
precondition
perl
cpan
ruby
guarantees
perfect
violate
routine
exception
static
expect
python
buffer
formal
scheme
developer
aspectj
metaphor
meanings
what does
extension
computer science
inheritance
class invariant
specification
postcondition
eiffel software
values or types
defensive programming
Search external links cited by footnotes on Wikipedia page Design by contract:
|
|