|
Related terms:
eiffel
routine
invariant
precondition
eiffel software
inheritance
design by contract
computer science
programming language
Wikipedia sources: Eiffel (programming language) Design by contract Context for words: postcondition |
|