Une technique qui analyse des modèles d’exigences en utilisant des tests conceptuels pour détecter des erreurs d’exigences. 

Une activité du développement des exigences qui assure que les exigences fixées satisfont les besoins utilisateur. La validation assure que vous avez construit le bon logiciel.

Une actiivité du développement des exigences qui assure que les exigences satisfont les conditions ou les spécifications d’une activité de développement des exigences. La vérification assure que vous avez construit le logiciel correctement

Unified Modelling Language 

Une personne, un dispositif ou un système qui intéragira avec un système de façon directe ou indirecte (par exemple, en utilisant les sorties d’un système mais ne générant pas ces sorties personnellement). Appelé aussi utilisateur final.