Spec Explorer 2010 is a tool that extends Visual Studio for modeling software behavior, analyzing that behavior by graphical visualization, model checking; and generating standalone test code from models. Behavior is modeled in two ways: by writing rule...
According to Microsoft Press Microsoft Visual Studio 2010 Beta 2 and Microsoft .NET Framework 4 Beta 2 are now available for to MSDN subscribers; general availability will follow on Oct. 21. Microsoft has also simplified the product lineup for Visual...