آموزش کد قابل ارائه

سرفصل ها و درس ها

حساب بدیع Predicate Calculus

• مقدمه Introduction

• پیش بینی ها و منطق سفارش اول Predicates and First Order Logic

• استنباط Inference

• القایی Induction

• بدیهیات Axioms

طراحی توسط قرارداد Design by Contract

• مقدمه Introduction

• حافظه پنهان و پرس و جو Cache and Query

• پیش شرط ها Preconditions

• از بین بردن پیش شرط ها Eliminating Preconditions

• شرایط پسین و عوام Postconditions and Invariants

• پیش شرط های سختگیرانه Strict Preconditions

• استحکام - قدرت Strength

• وراثت Inheritance

• درستی Correctness

• استنباط Inference

• خلاصه Summary

قراردادهای کد Code Contracts

• مقدمه Introduction

• مثال: لیست پیوند داده شده Example: Linked List

• پیش شرط های رضایت بخش Satisfying Preconditions

• عوام Invariants

• وقتی قرارداد کد خراب شد به ما کمک کنید Help When Code Contracts Fails

• وراثت Inheritance

• نتیجه Conclusion

الگوها Patterns

• مقدمه Introduction

• الگوی پارامتر Parameter Pattern

• مثال: الگوی پارامتر Example: Parameter Pattern

• الگوی تماس Callback Pattern

• مثال: الگوی برگشت تماس Example: Callback Pattern

• روشهای کارخانه Factory Methods

• مثال: روشهای کارخانه Example: Factory Methods

• الگوی سازنده Constructor Pattern

• مثال: سازنده Example: Constructor

• مثال: ترکیب الگوها Example: Combining Patterns

• بهبود API سوکت Socket API Improvement

• نتیجه Conclusion

درجه آزادی Degrees of Freedom

• مقدمه Introduction

• اچ Etch

• تعاریف Definitions

• مثال: لجر Example: Ledger

• اثبات درجات آزادی Proving Degrees of Freedom

• اتوبوس پیام Message Bus

• مثال: اتوبوس پیام Example: Message Bus

• پیگیری وابستگی Dependency Tracking

• مثال: پیگیری وابستگی Example: Dependency Tracking

• خلاصه Summary

تغییرناپذیری Immutability

• مقدمه Introduction

• بیانیه های انتساب Assignment Statements

• سازندگان (بازدید مجدد) Constructors (revisited)

• مسئولیت های کلاس Class Responsibilities

• دسته های ایالت و طبقات Categories of State and Classes

• مثال: دسته ها Example: Categories

• زنجیره های وابستگی Dependency Chains

• مثال: زنجیره وابستگی Example: Dependency Chain

• مثال: زنجیره وابستگی قابل تغییر Example: Mutable Dependency Chain

• نتیجه Conclusion