The Use of SAREL to control the correspondence between specification documents
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/84033
Tipus de documentReport de recerca
Data publicació1998-02
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
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.
CitacióCastell, N., Hernandez, M. "The Use of SAREL to control the correspondence between specification documents". 1998.
Forma partLSI-98-8-R
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
caepia.pdf | 131,3Kb | Visualitza/Obre |