modeling

Hi folks. Today I'm demonstrating how to use the Excel add-in for Microsoft Solver Foundation 3.0. This is an intro demo for getting started with solver. For examples of more complex models, see the product/doc links below.Solver Foundation is a set of tools for mathematical simulation,…

Effective Model-Based Testing with Spec Explorer class Wolfgang Grieskamp and Nico Kicillof Session 1/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…

Effective 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…

Effective Model-Based Testing with Spec Explorer class Wolfgang Grieskamp and Nico Kicillof Session 1/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…

Effective 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…

Effective 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…

Effective 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…

Effective 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…

Effective Model-Based Testing with Spec Explorer class Wolfgang Grieskamp and Nico Kicillof Session 1/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…

Effective Model-Based Testing with Spec Explorer class Wolfgang Grieskamp and Nico Kicillof Session 2/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…