Sous-Spécification

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Condition dans laquelle une spécification (formelle ou informelle) omet des contraintes sur des aspects essentiels du comportement attendu, laissant la place à de multiples interprétations ou implémentations non souhaitées.