Posts
-
19 minutes, 22 secondsSpec Explorer Class Session 4 Part 4Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 4/4 - Part 4/4
Spec Explorer 2010 is a tool that extends Visual Studio for modeling software behavior, analyzing that behavior by graphical visualization, model checking, and generating standalone... -
33 minutes, 57 secondsSpec Explorer Class Session 4 Part 3Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 4/4 - Part 3/4
Spec Explorer 2010 is a tool that extends Visual Studio for modeling software behavior, analyzing that behavior by graphical visualization, model checking, and generating ... -
28 minutes, 34 secondsSpec Explorer Class Session 4 Part 2Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 4/4 - Part 2/4
Spec Explorer 2010 is a tool that extends Visual Studio for modeling software behavior, analyzing that behavior by graphical visualization, model checking, and generating ... -
29 minutes, 51 secondsSpec Explorer Class Session 4 Part 1Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 4/4 - Part 1/4
Spec Explorer 2010 is a tool that extends Visual Studio for modeling software behavior, analyzing that behavior by graphical visualization, model checking, and generating ... -
30 minutes, 6 secondsSpec Explorer Class Session 3 Part 4Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 3/4 - Part 4/4
Spec Explorer 2010 is a tool that extends Visual Studio for modeling software behavior, analyzing that behavior by graphical visualization, model checking, and generating ... -
32 minutes, 0 secondsSpec Explorer Class Session 3 Part 3Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 3/4 - Part 3/4
Spec Explorer 2010 is a tool that extends Visual Studio for modeling software behavior, analyzing that behavior by graphical visualization, model checking, and generating ... -
28 minutes, 26 secondsSpec Explorer Class Session 3 Part 2Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 3/4 - Part 2/4
Spec Explorer 2010 is a tool that extends Visual Studio for modeling software behavior, analyzing that behavior by graphical visualization, model checking, and generating ... -
29 minutes, 19 secondsSpec Explorer Class Session 3 Part 1Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 3/4 - Part 1/4
Spec Explorer 2010 is a tool that extends Visual Studio for modeling software behavior, analyzing that behavior by graphical visualization, model checking, and generating ... -
30 minutes, 44 secondsSpec Explorer Class Session 2 Part 3Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 2/4 - Part 3/4
Spec Explorer 2010 is a tool that extends Visual Studio for modeling software behavior, analyzing that behavior by graphical visualization, model checking, and generating ... -
27 minutes, 2 secondsSpec Explorer Class Session 2 Part 2Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 2/4 - Part 2/4
Spec Explorer 2010 is a tool that extends Visual Studio for modeling software behavior, analyzing that behavior by graphical visualization, model checking, and generating ...
