It is often claimed that the contra

It is often claimed that the contracts of a system is de-facto a crosscutting concern
that can be better modularized by the use of aspect-orientation (AO)Recent studies have shown that object-oriented (OO) abstractions are not able to modularize the main features of design by contract methodology, such as invariants and pre- and postconditions, and tend to lead to programs with poor modularity (scattered and tangled DbC code).

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

มันก็มักจะอ้างว่าสัญญาของระบบพฤตินัยกังวลตัดตามขวาง
ที่สามารถจะดีกว่าแบบโมดูลโดยการใช้ด้านปฐมนิเทศ (AO) การศึกษาล่าสุดแสดงให้เห็นว่าเชิงวัตถุ (OO) abstractions ไม่สามารถที่จะ modularize คุณสมบัติหลักของการออกแบบโดยวิธีการทำสัญญาดังกล่าวเป็นค่าคงที่และก่อนและ postconditions และมีแนวโน้มที่จะนำไปสู่โปรแกรมที่มีต้นแบบที่ไม่ดี (กระจัดกระจายและอีนุงตุงนังรหัส DbC)

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

มันก็มักจะอ้างว่าสัญญาของระบบโดยพฤตินัยเป็นโค่นกังวล
ที่สามารถจะดีกว่า modularized โดยใช้แนวกว้าง ( อ่าว ) การศึกษาล่าสุดแสดงให้เห็นว่าเชิงวัตถุ ( OO ) นามธรรมไม่สามารถที่จะ modularize คุณสมบัติหลักของการออกแบบโดยวิธีการของสัญญา เช่น ผลยืนยงและ pre - postconditions และ ,และมีแนวโน้มที่จะนำโปรแกรมต้นแบบที่ไม่ดี ( กระจัดกระจายยุ่งเหยิงรหัส DBC )