Author: Nithin Mohan TK

New Year count down is about to begin.Here’s sending my choicest blessing of cheers and joys galore and wishing you a wonderful year 2010.      As the new year takes the flying start,may it brings peace of heaven to your house and fills your heart with grace and glory.Wishing you 366 days of nonstop laughter and… Continue reading

  Code Contracts Lots of fixes! Our new release has been upgraded to work with Visual Studio 2010 Beta 2. (Of course, it also works with Visual Studio 2008, but this is a great time to download the new beta and get started with it.) There are lots of other improvements: be sure to check… Continue reading

  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 code from models. Behavior is modeled in two ways: by writing rule machines in C# (with dynamic data-defined state spaces) and by defining scenarios as… Continue reading

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 a transaction that is “atomic” and “isolated” from other transacted code running concurrently. Transactional memory is considered a promising technology by the academic community and… Continue reading

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 Maps, Hotmail, etc. Doloto analyzes AJAX application workloads and automatically performs code splitting of existing large Web 2.0 applications. After being processed by Doloto, an… Continue reading