Search
Sign In
Home
Recent
Media
Videos
Podcasts
Screencasts
Learn
Shows
Ping!
The Id Element
The Knowledge Chamber
See All Shows...
Forums
Coffeehouse
Tech Off
Feedback
Sandbox
Key Topics
Visual Studio
Continuum
Identity
Interoperability
Azure
Windows
Wiki
Search
Subscribe
Follow Us On Twitter
rise
Subscribe:
RSS
iPod/MP4
Zune
page 1 of 3
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
page 1 of 3
Related Tags
.NET 4
code contracts
Microsoft Research
PEX
research
Security
Software Engineering Research
Testing
verification
See All Tags...
What you are watching
TechDays försmak: Telefon…Server 2007 R2, Martin Lidholm
TechDays försmak: Next Generation PKI, Hasain Alshakarti
What you are saying
Stupid Thought.
Forum:
The Coffeehouse
Posted By:
magicalclick
Feb 9th @ 10:51 PM
Comments:
1
Help In JavaScript
Forum:
Tech Off
Posted By:
peter433
Feb 9th @ 5:48 PM
Comments:
1
Expression Blend 4 Preview for .net 4 RC?
Forum:
The Coffeehouse
Posted By:
OrigamiCar
Feb 9th @ 2:36 PM
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
Help In Haiti
Channel 9
Channel 10
IIS.NET
Silverlight
TechNet Edge
WindowsClient
Mix Online