jUCMNav Demo: Using UCM scenarios

This video demonstrates how to create UCM scenario definitions and use them for analysing UCM models.

Features:

• UCM scenario definitions, with start/end points, pre/post conditions, and initial values
• Duplication and inclusion of scenario definitions
• Using scenarios to highlight paths

Difficulty: intermediate

Software: jUCMNav_2.3.0 / Windows XP / Eclipse 3.2

-- DanielAmyot - 08 Feb 2007