(1) Специфікації написав та затверджений згідно з створена standards.~(2) специфікації, написаний формального нотації, часто для використання у доведення коректності.