The Completeness problem in LESD
Antoni Tuells, Núria Castell Ariño · RECERCAT (Consorci de Serveis Universitaris de Catalunya) · 1993
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.