Title: Conceptual Aspects in Software Modeling
We encounter multiple concepts during software modeling; among these are requirements engineering, abstraction levels, multilevel modeling, constraints, process engineering, domain-specific languages, domain engineering, etc.
This seminar is a mix of talks introducing these concepts.
The audience may attend single talks of the seminar depending on their interests and preferences.
Please register here BEFORE 12 June kl 12:00 (the event is free and lunch is included).
11:00 – 11:30 Welcome and Posters at EXPO
13:00 – 13:30 Uwe Wolter
: Logics of First-order constraints
13:30 – 14:00 Short Break (Cake and coffee: combined with the goodbye cakes for Rabbi and Svetlana)
14:00 – 14:30 Eric Knaus
: Perspectives on Requirements Engineering for Large-Scale Agile System Development
14:30 – 15:00 Martin Gerdes
: Requirements from Design Science Perspective for Machine Intelligence in eHealth Applications
15:00 – 15:30 Marko Kääramees
: Model-driven testing with non-deterministic models using SMT solver
15:30 -16:00 Summary and Mingling