Modeling domain knowledge in support of requirements analysis in software engineering

Li, Zhi; Hall, Jon and Rapanotti, Lucia (2010). Modeling domain knowledge in support of requirements analysis in software engineering. In: International Conference on Power and Energy Systems (ICPES 2010), 20-21 December 2010, Beijing.

Google Scholar:	Look up in Google Scholar

Abstract

As part of software engineering, requirements analysis based on contextual domain knowledge plays an important role in providing precise software specifications that are appropriate for subsequent software development. In this paper, we present a formal approach to domain knowledge modeling based on Jackson’s problem frames, which can then be transformed into software specifications using the techniques of Hoare’s communicating sequential processes.

Item Type:	Conference or Workshop Item
Copyright Holders:	IEEE Computer Society Press
Extra Information:	Paper published in ICPES 2010 Conference proceedings, pp. 252-274
Academic Unit/School:	Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications Faculty of Science, Technology, Engineering and Mathematics (STEM)
Interdisciplinary Research Centre:	Centre for Research in Computing (CRC)
Related URLs:	http://www.iiec-association.org/icpes201...(Other)
Item ID:	29993
Depositing User:	Lucia Rapanotti
Date Deposited:	20 Jan 2012 09:16
Last Modified:	24 May 2017 08:13
URI:	http://oro.open.ac.uk/id/eprint/29993
Share this page:

Actions (login may be required)

CORE (COnnecting REpositories)

Policies | Disclaimer