Problem frame transformations: deriving specifications from requirements.

Robert Seater, Daniel Jackson

Browse the full ICSE paper archive.