ART-SCENE: enhancing scenario walkthroughs with multi-media scenarios

ART-SCENE supports the systematic generation and walkthrough of scenarios that has been applied to specify 2 major air traffic management systems. Features include: (1) automatic generation of scenarios from use cases, (2) automatic generation of alternative courses, and (3) guided scenario walkthroughs.