(1) Un caiet de sarcini scrise și aprobat în conformitate cu stabilite standards.~(2) un caiet de sarcini scrise în o notaţie formale, adesea pentru utilizare în dovada de corectitudinea.