A state in which two or more overla

A state in which two or more overlapping elements of different software models make
assertions about aspects of the system they describe which are not jointly atisfiable

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

สิ่งที่สองทับซ้อนกันองค์ประกอบของแบบจำลองซอฟต์แวร์อื่นทำ assertions เกี่ยวกับแง่มุมของระบบจะอธิบายที่ยังไม่ร่วม atisfiable

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

รัฐในการที่สองหรือมากกว่าองค์ประกอบที่ทับซ้อนกันของรูปแบบซอฟแวร์ที่แตกต่างกันทำให้การ
ยืนยันเกี่ยวกับลักษณะของระบบที่พวกเขาอธิบายที่ไม่ได้ร่วมกัน atisfiable

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

ในสถานะซึ่งสองคนหรือมากกว่าองค์ประกอบของโมเดลที่แตกต่างกันให้ซ้อนซอฟต์แวร์
ยืนยันเกี่ยวกับแง่มุมของระบบ พวกเขาอธิบายที่ไม่ได้ร่วม atisfiable