Requirement progression in problem frames: deriving specifications from requirements