Title: Conceptual Aspects in Software Modeling

Place: C115


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
11:30-12:30 Lunch
12:30 – 13:00 Thomas Kuehne: Multi-Level modeling
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