Monday, November 17, 2008 12:19 AM lasseeskildsen

Spec# To Be Replaced By Code Contracts?

ms_masthead_ltrAs 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 looked briefly at Code Contracts I must admit that it looks pretty cool. It is especially worth noticing that Code Contract seems to be working well with Pex. How cool would it be to be able to test your domain model with Pex! Because of this, the next articles on Spec# is put on hold, but will eventually continue as either Code Contracts or Spec# posts (actually hoping it's going to be Code Contracts).

I haven't been able to find more on this anywhere, so please do not just take my word for it. However, a couple of team members are both on the Spec# and the Code Contracts team. Feel free to drop a comment if you have more info on this!

Filed under: , ,

Comments

# re: Spec# To Be Replaced By Code Contracts?

Monday, July 25, 2011 11:24 PM by burberry bags outlet online

you mean you don't need a special tool? That's refreshing! Thanks!<a href="www.burberrybagsoutletonline.com/" title="burberry bags outlet online">burberry bags outlet online</a>

# re: Spec# To Be Replaced By Code Contracts?

Tuesday, August 02, 2011 10:41 PM by mens leather belts

Youve got style, class, bravado.  I mean it.  Please keep it up because without the internet is definitely lacking in intelligence.<a href="www.mens-leatherbelts.com/" title="mens leather belts">mens leather belts</a>

# re: Spec# To Be Replaced By Code Contracts?

Sunday, August 07, 2011 10:44 PM by fashion bags

I am happy to have found this blog, and more happy to have long tail explained so well. Thanks.<a href="www.fashion-bags-store.com/" title="fashion bags">fashion bags</a>

# re: Spec# To Be Replaced By Code Contracts?

Wednesday, August 10, 2011 10:18 PM by cheap Chanel bags

Well, I love to leave this comment and share with you about this. Thanks.

# re: Spec# To Be Replaced By Code Contracts?

Thursday, August 11, 2011 9:25 PM by Louis Vuitton outlet

Always worth visiting your blog to read your cool posts. Keep them coming.<a href="www.cheap-louisvuittonoutlet.com/" title="Louis Vuitton outlet">Louis Vuitton outlet</a>

# re: Spec# To Be Replaced By Code Contracts?

Thursday, August 11, 2011 9:52 PM by Louis Vuitton bags oulet

One of the most useful websites I have found during my research, thanks a lot!<a href="www.cheaperlouisvuittonbagsoutlet.com/" title="Louis Vuitton bags oulet">Louis Vuitton bags oulet</a>

# re: Spec# To Be Replaced By Code Contracts?

Sunday, August 14, 2011 9:59 PM by Belstaff Jackets

I will forward this article to him. Pretty sure he will have a good read. Thanks for sharing!<a href="www.buybelstaffit.com/" title="Belstaff Jackets">Belstaff Jackets</a>

# re: Spec# To Be Replaced By Code Contracts?

Wednesday, August 17, 2011 8:01 PM by Cheap Supra Footwear

Easy option to get useful information as well as share good stuff with good ideas and concepts.<a href="www.supratksocietyblue.com/" title="Cheap Supra Footwear">Cheap Supra Footwear</a>

# re: Spec# To Be Replaced By Code Contracts?

Friday, August 19, 2011 10:28 PM by Oakley Sunglasses Outlet

<a href=www.oakleysunglasscheap.org >Oakley Sunglasses Outlet </a>

Great collection! My personal favorites are Teva and Converse. They look great

# re: Spec# To Be Replaced By Code Contracts?

Saturday, August 20, 2011 2:32 AM by Nike Shox cheap

This website has got lots of extremely helpful info on it. Thanks for helping me.<a href="www.nikeshoxcheapsale.com/" title="Nike Shox cheap">Nike Shox cheap</a>

# re: Spec# To Be Replaced By Code Contracts?

Wednesday, August 31, 2011 3:59 AM by Cheap Abercrombie and Fitch

I never thought of this angle regarding this subject. Great post. I will bookmark it straightaway.

# re: Spec# To Be Replaced By Code Contracts?

Sunday, September 04, 2011 9:26 PM by Shox pas cher

Only One word to characterize such a great post “WOW”

# re: Spec# To Be Replaced By Code Contracts?

Sunday, September 04, 2011 11:53 PM by designer bags

The theme is really attractive. Congratulations to the author of the blog!

Leave a Comment

(required) 
(required) 
(optional)
(required)