Expert to Expert: Contract Oriented Programming and Spec#
Update: 2010-09-17
Description
The Spec# programming system is a new attempt at a more cost effective way to develop and maintain high-quality software. Spec# is pronounced "Spec sharp" and can be written (and searched for) as the "specsharp" or "Spec# programming system". The Spec# system consists of:The Spec# programmi.
Comments
In Channel




