Een vereiste van het systeem/software waarmee een functie dat een systeem/software systeem of systeemsoftware/component staat uit te voeren moet worden. Dit zijn softwarevereisten waaraan een gedrag van het systeem, dat wil zeggen, de fundamentele proces of transformatie die software en hardware componenten van het systeem op "inputs uitvoeren" te produceren output. Contrast met achterblijven eis.