formal specification(I) A precise d

formal specification
(I) A precise description of the (intended) behavior of a system,
usually written in a mathematical language, sometimes for the
purpose of supporting formal verification through a correctness
proof. [Huff] (See: Affirm, Gypsy, HDM, Ina Jo.) (See: formal.)
Tutorial: A formal specification can be written at any level of
detail but is usually a top-level specification.

ผลลัพธ์ (ไทย) 1:

คำอธิบายที่ละเอียดเป็น specification
(I) A (ตั้งใจ) ลักษณะของระบบ,
มักจะเขียนเป็นภาษาคณิตศาสตร์ บางครั้งสำหรับการ
วัตถุประสงค์ของการสนับสนุนทางการตรวจสอบถึงความถูกต้องเป็น
พิสูจน์ [Huff] (ดู: รับรอง ยิปซี HDM อินะโจ.) (ดู: อย่างเป็นทางการ)
สอน: สเปคเป็นทางสามารถเขียนทุกระดับของ
รายละเอียดแต่โดยปกติจะเป็นข้อกำหนดระดับสูงสุดได้

ผลลัพธ์ (ไทย) 2:

สเปคอย่างเป็นทางการ
(I) คำอธิบายที่แม่นยำของ (ตั้งใจ) การทำงานของระบบที่
มักจะเขียนในภาษาทางคณิตศาสตร์บางครั้งสำหรับ
วัตถุประสงค์ในการสนับสนุนการตรวจสอบอย่างเป็นทางการผ่านความถูกต้อง
พิสูจน์ [โกรธ] (ดู:. ยืนยันยิปซี, HDM, โจนา) (ดู: อย่างเป็นทางการ).
การสอน: สเปคอย่างเป็นทางการสามารถเขียนได้ในระดับของ
รายละเอียด แต่มักจะเป็นสเปคระดับบนสุด

ผลลัพธ์ (ไทย) 3:

ข้อกำหนดรูปนัย ( ฉัน ) รายละเอียดที่ชัดเจน ( ตั้งใจ ) พฤติกรรมของระบบ
มักจะเขียนในภาษาคณิตศาสตร์ บางครั้งเพื่อวัตถุประสงค์ของการสนับสนุนอย่างเป็นทางการ

ถึงความถูกต้องของหลักฐาน [ โกรธ ] ( ดู : ยืนยัน , ยิปซี , hdm อินาโจ . ) ( ดู : อย่างเป็นทางการ )
กวดวิชา : สเปคอย่างเป็นทางการ สามารถเขียนได้ในระดับของรายละเอียดใด ๆ แต่มัก

สเปคระดับสูง