Blog Moved to http://podwysocki.codebetter.com/

Blog Moved to http://podwysocki.codebetter.com/
posts - 277 , comments - 156 , trackbacks - 27

.NET 4.0

There are 1 entries for the tag .NET 4.0
.NET 3.5, Design by contract and Spec# Part 5
Update: the following updates: Part 6: Implementing a non-null string collection Part7: Spec# Wrapup Well, I thought I'd find some distraction from watching my Hokies losing to Kansas right now 14-17. Boo! Oh well, let's get back to our coverage of Spec#. Let's get caught up to where we are so far. Review each of these before we continue. Part 1: Spec# introduction Part 2: Method Contracts (Preconditions/Postconditions) Part 3: Invariants Part 4: Object Ownership/Assertions & Assumptions So, ......

Posted On Friday, January 4, 2008 1:12 AM | Comments (1) | Filed Under [ Spec# ]

Powered by: