- Voertuig beheer include gps tracking
- Activity diagram voor registreren en email verifieren.
- Voertuig reserveren include factureren.
- Abonnement aflsuiten > factureren moet een include en geen extend zijn.
- Huren moet inloggen includen.
- In en uit checken is een extend geen include naar reserveren
- consistente naamgeving
- handel het (niet) opladen af
- crud steriotype
- voeg dit stukje text toe: "pre en post condities in de code zijn dingen niet niet-perse gechecked worden. Maar waar de caller moet opletten of het contract wordt nagekomen. Compiler checks/warnings horen hier ook bij."