Een specificatie is een gedeelde beschrijving van gedrag, data, randvoorwaarden, randgevallen en kwaliteitsverwachtingen. Voor probabilistische systemen bevat zij voorbeelden, onacceptabele uitvoer en escalatie.
Een acceptatiecriterium is een verifieerbare voorwaarde om een functionaliteit af te ronden. Sommige criteria worden deterministische tests; andere worden eval-cases en drempelwaarden.
Een kwaliteitsattribuut is een overkoepelende eigenschap zoals beveiliging, privacy, toegankelijkheid, betrouwbaarheid, latentie, kosten of onderhoudbaarheid. Kwaliteitsattributen bepalen architectuur- en releasedecisies.
