โปรแกรมตาม contractpp.sf.net

การเขียนโปรแกรมสัญญา C++ (การออกแบบตามสัญญา) คุณลักษณะทั้งหมดของไอเฟลที่ได้รับการสนับสนุน: การคอมไพล์สัญญาเพิ่มเติม การกระทําที่ปรับแต่งได้เมื่อล้มเหลว การว่าจ้างผู้รับเหมารายย่อย; การดู ค่าเก่าและค่าผลลัพธ์ บล็อก invariants