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 อินาโจ . ) ( ดู : อย่างเป็นทางการ ) กวดวิชา : สเปคอย่างเป็นทางการ สามารถเขียนได้ในระดับของรายละเอียดใด ๆแต่มักจะเป็นข้อมูลระดับบนสุด .