Linked by Thom Holwerda on Mon 18th Jul 2005 17:07 UTC, submitted by haysmz
General Development The Spec# programming system is a new attempt at a more cost effective way to develop and maintain high-quality software. Spec# is an extension of the object-oriented language C#. It extends the type system to include non-null types and checked exceptions. It provides method contracts in the form of pre- and postconditions as well as object invariants.
Share this story

Your Name:

Your Email:

Your Friend's Email:

Please confirm the image:
Captcha