Technology Software quality with Code Contracts and PEX - CodeCamp16oct2010

1. Software quality with Code Contracts and PEXSorinDAMIAN 2. ContractsDesign by Contract ™ Code contracts and runtime checking (Foxtrot)Static verification (Clousot)DocumentationAutomated…

Technology Whats new in .net framework 4

1. Visual Studio 2010 and .NET Framework 4 Training Workshop 2. What’s New In .NET Framework 4 Name Title Organization Email 3. A Look Back… .NET 1.0…