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

Item Actions

Export

You can export this page using these formats

About

• Item ORO ID
• 29498
• Item Type
• Conference or Workshop Item
• 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 or 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)
• Copyright Holders
• © 2011 The Authors
• Depositing User
• Jon Hall