Deriving Specifications from Requirements: An Example

10 years 10 months ago
Deriving Specifications from Requirements: An Example
A requirement is a desired relationship among phenomena of the environment of a system, to be brought about by the hardware/software machine that will be constructed and installed in the environment. A specification describes machine behaviour sufficient to achieve the requirement. A specification is a restricted kind of requirement: all the environment phenomena mentioned in a specification are shared with the machine; the phenomena constrained by the specification are controlled by the machine; and the specified constraints can be determined without reference to the future. Specifications are derived from requirements by reasoning about the environment, using properties that hold independently of the behaviour of the machine. These ideas, and some associated techniques of description, are illustrated by a simple example.
Michael Jackson, Pamela Zave
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 1995
Where ICSE
Authors Michael Jackson, Pamela Zave
Comments (0)