Especificació i programació orientada a objectes · 1.3
Especificació pre/post
Cada operació es descriu amb una precondició i una postcondició. És el contracte entre qui la fa i qui la fa servir.
Conceptes clau
- Precondició
- Postcondició
- Invariant de la representació
- Documentació de les operacions