I also want Spec#

I will copy Greg Young! I also want Spec#. If you also wants it, please let Microsoft know about it.

Something I like with Spec# is the support for Design by Contract.

I want verifiable software...

I WANT SPEC#!

 

 

Here is an old post about Defensive programming and Design by Contract on a routine level.

Published Tuesday, April 29, 2008 6:45 AM by Fredrik N

Comments

# re: I also want Spec#

Tuesday, April 29, 2008 9:23 AM by Luis Abreu

I do love the idea...I've been using the design by contract framework by  Kevin McFarlane and I can tell you that I enjoy its syntax: www.codeproject.com/.../designbycontract.aspx

in my opinion, this read really well and I'm not sure if adding more stuff to the C# language will make it better than using this framework...

# re: I also want Spec#

Saturday, May 03, 2008 7:26 PM by Greg Young

Luis the difference is that spec# has a compile time prover.

Instead of getting runtime exceptions when contracts are broke (although you can get them); you get compile time errors saying that you *may* break the contract...

The difference is huge.

Cheers,

Greg

# Wöchentliche Rundablage: ASP.NET MVC, Live Mesh, Silverlight, .NET… | Code-Inside Blog

Monday, May 05, 2008 4:26 PM by Wöchentliche Rundablage: ASP.NET MVC, Live Mesh, Silverlight, .NET… | Code-Inside Blog

Pingback from  Wöchentliche Rundablage: ASP.NET MVC, Live Mesh, Silverlight, .NET… | Code-Inside Blog

# Weekly Links: ASP.NET MVC, Live Mesh, Silverlight, .NET… | Code-Inside Blog International

Monday, May 05, 2008 4:26 PM by Weekly Links: ASP.NET MVC, Live Mesh, Silverlight, .NET… | Code-Inside Blog International

Pingback from  Weekly Links: ASP.NET MVC, Live Mesh, Silverlight, .NET… | Code-Inside Blog International

Leave a Comment

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