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

About

Recommendations