Dagstuhl Seminar 03371

Scenarios: Models, Algorithms and Tools

September 7-12, 2003

Tentative Programme for Thursday, September 11:

 

Morning Session (9:00 - 12:00)

Session on Synthesis

moderated by Tarja Systä

Piotr Kosiuczenko, Modeling Mobile Systems with Sequence and Activity Diagrams

Ferhat Khendek, Refining MSCs and Translation to SDL

Ingolf Krueger, Component Synthesis from Service Specifications

 

Afternoon Session (13:30 - 18:00, coffee break 15:30 - 16:00)

Requirements Oracle