Formal Specifications are models. A

Formal Specifications are models. As with all models, it is necessary to decide what should be included and what can be left out.
Level of detail
Assume given sets:
Copy, Book, Reader
Global constant:
maxloans

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

ข้อกำหนดที่เป็นทางเป็นแบบ มีทุกรุ่น จึงจำเป็นต้องตัดสินใจอะไรควรจะรวมและสิ่งที่สามารถปล่อยออกมาระดับของรายละเอียดสมมติให้ชุด: ถ่ายเอกสาร หนังสือ อ่านค่าคงสากล: maxloans

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

ข้อมูลจำเพาะอย่างเป็นทางการมีรูปแบบ เช่นเดียวกับทุกรูปแบบก็เป็นสิ่งจำเป็นที่จะตัดสินใจว่าควรจะรวมและสิ่งที่สามารถปล่อยออกมา.
ระดับรายละเอียด
สมมติชุดได้รับ:
คัดลอกหนังสือ, เครื่องอ่าน
อย่างต่อเนื่องทั่วโลก:
maxloans

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

กำหนดอย่างเป็นทางการเป็นนางแบบ เป็นกับทุกรุ่น จะต้องตัดสินใจว่าควรจะรวมและสิ่งที่สามารถทิ้งระดับของรายละเอียดสมมติให้ชุด :คัดลอก , หนังสือ , อ่านค่าคงที่สากล :maxloans