| Contracts and Assertions - slide 2 : 32 |
| Quality | Description | Contrast |
| Correct | Satisfies expectations, intentions, or requirements | Erroneous |
| Robust | Can resist unexpected events | Fragile |
| Reusable | Can be used in several contexts | Application specific |
| Simple | Avoids complicated solutions | Complex |
| Testable | Constructed to ease revelation of errors | - |
| Understandable | Mental manageability | Cryptic |