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.
Keywords: 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 = {Anais do Workshop em Engenharia de Requisitos - Proceedings of the 14th Workshop on Requirements Engineering (WER2011)},
year = {2011},
issn = {2675-0066},
isbn = {978-85-8006-032-4},
doi = {}
}