Main page How to participate Paper submission Important dates Program Organizers and program committee

Keynote: Axel van Lamsweerde: Scenarios, goals and state machines: an unconsummated three-party marriage Session 1: Requirements   Behrens H.: Requirements Analysis and Prototyping using Scenarios and Statecharts Glinz M.: Statecharts For Requirements Specification - As Simple As Possible, As Rich As Needed   Session 2: Synthesis   Bontemps Y. and Heymans P.: Turning High-Level Live Sequence Charts into Automata Somé S.: Beyond Scenarios: Generating State Models from Use Cases Whittle J. and Schumann J.: Statechart Synthesis From Scenarios: an Air Traffic Control Case Study   Session 3: Analysis   Kozlenkov A. and Zisman A.: Checking Behavioural Inconsistencies in UML Specificatons Muccini H.: An Approach for Detecting Implied Scenarios   Session 4: Design and Code   Bordeleau F. and Corriveau J.-P.: On the Need for "State Machine Implmentation" Design Patterns Diethelm I., Geiger L., Maier T., adn Zündorf A.: Turning Collaboration Diagram Strips into Storycharts   Summary and future plans

Discussion topics All workshop attendees are recommended to submit (scesm@upb.de) questions and topics to be discussed during the workshop. The current list of topics (a draft!) can be found here.  Note: Coffee breaks are initially scheduled for 9:45-10:15 and 3:15-3:45.  Unfortunately, lunch is not provided.