(1) Un document clairement et précisément décrit chacune des exigences essentielles (fonctions, performances, contraintes de conception et les attributs de qualité) du logiciel et les interfaces externes. Chaque exigence est définie dans telle façon que sa réalisation peut être objectivement vérifiée par une méthode prescrite, par exemple, inspection, démonstration, analyse ou test. Quelque appelé cahier des charges externes. Contraste avec des spécifications internes (spécifications)