Contracts and Assertions - slide 30 : 32 |
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