Li, Zhi; Hall, Jon and Rapanotti, Lucia
(2010).
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) |
Research Group: | Centre for Research in Computing (CRC) |
Related URLs: | |
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: | ![]() ![]() ![]() ![]() |