Chương trình theo contractpp.sf.net

Lập trình hợp đồng C++ (còn gọi là Thiết kế theo hợp đồng). Tất cả các tính năng của Eiffel được hỗ trợ: Biên soạn hợp đồng tùy chọn; Hành động có thể tùy chỉnh khi thất bại; Hợp đồng phụ; Giá trị cũ và kết quả; Chặn bất biến