Organizing Knowledge to Support Requirements Analysis
Capturing requirements in order to produce a complete and accurate specification for developing a software systems requires a deep understanding of domain knowledge. It becomes more difficult if the system analyst is dealing with a large-scale system specification without specific guidance. At the same time the system analyst is expected to be an expert in the formal language used for the presentation of the specification. One possible solution is to develop a tool embedded with knowledge, which should be able to support the system analyst with both domain knowledge and formal language. However, if various knowledge is included in the tool, it creates problems for organization. In this paper, we describe and discuss how we organize knowledge so that it is well represented to allow a system analyst to easily access, search and backtracking. We organize the knowledge using a hierarchical structure and apply the SOFL approach to support the process of constructing specifications. Our aim is to develop a knowledge-based supporting tool to help system analysts in constructing formal specifications.
SOFL formal engineering method knowledge base brain tumor treatment
A.Rahman Mat Shaoying Liu
Dept. of Computer and Information Sciences Hosei University,Koganei Campus Tokyo,Japan
国际会议
上海
英文
65-71
2011-03-11（万方平台首次上网日期，不代表论文的发表时间）