(1) Uma especificação escrita e aprovada em conformidade com o estabelecido standards.~(2) uma especificação escrita em uma notação formal, muitas vezes para uso na prova da correção.