(1) Une spécification écrite et approuvée conformément à l'établi standards.~(2) une spécification écrite dans une notation formelle, souvent pour une utilisation en preuve de la décision correcte.