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 April 2011, Rio de Janeiro-RJ, Brasil, Editora PUC-Rio.

Google Scholar: Look up in Google Scholar

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

Item Type: Conference 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/Department: Mathematics, Computing and Technology > Computing & Communications
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 29498
Depositing User: Jon Hall
Date Deposited: 15 Sep 2011 09:25
Last Modified: 23 Oct 2012 14:25
URI: http://oro.open.ac.uk/id/eprint/29498
Share this page:

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk