| Main
page
Program |
Axel van Lamsweerde: Scenarios, goals and state machines: an unconsummated three-party marriage Session 1: Requirements
Session 2: Synthesis Session 3: Analysis Session 4: Design and Code 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:
|