"class invariant" -
related articles and key terms
Related terms:
Wikipedia sources:
Design by contract
Context for words:
class
invariant