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.
Problem Frames; Problem Progression; Requirements; Specifications; Communicating Sequential Processes
@inproceedings{wer201115,
author = {Li, Z. and Hall, J. G. and Rapanotti, L.},
title = {On the construction of specifications from requirements},
booktitle = {Proceedings of the WER2011-14th Workshop on Requirements Engineering, Rio de Janeiro - Brazil},
year = {2011},
issn = {2675-0066},
isbn = {978-85-8006-032-4},
doi = {}
}