Code Contracts Episodes


# 175
5/19/2010
Level: Intermediate
Tags: Dot Net Code Contracts
Comments: (1)
Views: (8957)
Watched: (2319)
Downloads: (2982)
Author:
Derik Whittaker


Code Contracts: Learning to use Interface Contracts
n this episode we are going to take a look at how to utilize some additional features in the Code Contracts library to validate the state of our application.

We are going to focus this episode on the feature of adding contracts to interfaces via buddy classes. This is a powerful feature as it allows us to inherit our contracts from interfaces.
Check out other Episdoes on Contracts here
Click here to Watch this Episode

Download (21.20 MB) (12:36) (1440x900)
Download (14.79 MB) (12:36) (960x600)
# 123
7/2/2009
Level: Intermediate
Tags: Dot Net Code Contracts
Comments: (0)
Views: (8680)
Watched: (1459)
Downloads: (2877)
Author:
Derik Whittaker
 
Presented By:
Codebetter.com


Exploring Code Contracts: Taking a look at Object Invariant Conditions
In this episode we are going to take a look at the new Code Contracts library which is out of MS Research and will be part of .Net 4.0/Vs2010.

Contracts allow for many different ways to perform language agnostic code validation and in this episode we are going to focus on how to utilize the Object Invariant checking to maintain an objects state.
Click here to Watch this Episode

Download (19.24 MB) (11:20) (1440x900)
Download (12.80 MB) (11:20) (960x600)
# 118
6/16/2009
Level: Intermediate
Tags: Dot Net Code Contracts
Comments: (0)
Views: (9329)
Watched: (1503)
Downloads: (3047)
Author:
Derik Whittaker


Exploring Code Contracts: Taking a look at Pre/Post Conditions
In this episode we are going to take a look at the new Code Contracts library which is out of MS Research and will be part of .Net 4.0/Vs2010.

Contracts allow for many different ways to perform language agnostic code validation and in this episode we are going to focus on how to setup pre and post condition validation.
Click here to Watch this Episode

Download (18.28 MB) (11:43) (1440x900)
Download (12.07 MB) (11:43) (960x600)