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
Category: General
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 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 (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 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
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
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 parameters, calls the code under test, and states assertions. Given a parameterized unit test written in a .NET language, Pex automatically produces a small unit… Continue reading
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 and Cloud-based applications are fundamentally asynchronous. In fact, Silverlight bans all blocking networking and threading operations. Asynchronous programming in by no means restricted to Web and… Continue reading
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 Azure platform including: Windows Azure, SQL Azure and AppFabric. The December release includes new and updated labs in addition to information about Microsoft Codename “Dallas”.… Continue reading
Variable Data Publishing (VDP)
What is Variable Data Publishing? Variable-data printing (VDP) (also known as variable-information printing (VIP) or VI) is a form of on-demand printing in which elements such as text, graphics and images may be changed from one printed piece to the next, without stopping or slowing down the printing process and using information from a database… Continue reading
What’s New in C# 4.0 and VB.NET 10.0
Whats New In C# 4.0 and VB.NET 10.0 I thought of sharing this nice presentation i found on internet.. cool na..
Today’s Session in Hyderabad Techies By Shravan Kumar on new features in C#.NET 4.0 and VB.NET 10.0 @ 9:00 P.M
Today’s Session By Shravan Kumar on new features in C#.NET 4.0 and VB.NET 10.0 @ 9:00 P.M. How to attend session : Log on to www.hyderabadtechies.info Check your watch if its 8 30 PM Click on join sessions now link in website Prerequisites: Microsoft Live Meeting. Queries: admin@hyderabadtechies.info / 9293 959539 Need SMS Alerts for… Continue reading