The combination of input values and preconditions and the required response for a function of a system. The full specification of a function would normally comprise one or more behaviours.