Main page Topics of the seminar Case study Program (TBA)

Topics of the seminar This seminar is aimed at advancing the insight into how scenario-based techniques can be used semi-formally or formally in the software design process. Particular questions to be addressed include: Semantics for scenario-based notations Scenario-based notations in software validation and verification Analysis of scenario-based specifications Abstraction, refinement, and synthesis for scenario-based notations Non-functional properties and data in scenario notations Synthesis of executable models from scenario descriptions Tool support for scenario-based notations Domain and application specific dialects of scenario notations Scenario-based modelling patterns Integration of scenarios and implied behaviour