Noem vier modelleringstechnieken die een houvast bieden bij het opstellen van specifieke acceptatiecriteria.