The Completeness problem in LESD
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/97253
Tipus de documentReport de recerca
Data publicació1993-12
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
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.
CitacióTuells, A., Castell, N. "The Completeness problem in LESD". 1993.
Forma partLSI-93-51-R
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
1400191489.pdf | 1,346Mb | Visualitza/Obre |