A formal specification often relies

A formal specification often relies on input-output relations to prescribe expected services and behaviours.

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

สเปคอย่างเป็นทางการมักจะอาศัยความสัมพันธ์ของท่านผลผลิตกำหนดบริการที่คาดหวังและพฤติกรรม

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

ข้อมูลจำเพาะทางมักจะอาศัยความสัมพันธ์รับเข้ากำหนดบริการที่คาดหวังและพฤติกรรม

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

ข้อมูลจำเพาะอย่างเป็นทางการซึ่งจะขึ้นอยู่กับความสัมพันธ์ระหว่างอินพุต - เอาต์พุตเพื่อกำหนดลักษณะการทำงานและบริการคาดว่า