(1) Un document que precisament d'una manera clara i precisa descriu cada un de les necessitats essencials (funcions, rendiment, les limitacions de disseny i atributs de qualitat) del programari i les interfícies externes. Cada requisit es defineix en tal una manera que seu progrés poden ser objectivament verificats per un mètode prescrita, per exemple, inspecció, demostració, anàlisi o prova. Sometime anomenat especificacions externs. Contrast amb especificacions interns (les especificacions de disseny)