Design By Contract
Everything on SkillVeris tagged Design By Contract — collected across the glossary, study notes, blog, and cheat sheets.
5 resources across 1 library
Interview Questions(5)
What is the Liskov Substitution Principle?
The Liskov Substitution Principle (LSP) states that objects of a subclass must be substitutable for objects of the base class without altering the correctness…
What is Design by Contract?
Design by Contract is a software design approach, introduced by Bertrand Meyer for the Eiffel language, in which a method’s obligations are formalized as an ex…
What is an Invariant in OOP?
A class invariant is a condition about an object’s state that must hold true at every point the object is observable from outside — after construction complete…
What are Preconditions and Postconditions?
A precondition is a condition that must be true before a method is called for that method to behave correctly, and a postcondition is a condition the method gu…
What is a Class Invariant?
A class invariant is a condition about an object’s internal state that must hold true before and after every public method call, guaranteeing the object is nev…