Constraints voor use case zoeken

< Constraints in EA (NL)


 * Pre-onditie: Actor is ingelogd
 * Invariant: Actor voert zoek string in
 * Post-conditie: Systeem toont zoekresultaten