This post originated from an RSS feed registered with .NET Buzz
by Jeff Key.
Original Post: Tiny peek into the future#
Feed Title: Jeff Key
Feed URL: http://www.asp.net/err404.htm?aspxerrorpath=/jkey/Rss.aspx
Feed Description: Topics revolve around .NET and the Windows platform.
It's always fun to check out .NET-related goings-on at MSFT Research. A new (to me) project is Spec#:
The Spec# programming system is a new attempt at a more cost effective way to develop and maintain high-quality software. The system consists of:
A programming methodology, which includes a sound treatment of object invariants in object-oriented programs.
The Spec# programming language, which is a superset of C# and adds things like non-null types, checked exceptions, method contracts (like pre- and postconditions), and object invariants.
The Spec# compiler, which is integrated into the Microsoft Visual Studio development environment, statically enforces non-null types, emits run-time checks for method contracts and invariants, and records the specifications in metadata for consumption by the program verifier.
The Spec# static program verifier, which translates programs into logical verification conditions, which are passed to an automatic theorem prover.
An interface to the SpecExplorer tool for test generation and model-based testing.
Check it out..you may be using a feature or two in the future.
Previous Topic
