تصميم بالعقود
التصميم بالعقود  هي طريقة في إدارة المشاريع البرمجية حيث يقوم الفريق البرمجي بوضع الأطر العامة والصورة الكبيرة لما يجب أن يحدث أو يتم في كل جزء برمجي، مع ترك طريقة تنفيذ تلك المهمة للمبرمج. للمثال على ذلك، يعرف أن المكابح في السيارة تعمل على إيقافها (هذا الاتفاق)، لكن الشركات المختلفة تستخدم طرقًا مختلفة في الكيفية التي تصمم بها عمل المكابح. في البرمجة يتفق المبرمجون على عمل الكائنات الوظائف بشكل عام وماذا يجب أن تكون نتيجتها، ويتركون كيفية العمل لكل شخص في فعل ما يراه مناسبًا دون أن يغير في ما اتفق عليه.

الأدوات البرمجية 
تستخدم عدد من الوسائل المتوفرة في البيئات البرمجة واللغات البرمجية المختلفة. فمثلا تستخدم سي وسي++ فكرة الملفات الرأسية، وتستخدم لغات برمجية أخرى فكرة الواجهات.

مراجع 

أنماط برمجة
تصميم البرمجيات
طرق شكلية
التصميم بالعقود هي طريقة في إدارة المشاريع البرمجية حيث يقوم الفريق البرمجي ب وضع الأطر العامة و الصورة الكبيرة ل ما يجب أن يحدث أو يتم في كل جزء برمجي ، مع ترك طريقة تنفيذ تلك المهمة للمبرمج . للمثال على ذلك ، يعرف أن المكابح في السيارة تعمل على إيقاف ها ( هذا الاتفاق ) ، لكن الشركات المختلفة تستخدم طرقًا مختلفة في الكيفية التي تصمم ب ها عمل المكابح . في البرمجة يتفق المبرمجون على عمل الكائنات الوظائف ب شكل عام و ماذا يجب أن تكون نتيجة ها ، ويتركون كيفية العمل ل كل شخص في فعل ما يرى ه مناسبًا دون أن يغير في ما اتفق علي ه . الأدوات البرمجية تستخدم عدد من الوسائل المتوفرة في البيئات البرمجة واللغات البرمجية المختلفة . فمثلا تستخدم سي و سي + + فكرة الملفات الرأسية ، و تستخدم لغات برمجية أخرى فكرة الواجهات . مراجع أنماط برمجة تصميم البرمجيات طرق ش كلية