Une spécification logiciel exigence qui est représentée dans une langue d'exigences exécutables.