Software Development Videos and Tutorials: Java, .NET, Ruby, Python, JavaScript, Agile, Software Testing
 
Tag: <span>.net</span>

Spec#

Spec# is an experimental programming system that seeks to push the envelope in specification and verification technology. The system includes the .NET object-oriented programming language Spec#, which is a superset of the C# language, adding type features like non-null types and contract features like pre- and postconditions and object invariants. …