Carregant...
Carregant...

Vés al contingut (premeu Retorn)

The Completeness problem in LESD

Autor
Tuells, A.; Castell, N.
Tipus d'activitat
Document cientificotècnic
Data
1993-12
Codi
LSI-93-51-R
Repositori
http://hdl.handle.net/2117/97253 Obrir en finestra nova
Resum
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.
Citació
Tuells, A., Castell, N. "The Completeness problem in LESD". 1993.
Paraules clau
Completeness, Lesd Project, Aerospace Software Specifications
Grup de recerca
GPLN - Grup de Processament del Llenguatge Natural
IDEAI-UPC Intelligent Data Science and Artificial Intelligence
TALP - Centre de Tecnologies i Aplicacions del Llenguatge i la Parla

Participants

Arxius