Lecture overview -- Keyboard shortcut: 'u'  Previous page: Design by Contract -- Keyboard shortcut: 'p'  Next page: Code Contracts in C# 4.0 -- Keyboard shortcut: 'n'  Lecture notes - all slides and notes together  slide -- Keyboard shortcut: 't'  Textbook -- Keyboard shortcut: 'v'  Help page about these notes  Alphabetic index  Course home  Page 29 : 32
Object-oriented Programming in C#
Contracts and Assertions
DBC and Programming Languages

Design by Contract is most strongly supported in the programming language Eiffel

Betrand Meyer - the creator of Eiffel - has coined and developed the concept of Design By Contract

  • Design by contract in other languages

    • Several implementations in Java

    • Three implementations in C#-like languages

    • Many others


Code contract and DBC is now supported in C# 4.0