Copy the page URI to the clipboard
Li, Zhi; Hall, Jon and Rapanotti, Lucia
(2010).
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.
Viewing alternatives
Item Actions
Export
About
- Item ORO ID
- 29993
- Item Type
- Conference or Workshop Item
- Extra Information
- Paper published in ICPES 2010 Conference proceedings, pp. 252-274
- 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
- © IEEE Computer Society Press
- Related URLs
- Depositing User
- Lucia Rapanotti