Software Component Specifications