In introducing these changes to inf

In introducing these changes to information and operations, the designer must show that the refined description is
a legal one within its language (internal consistency) and that it describes all of the
specified behavior of the high-level description (completeness) in a provably correct
way (relative consistency).

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

ในการแนะนำการเปลี่ยนแปลงเหล่านี้กับข้อมูลและการดำเนินงานของนักออกแบบจะต้องแสดงให้เห็นว่าคำอธิบายของการกลั่นเป็นอรรถเป็นหนึ่งในกฎหมายภายในของภาษา (ความมั่นคงภายใน) และมันอธิบายทั้งหมดของพฤติกรรมที่ระบุไว้
จากคำอธิบายของระดับสูง (สมบูรณ์) ใน สรรพสิ่ง
วิธีที่ถูกต้อง (สอดคล้องญาติ)

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

ในการแนะนำการเปลี่ยนแปลงเหล่านี้ให้ข้อมูลและการดำเนินงาน แบบต้องแสดงว่า คำอธิบาย refined
หนึ่งกฎหมายภายในของภาษา (ความสอดคล้องภายใน) และการที่จะอธิบายทั้งหมด
specified ลักษณะของรายละเอียดพื้นฐาน (สมบูรณ์) ใน provably ถูกต้อง
วิธี (ความสัมพันธ์)

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

ในการแนะนำการเปลี่ยนแปลงเหล่านี้กับการทำงานและข้อมูลจากนักออกแบบที่จะต้องแสดงให้เห็นว่ารายละเอียด refined ที่มี
หนึ่งตามกฎหมายที่อยู่ใน ภาษา ของ(ความสอดคล้องกัน ภายใน )และจะอธิบายถึงลักษณะการทำงาน
specified ของคำอธิบายระดับสูง(ความสมบูรณ์)ในทางที่ถูกต้อง provably
ที่(ความสอดคล้องสัมพันธ์)ทั้งหมด