Scenarios: Models, Algorithms and Tools
September 7-12, 2003
Tentative Programme for Tuesday, September 9:
Morning Session (9:00 - 12:00)
Session on Formal Analysis and Semantics, continued
moderated by Stefan Leue
Hillel Kugler, Analysis and Execution of Live Sequence Charts
Radu Grosu,Shared Variable Interaction Diagrams
Session on Design
moderated by Francis Bordeleau
Geoff Dromey, Using Behavior Trees to Design Large Systems by Requirements Integration
Afternoon Session (13:30 - 18:00, coffee break 15:30 - 16:00)
Session on Design, continued
moderated by Francis Bordeleau
Albert Zündorf, From Scenarios to Specifications with Fujaba
Dorin Petriu, Scenarios for Performance Engineering
Winfried Dulz, How to generate Markov Chain Usage Models and TTCN-3 Test Cases from MSC Scenarios
Survey on Scenario Related Research
Francis Bordeleau
Requirements Oracle
Introduction, NN