On the construction of specifications from requirements

Li, Zhi; Hall, Jon and Rapanotti, Lucia (2011). On the construction of specifications from requirements. In: Proceedings of the 14th Workshop on Requirements Engineering, 28-29 Apr 2011, Rio de Janeiro-RJ, Brasil, Editora PUC-Rio.

Abstract

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

Viewing alternatives

Look up in Google Scholar
No digital document available to download for this item

Item Actions

Export

About

CORE (COnnecting REpositories)