Li, Zhi; Hall, Jon and Rapanotti, Lucia
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.
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.
Actions (login may be required)