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 Dec 2010, Beijing.

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

You can export this page using these formats

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
• • http://www.iiec-association.org/icpes201...(Other)
• Depositing User
• Lucia Rapanotti