As you might have seen from a previous post I'm pretty excided on Spec# from Microsoft Research, so when my collegue Søren returned from PDC and he told me that Spec# would replaced by Code Contracts I felt kind of disappointed. However, having...
I'm a huge fan of Domain Driven Design (DDD) (links here , here and here ) and this post is the first in many, all about enforcing your domain model using Spec# . So What Is Spec#? Spec# is a super set of C# 2.0 (no, unfortunately not 3.0 yet). This means...