(1) Спецификация написана и одобрени в съответствие с установена standards.~(2) спецификация, написана на формална нотация, често за използване в доказателство на коректност.