his approach works relatively well

his approach works relatively well when the specification consists of examples (as opposed to a formal relational specification) since checking the correctness of a candidate solution against examples can be done much faster than validating the correctness against a formal relational specification.

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

วิธีการของเขาทำงานค่อนข้างดีเมื่อข้อมูลจำเพาะของตัวอย่าง (ตรงข้ามกับข้อมูลจำเพาะทางเชิง) ตั้งแต่การตรวจสอบความถูกต้องของผู้แก้ปัญหาจากตัวอย่างสามารถทำได้มากได้เร็วกว่าการตรวจสอบความถูกต้องกับข้อมูลจำเพาะสัมพันธ์อย่างเป็นทางการ

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

วิธีการของเขาทำงานได้ค่อนข้างดีเมื่อเปคประกอบด้วยตัวอย่าง (เมื่อเทียบกับข้อกำหนดสัมพันธ์อย่างเป็นทางการ) การตรวจสอบความถูกต้องตั้งแต่ของการแก้ปัญหาผู้สมัครกับตัวอย่างที่สามารถทำได้เร็วกว่าการตรวจสอบความถูกต้องกับข้อกำหนดสัมพันธ์อย่างเป็นทางการ

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

วิธีการของเขาทำงานได้ค่อนข้างดีเมื่อกำหนดประกอบด้วยตัวอย่าง ( ตรงข้ามกับโรงเรียนสัมพันธ์สเปค ) ตั้งแต่การตรวจสอบความถูกต้องของการแก้ปัญหา ผู้สมัครจากตัวอย่างสามารถทำได้เร็วกว่าการตรวจสอบความถูกต้องกับทางสัมพันธ์สเปค