This paper aims to describe an extension of the SAREL system (Assistance System for Writing Software Specification in Natural Language) whose main goal is to improve the specification phase. The initial purpose of SAREL was to assist engineers in the creation of software specification written in natural language. At present the functionality of the system is twofold: vertical processing and horizontal processing. In vertical processing the input is a software specification written in natural language and the output is the conceptual representation associated. In this case the system validates every requirement taking into account the writing norms and the quality properties. The conceptual representation can be used to check the software quality factors.
Working in horizontal processing the input is two different conceptual
representations and the output is the information about the correspondence between them.
CitationCastell, N., Hernandez, M. "The Use of SAREL to control the correspondence between specification documents". 1998.
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder. If you wish to make any use of the work not provided for in the law, please contact: email@example.com