This report presents a SAREL system and it is compared with several systems focused on the quality of the specification phase in software development process. The main goal of SAREL system is to assist engineers in the creation of software specifications written in natural language. The assistance process takes into account the writing norms and the main quality properties
A formal software specification expresses in a mathematically correct way what requirements the soft...
The derivation of a specification document that is understandable, precise and unambiguous is indisp...
We describe our ongoing research that centres on the application of natural language processing (NLP...
This paper aims to describe an extension of the SAREL system (Assistance System for Writing Software...
. This paper aims to describe an extension of the SAREL system (Assistance System for Writing Softwa...
The software quality control is one of the main topics in the Software Engineering area. To put th...
The specification phase is one of the most important and least supported parts of the software devel...
The engineering of a software system depends crucially upon the requirements specification of the sy...
Vita.It is widely recognized that a specification of a system's intended action is required before t...
Abstract: Despite the similarity with other engineering disciplines, the development process of info...
Abstract: In the area of software engineering there have been very few efforts to automate the trans...
The growing complexity of computer systems, together with the rapid evolution of hardware, has creat...
A system requirements specification is a technical document extensively used during the respective s...
Natural language software tools may have an important role in making requirements specifications mor...
Abstract. Software requirements engineering is an essential activity for the successful development ...
A formal software specification expresses in a mathematically correct way what requirements the soft...
The derivation of a specification document that is understandable, precise and unambiguous is indisp...
We describe our ongoing research that centres on the application of natural language processing (NLP...
This paper aims to describe an extension of the SAREL system (Assistance System for Writing Software...
. This paper aims to describe an extension of the SAREL system (Assistance System for Writing Softwa...
The software quality control is one of the main topics in the Software Engineering area. To put th...
The specification phase is one of the most important and least supported parts of the software devel...
The engineering of a software system depends crucially upon the requirements specification of the sy...
Vita.It is widely recognized that a specification of a system's intended action is required before t...
Abstract: Despite the similarity with other engineering disciplines, the development process of info...
Abstract: In the area of software engineering there have been very few efforts to automate the trans...
The growing complexity of computer systems, together with the rapid evolution of hardware, has creat...
A system requirements specification is a technical document extensively used during the respective s...
Natural language software tools may have an important role in making requirements specifications mor...
Abstract. Software requirements engineering is an essential activity for the successful development ...
A formal software specification expresses in a mathematically correct way what requirements the soft...
The derivation of a specification document that is understandable, precise and unambiguous is indisp...
We describe our ongoing research that centres on the application of natural language processing (NLP...