Deriving Specifications from Requirements: An Example.

Michael Jackson, Pamela Zave

Browse the full ICSE paper archive.