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 satisfiable[Spanoudakis&Zisman 2001].

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

รัฐในการที่สองหรือที่ทับซ้อนกันมากขึ้นองค์ประกอบของรูปแบบที่แตกต่างกันทำให้ซอฟต์แวร์ยืนยันเกี่ยวกับด้านของระบบที่พวกเขาอธิบายที่ไม่พอใจร่วมกัน [spanoudakis & zisman 2001]

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

สิ่งที่องค์ทับซ้อนกันอย่าง น้อยสองรุ่นแตกต่างกันซอฟต์แวร์ทำ assertions เกี่ยวกับแง่มุมของระบบจะอธิบายซึ่งไม่ได้ร่วม satisfiable [Spanoudakis&Zisman 2001]

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

ซึ่งสองหรือมากกว่าส่วนทับซ้อนกันของรุ่นซอฟท์แวร์ที่ต่างกันทำให้ความคืบหน้ามากเกี่ยวกับเรื่องของระบบที่อธิบายถึงซึ่งไม่ได้ร่วมกันเป็นที่น่าพอใจ[ spanoudakis&zisman 2001 ]