|
Related terms:
eiffel
java
occur
routine
always
class
invariant
precondition
postcondition
problem
eiffel software
inheritance
source lang
programming
computer science
programming language
Wikipedia sources: Design by contract Eiffel (programming language) Assertion (computing) Liskov substitution principle Context for words: design by contract |
|