Ett krav på system och programvara som anger en funktion som system och programvara system eller system och programvara komponenter att utföra. Dessa är programvarukrav som definierar beteendet för systemet, det vill säga den grundläggande processen eller omvandling som program- och maskinvara komponenter i systemet utför på insatsvaror att producera utgångar. Kontrast med icke-funktionella krav.