En l'Enginyeria de programari/sistema, un document que indiqui les funcions que s'ha de realitzar programari, nivell de rendiment (velocitat, precisió, etc.), la naturalesa de les interfícies necessaris entre el producte de programari i el seu entorn, el tipus i la gravetat de restriccions en el disseny i la qualitat del producte final. L'especificació sinònims amb extern.