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…
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…
Peli at RiSEOct 26, 2009 at 9:45 PM6
Peli de Halleux
Avg Rating: 3
(2)
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…
Peli at RiSEOct 05, 2009 at 3:33 PM0
Peli de Halleux
Avg Rating: 1
(1)
Emre Kiciman and Ben Livshits present the ideas behind
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…