SRA tool: SOFL-based requirements analysis tool

Abstract

Capturing requirements in order to produce a complete and accurate specification for developing 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 on how to construct a specification. At the same time the system analyst is expected to be an expert in the formal language used for the presentation of the specification. Therefore, constructing requirement specification has become a big challenge to the system analyst. In this paper, we present a tool suite for guiding a system analyst in constructing the specification. This tool manipulates the knowledge to guide a system analyst at the requirements analysis stage. The guiding process requires two steps: informal and semi-formal steps. It was indicated that our approach did facilitate guiding the process of constructing the specification during the requirements analysis. © 2013 Springer-Verlag.