The Open UniversitySkip to content

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


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
Mathematics, Computing and Technology
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Related URLs:
Item ID: 29993
Depositing User: Lucia Rapanotti
Date Deposited: 20 Jan 2012 09:16
Last Modified: 18 Jan 2016 11:21
Share this page:

▼ Automated document suggestions from open access sources

Actions (login may be required)

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340