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,

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

แบบ(I) คำอธิบายที่ชัดเจนของพฤติกรรม (วัตถุประสงค์) ของระบบ มักจะเขียนในภาษาทางคณิตศาสตร์

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

สเปคอย่างเป็นทางการ
(I) คำอธิบายที่ถูกต้องของ (ตั้งใจ) การทำงานของระบบมักเขียนในภาษาคณิตศาสตร์

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

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