[Huff] (See: Affirm, Gypsy, HDM, In

[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:

[Huff] (ดู: รับรอง ยิปซี HDM อินะโจ.) (ดู: อย่างเป็นทางการ)
สอน: สเปคเป็นทางสามารถเขียนทุกระดับของ
รายละเอียดแต่โดยปกติจะเป็นข้อกำหนดระดับสูงสุดได้

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

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

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

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

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