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 Item
Copyright Holders:	IEEE Computer Society Press
Extra Information:	Paper published in ICPES 2010 Conference proceedings, pp. 252-274
Academic Unit/Department:	Mathematics, Computing and Technology > Computing & Communications
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:	23 Oct 2012 14:26
URI:	http://oro.open.ac.uk/id/eprint/29993

Actions (login may be required)

	View Item
	Report issue / request change

Policies | Disclaimer