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 qu...
Writing specifications for computer programs is not easy since one has to take into account the disp...
The growing complexity of computer systems, together with the rapid evolution of hardware, has creat...
Abstract. Software requirements engineering is an essential activity for the successful development ...
. This paper aims to describe an extension of the SAREL system (Assistance System for Writing Softwa...
This report presents a SAREL system and it is compared with several systems focused on the quality o...
The software quality control is one of the main topics in the Software Engineering area. To put the...
The specification phase is one of the most important and least supported parts of the software devel...
Abstract: In the area of software engineering there have been very few efforts to automate the trans...
Before a system can be formally defined, it is common to write a specification in a natural language...
Vita.It is widely recognized that a specification of a system's intended action is required before t...
A formal software specification expresses in a mathematically correct way what requirements the soft...
Abstract: Despite the similarity with other engineering disciplines, the development process of info...
Natural language software tools may have an important role in making requirements specifications mor...
Writing specifications for computer programs is not easy since one has to take into account the disp...
The engineering of a software system depends crucially upon the requirements specification of the sy...
Writing specifications for computer programs is not easy since one has to take into account the disp...
The growing complexity of computer systems, together with the rapid evolution of hardware, has creat...
Abstract. Software requirements engineering is an essential activity for the successful development ...
. This paper aims to describe an extension of the SAREL system (Assistance System for Writing Softwa...
This report presents a SAREL system and it is compared with several systems focused on the quality o...
The software quality control is one of the main topics in the Software Engineering area. To put the...
The specification phase is one of the most important and least supported parts of the software devel...
Abstract: In the area of software engineering there have been very few efforts to automate the trans...
Before a system can be formally defined, it is common to write a specification in a natural language...
Vita.It is widely recognized that a specification of a system's intended action is required before t...
A formal software specification expresses in a mathematically correct way what requirements the soft...
Abstract: Despite the similarity with other engineering disciplines, the development process of info...
Natural language software tools may have an important role in making requirements specifications mor...
Writing specifications for computer programs is not easy since one has to take into account the disp...
The engineering of a software system depends crucially upon the requirements specification of the sy...
Writing specifications for computer programs is not easy since one has to take into account the disp...
The growing complexity of computer systems, together with the rapid evolution of hardware, has creat...
Abstract. Software requirements engineering is an essential activity for the successful development ...