Design by contract

تحويل تصميم بالعقود