What Is a Design by Contract®?