Institutsseminar/2026-09-11
| Datum | Freitag, 11. September 2026 | |
|---|---|---|
| Uhrzeit | 11:30 – 13:00 Uhr (Dauer: 90 min) | |
| Ort | Raum 010 (Gebäude 50.34) | |
| Prüfer/in | Anne Koziolek | |
| Webkonferenz | https://sdq.kastel.kit.edu/wiki/SDQ-Institutsseminar/Microsoft Teams | |
| Vorheriger Termin | Fr 21. August 2026 | |
| Nächster Termin | Fr 25. September 2026 |
Vorträge
| Vortragende(r) | Emil Hammer |
|---|---|
| Vortragstyp | Masterarbeit |
| Betreuer(in) | Nathan Hagel |
| Vortragssprache | Englisch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | Kurzfassung |
| Vortragende(r) | Rouven Anderer |
|---|---|
| Vortragstyp | Masterarbeit |
| Betreuer(in) | Nathan Hagel |
| Vortragssprache | Englisch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | Kurzfassung |
| Vortragende(r) | Max Oesterle |
|---|---|
| Vortragstyp | Vortrag |
| Betreuer(in) | Arne Lange |
| Vortragssprache | Englisch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | VitruviusOCL is a constraint language designed specifically for Vitruvius. Standard OCL is insufficient here, as it is scoped to a single metamodel and therefore cannot express constraints that reach across the correspondence links of a V-SUM. VitruviusOCL addresses this limitation by extending the type-safe OCL# dialect with a coextension operator (~) that provides direct, first-class access to the Vitruvius correspondence model, together with qualified MM::Class navigation for safe cross-metamodel type references and @severity/@message annotations for structured diagnostics. |
Neuen Vortrag erstellen
Bitte melde Dich mit Deinen KIT-Zugangsdaten an. Falls Du trotz Anmeldung diese Meldung siehst, bitte eine/-n Wissensmanager/-in darum, Dich zur richtigen Gruppe hinzuzufügen.