The Completeness problem in LESD

All of RECERCAT

To access the full text documents, please follow this link: http://hdl.handle.net/2117/97253

Title:	The Completeness problem in LESD
Author:	Tuells, Antoni; Castell Ariño, Núria
Other authors:	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.
Subject(s):	-Completeness -LESD project -Aerospace software specifications
Rights:
Document type:	Article - Published version Report
Share: