On the construction of specifications from requirements
Zhi Li, Jon G. Hall, Lucia Rapanotti · Open Research Online - ORO (The Open University) · 2011
Transforming real-world requirements into specifications which are appropriate for subsequent software development is at the heart of Requirements Engineering. Doing it systematically remains an open challenge. In this paper we present a formal approach to systematise the move from requirements to specifications in the context of Jackson's Problem Frames