Deriving Specifications from Requirements: An Example

Michael Jackson, Pamela Zave. Deriving Specifications from Requirements: An Example. In ICSE. pages 15-24, 1995. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: