The main outcomes of our analysis i

The main outcomes of our analysis in favour of AO implementations of design by
contract concern were

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

ผลหลักการวิเคราะห์ของเราลงอ่าวใช้งานโดยการออกแบบสัญญาที่เกี่ยวข้องได้

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

ผลหลักของการวิเคราะห์ของเราในความโปรดปรานของการใช้งาน AO ของการออกแบบโดย
สัญญามีความกังวล

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

หลักผลของการวิเคราะห์ของเราในความโปรดปรานของอ่าวซึ่งออกแบบโดย
สัญญาเป็นกังวล