Back تصميم بالعقود Arabic Návrh podle kontraktu Czech Kontraktbaseret programmering Danish Design by contract English Perkontrakta programado Esperanto Diseño por contrato Spanish Sopimuspohjainen ohjelmointi Finnish Programmation par contrat French חוזה (תכנות) HE Szerződésalapú programozás Hungarian
Design by contract (kurz DbC, englisch für Entwurf gemäß Vertrag) oder Programming by Contract (‚Vertragsbasierte Programmierung‘) ist ein Konzept aus dem Bereich der Softwareentwicklung. Ziel ist das reibungslose Zusammenspiel einzelner Programmmodule durch die Definition formaler Verträge zur Verwendung von Schnittstellen, die über deren statische Definition hinausgehen. Entwickelt und eingeführt wurde es von Bertrand Meyer mit der Entwicklung der Programmiersprache Eiffel.