By Topic

Organizing knowledge to support requirements analysis

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Mat, A.R. ; Dept. of Comput. & Inf. Sci., Hosei Univ., Koganei, Japan ; Shaoying Liu

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.

Published in:

Computer Research and Development (ICCRD), 2011 3rd International Conference on  (Volume:4 )

Date of Conference:

11-13 March 2011