The Open UniversitySkip to content

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.

Google Scholar: Look up in Google Scholar


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

Item Type: Conference or Workshop Item
Copyright Holders: 2011 The Authors
Extra Information: WER11 - Workshop em Engenharia de Requisitos 2011: Rio de Janeiro-RJ, Brasil
Maria Lencastre, Hugo Estrada Esquivel, Eduardo Figueiredo (Ed.)
ISBN 978-85-8006-032-4
Keywords: problem frames; problem progression; requirements; specifications; communicating sequential processes
Academic Unit/School: Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
Faculty of Science, Technology, Engineering and Mathematics (STEM)
Research Group: Centre for Research in Computing (CRC)
Item ID: 29498
Depositing User: Jon Hall
Date Deposited: 15 Sep 2011 09:25
Last Modified: 07 Dec 2018 09:55
Share this page:

Actions (login may be required)

Policies | Disclaimer

© The Open University   contact the OU