26 October 2012 Description of a component’s functions in terms of its output values for certain input values under certain conditions, and the required non-functional behavior. Related posts: Software Infrastructure