Deriving Specifications from Requirements