Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/97253
Título:
|
The Completeness problem in LESD
|
Autor/a:
|
Tuells, Antoni; Castell Ariño, Núria
|
Otros autores:
|
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Universitat Politècnica de Catalunya. GPLN - Grup de Processament del Llenguatge Natural |
Abstract:
|
This report presents an explanation, a classification and some solutions to the completeness problem in the LESD project. The aim of this project is to develop a set of software tools able to help users to write good quality aerospace software specifications. Completeness is one of the quality standards (together with consistency and verifiability) we are dealing with at present in LESD. |
Materia(s):
|
-Completeness -LESD project -Aerospace software specifications |
Derechos:
|
|
Tipo de documento:
|
Artículo - Versión publicada Informe |
Compartir:
|
|
Mostrar el registro completo del ítem