The correspondences betweenobjects

The correspondences between
objects in the information specification and objects
in the computational specification are specified in
each case so that consistency between
the specifications can be assured.

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

correspondences ระหว่าง
วัตถุในสเปคข้อมูลและวัตถุ
ในสเปคการคำนวณที่ระบุไว้ใน
แต่ละกรณีเพื่อให้สอดคล้องระหว่าง
ข้อกำหนดสามารถมั่นใจได้

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

ในจดหมายระหว่าง
วัตถุในรายละเอียดข้อมูลและวัตถุ
ในสเปคคอมพิวเตอร์ที่ระบุไว้ในแต่ละกรณี ดังนั้นความสอดคล้องระหว่าง

รายละเอียดสามารถมั่นใจได้ .