DevLabs: Spec Explorer
About Spec Explorer 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…
DevLabs: STM.NET (Software Transactional Memory)
DevLabs: STM.NET About Software Transactional Memory Software Transactional Memory (STM.NET) is a mechanism for efficient isolation of shared state. The programmer demarcates a region of code as operating within…
DevLabs: Doloto
DevLabs: Doloto About Doloto Doloto is an AJAX application optimization tool, especially useful for large and complex Web 2.0 applications that contain a lot of code, such as Bing…
PEX – Automated White Box Testing for .NET
Automated White Box Testing for .NET Pex (Program EXploration) produces a traditional unit test suite with high code coverage. A parameterized unit test is simply a method that takes…
Reactive Extensions for .NET (Rx)
Reactive Extensions for .NET (Rx) Rx is a library for composing asynchronous and event-based programs using observable collections. The “A” in “AJAX” stand for asynchronous, and indeed modern Web-based…
.NET
.NET Framework
All
ASP.NET
ASP.NET AJAX
ASP.NET MVC
Azure Tools
C#.NET
General
Microsoft
VB.NET
VisualStudio
VS2010
Windows Azure Platform Training Kit – December Update
The Azure Services Training Kit includes a comprehensive set of technical content including hands-on labs, presentations, and demos that are designed to help you learn how to use the Windows…