Un requisit de sistema/programari que especifica una funció que un sistema de programari de sistema/o component de sistema/programari ha de ser capaç de realitzar. Aquests són els requisits de programari que defineixen el comportament del sistema, és a dir, el procés fonamental o la transformació que els components de programari i maquinari del sistema realitzar en entrades per produir produccions. Requisit contrast amb no funcional.