Deriving Specifications from Requirements 1