Lecture overview -- Keyboard shortcut: 'u'  Previous page: DBC and Programming Languages  -- Keyboard shortcut: 'p'  Next page: Loop Invariants [Section] -- Keyboard shortcut: 'n'  Lecture notes - all slides together  Annotated slide -- Keyboard shortcut: 't'  Alphabetic index  Help page about these notes  Course home    Contracts and Assertions - slide 30 : 32

Code Contracts in C# 4.0

Code contracts in C# 4.0 is modelled after DBCTM in Eiffel

In addition, contract concepts are inspired from MS Spec#

Code contracts in C# is an afterthought - in contrast to Eiffel DBC which is a forethought