posted by Thom Holwerda on Mon 18th Jul 2005 17:07 UTC, submitted by haysmz
IconThe 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.
e p (0)    22 Comment(s)