, which establishes tailored abstra

, which establishes tailored abstrac-
tion levels on demand, which may be refined by adding new
letters in the course of the systems evolution. This way
ACQC does not only allow us to reveal serious bugs sim-
ply by inspecting difference views of the (tailored) models,
but also to visually follow and control the effects of (in-
tended) changes, which complements our model-checking-
based quality control.

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

ซึ่งสร้างเหมือน abstrac -สเตรชันระดับความต้องการ ซึ่งอาจเป็น refined โดยการเพิ่มใหม่ตัวอักษรในหลักสูตรของการวิวัฒนาการระบบ วิธีนี้ACQC ไม่เพียงช่วยให้เราสามารถเปิดเผยข้อบกพร่องร้ายแรงซิม-ชั้น โดยการตรวจสอบมุมมอง difference ของรูปแบบ (โทน)แต่ยังต้องติดตาม และควบคุม effects (ใน-มีแนวโน้ม) เปลี่ยนแปลง การเสริมรุ่นของเรา-ตรวจสอบ -การควบคุมคุณภาพ

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

ซึ่งกำหนดที่เหมาะ abstrac-
ระดับการตามความต้องการซึ่งอาจจะเป็นอีกครั้งที่กำหนดไว้โดยการเพิ่มใหม่
ตัวอักษรในหลักสูตรของการวิวัฒนาการของระบบ วิธีนี้
ACQC ไม่เพียง แต่ช่วยให้เราสามารถแสดงให้เห็นข้อบกพร่องร้ายแรงซิม
เร่โดยการตรวจสอบ di FF มุมมองการตั้งของ (เหมาะ) รุ่น
แต่ยังมองเห็นการปฏิบัติตามและควบคุม ECTS จฉฉของ (in-
มีแนวโน้ม) การเปลี่ยนแปลงซึ่งเติมเต็มรูปแบบ checking- ของเรา
การควบคุมคุณภาพตาม

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

ซึ่งสร้างขึ้น abstrac -
, ระดับตามความต้องการ ซึ่งอาจจะโดยการเพิ่มตัวอักษรใหม่อีกครั้งจึงเน็ด
ในหลักสูตรของระบบวิวัฒนาการ วิธีนี้
acqc ไม่เพียง แต่ช่วยให้เราเปิดเผยข้อบกพร่องร้ายแรงซิม -
เพียงโดยการตรวจสอบไดff erence มุมมองของ ( นอ ) รุ่น
แต่ยังน่าติดตามและควบคุมผลของff E ( -
) ) การเปลี่ยนแปลงซึ่งทำให้รูปแบบการตรวจสอบของเรา -
การควบคุมคุณภาพ

จาก