Welcome to the 9th installment of GoingNative. Charles flies solo this time around as Diego is on a well-deserved break from work. At GoingNative 2012, Herb Sutter addressed the need for more general purpose standard C++ libraries - high level libraries - for use in modern computing. So,…

Mike Barnett gives a step-by-step tutorial on
Code Contracts, a new way to express preconditions, postconditions and invariants in any .NET language. The contracts team have built a runtime instrumentation tool and also advanced
static checkers that can understand and reason about…

Keith Stobie,
Wolfgang Grieskamp, and Nico Kicillof gave a presentation on the new version of
Spec Explorer 2010 for Visual Studio. Spec Explorer is a visual tool for modeling software behavior and generating test suites from those models. Spec Explorer’s approach to model-based testing has…

Spec Explorer is a visual tool for modeling software behavior and generating test suites from those models. It has just been released on
DevLabs.Here, architects Wolfgang Grieskamp and Keith Stobie join us to discuss the thinking
behind Spec Explorer. You can see Spec Explorer in action here.…