V sistem/software engineering, dokument, ki navaja, da funkcije, ki jih mora izvesti programsko opremo, zahtevano raven izvedbe (hitrost, natančnost ipd.), narava zahteva vmesniki med izdelek programske opreme in njenega okolja, vrste in resnosti omejitev oblikovanja in kakovosti končnega izdelka. Synonymous z zunanjimi specifikacijo.