Sign In

Subscribe Follow Us On Twitter

rise

C9 Conversations: Yuri Gurevic…ve, Abstraction and Algorithms

Posted By: Charles | Feb 9th

Comments: 11

Francesco Logozzo: Programmazi…ng in .NET con i CodeContracts

Posted By: peli | Feb 5th

Comments: 2

Pex - Unit Testing of SharePoint Services that Rocks!

Posted By: Matthijs | Jan 31st

Comments: 0

Nikolai Tillmann: Moles - Replace any .NET method with a delegate

Posted By: peli | Jan 29th

Comments: 16

The Verification Corner: Loop Invariants

Posted By: peli | Jan 12th

Comments: 8

Nikolaj Bjørner and Leonardo de Moura: The Z3 Constraint Solver

Posted By: peli | Dec 31st, 2009

Comments: 9

Francesco Logozzo - Static Checking with Code Contracts for .NET

Posted By: peli | Dec 22nd, 2009

Comments: 4

Manuel Fahndrich et Peli de Ha…ode Contracts et Pex pour .NET

Posted By: peli | Dec 17th, 2009

Comments: 2

Jeffrey Van Gogh: Testing Rx with Pex

Posted By: peli | Dec 15th, 2009

Comments: 9

Juan Chen and Nikhil Swamy: FI…d-to-End Security Verification

Posted By: peli | Dec 10th, 2009

Comments: 3

MSDN Flash Podcast 013 – Code Contracts at TechEd Europe

Posted By: eric nelson | Dec 1st, 2009

Comments: 0

MSDN Flash Podcast 012 – Pex automated testing at TechEd Europe

Posted By: eric nelson | Dec 1st, 2009

Comments: 0

SpecExplorer: Model-Based Testing made practicable

Posted By: peli | Oct 26th, 2009

Comments: 6

Emre Kiciman and Ben Livshits …ime Optimizer for Web 2.0 Apps

Posted By: peli | Oct 5th, 2009

Comments: 0

Daryl Zuniga - Viewing Code Contracts.NET in Visual Studio

Posted By: peli | Sep 21st, 2009

Comments: 8

Trishul Chilimbi - Green - Energy Efficient Software

Posted By: peli | Sep 15th, 2009

Comments: 4

Daryl Zuniga and Mike Barnett …n from Code Contracts for .Net

Posted By: peli | Aug 10th, 2009

Comments: 12

Ethan Jackson - BAM - Cloud Computing with Models

Posted By: peli | Aug 3rd, 2009

Comments: 1

Silverlight: Silverlight Test Driven Development – Part II
WindowsClient: Battery notification messages in Windows 7
Silverlight: The Weekly Source Code 49 - SmallBasic is Fun, Simple, Powerful Programming for Kids and Adults
WindowsClient: 24 Hour 50% off Deal on my Upcoming Manning Book: Silverlight in Action, Revised Edition
Channel 9: C9 Conversations: Yuri Gurevich - Abstraction, Algorithms and Mathematical Logic
TechNet Edge: February 2010 Security Bulletin Overview
Channel 9: PhizzPop Develop & Design Challenge
Silverlight: Quick FAQ on Visual Studio 2010 RC release (February 2010) and Silverlight development
Channel 10: 5 Bing Map Apps for the Winter Olympics
TechNet Edge: TechNet Radio: Visio 2010: Visio Services
WindowsClient: Tip: New .NET 4 String Function to Check for Empty Strings
WindowsClient: Microsoft announces commercial availability of Surface in Australia
WindowsClient: SmallestDotNet Update - Now with .NET 4 support and an includable JavaScript API
Silverlight: Answering A C# Question
Channel 9: Jason Zander: Visual Studio 2010 Release Candidate Released
Channel 9: Help Desk Episode 1 with Chris Pirillo (Pilot) - Show Notes
Mix Online: Design for tables
Channel 10: Bing and Winter Olympics
Channel 10: Use Your Zune Remote to Control Windows Media Center
WindowsClient: Query Continuations for nested collections in Data Services
close

Microsoft Communities