(1) Đặc điểm kỹ thuật một người viết và được chấp thuận theo thành lập standards.~(2) một đặc tả viết bằng một ký hiệu chính thức, thường để sử dụng trong chứng minh tính đúng đắn.