Applying this principle inside one program is called contract-based design.
ويُسمى تطبيق هذا المبدأ داخل أحد البرامج التصميم القائم على العقد.