Nächste Termine: Unterschied zwischen den Versionen
Keine Bearbeitungszusammenfassung |
Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
{{Information|hinweis=Auf dieser Seite werden die nächsten fünf Seminartermine angezeigt.|kommentar=Für weitere Termine bitte unten auf "weitere Termine" klicken oder bei [[Termine|Alle Termine]] nachschauen. Neue Terminseiten können ebenfalls auf [[Termine|Alle Termine]] angelegt werden.}} | {{Information|hinweis=Auf dieser Seite werden die nächsten fünf Seminartermine angezeigt.|kommentar=Für weitere Termine bitte unten auf "weitere Termine" klicken oder bei [[Termine|Alle Termine]] nachschauen. Neue Terminseiten können ebenfalls auf [[Termine|Alle Termine]] angelegt werden.}} | ||
Kalenderdatei (alle Termine): {{#ask: [[Kategorie:Termin]][[Veranstaltungsdatum::>{{#time:Y-m-d}}]][[-Termin::+]] | |||
|?Veranstaltungstitel=summary | |||
|?Veranstaltungsdatum=start | |||
|?Veranstaltungsende=end | |||
|?Veranstaltungsraum=location | |||
|?Veranstaltungszusammenfassung=description | |||
|format=iCalendar | |||
|limit=500 | |||
|searchlabel={{FA|fa-solid fa-file-arrow-down}} iCal (Download) | |||
}} | |||
{{#ask:[[Kategorie:Termin]][[Veranstaltungsdatum::>>{{#time:Y-m-d}}]] | {{#ask:[[Kategorie:Termin]][[Veranstaltungsdatum::>>{{#time:Y-m-d}}]] | ||
|mainlabel=Name | |mainlabel=Name | ||
Version vom 27. Januar 2024, 00:41 Uhr
Auf dieser Seite werden die nächsten fünf Seminartermine angezeigt. Für weitere Termine bitte unten auf "weitere Termine" klicken oder bei Alle Termine nachschauen. Neue Terminseiten können ebenfalls auf Alle Termine angelegt werden.
Kalenderdatei (alle Termine): iCal (Download)
Freitag, 12. Dezember 2025, 11:30 Uhr
iCal (Download)
Ort: Raum 348 (Gebäude 50.34)
Webkonferenz: https://sdq.kastel.kit.edu/institutsseminar/Microsoft_Teams
| Vortragende(r) | Steffen Steudle |
|---|---|
| Vortragstyp | Masterarbeit |
| Betreuer(in) | Manar Mazkatli |
| Vortragssprache | Deutsch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | Dead, unused or unreachable code degrades source code maintainability and comprehensibility. Dead code analyses aim to identify such code, allowing developers to safely remove it. However, due to dynamic language features, purely static analyses often produce false positives. This master's thesis presents a hybrid approach to reduce these false positives. We first analyze the code statically to identify potential dead code. Based on these static results, we then instrument the code to collect runtime information about which parts are actually used during execution. This combination of static analysis with dynamic validation allows us to filter out false positives, providing developers with more accurate and reliable results for improving code health. |
| Vortragende(r) | Eric Wehner |
|---|---|
| Vortragstyp | Bachelorarbeit |
| Betreuer(in) | Tobias Hey |
| 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 | Im Kontext von modellbasierter Softwareentwicklung stellt die Konsistenzerhaltung zwischen verschiedenen Metamodellen eine zentrale Herausforderung dar. VitruviusOCL erweitert die Object Constraint Language (OCL) um Mechanismen zur deklarativen Spezifikation von Consistency Relations in einer VSUM (Virtual Single Underlying Model). |
Freitag, 19. Dezember 2025, 11:30 Uhr
iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
Webkonferenz: https://teams.microsoft.com/l/meetup-join/19:meeting_NWQ1NWYyMWItYWQ1ZC00OWJjLWFiZTctNTMyNmYzNDU0NjM0@thread.v2/0?context={"Tid":"4f5eec75-46fd-43f8-8d24-62bebd9771e5","Oid":"0680a2c5-0cea-4945-b259-9b8a44489863"}
| Vortragende(r) | Tobias Thirolf |
|---|---|
| Vortragstyp | Bachelorarbeit |
| Betreuer(in) | Dominik Fuchß |
| Vortragssprache | Deutsch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | Kurzfassung |
Freitag, 9. Januar 2026, 11:30 Uhr
iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
| Vortragende(r) | Malte Püschner |
|---|---|
| Vortragstyp | Masterarbeit |
| Betreuer(in) | Thomas Weber |
| Vortragssprache | Deutsch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | Kurzfassung |
Freitag, 23. Januar 2026, 11:30 Uhr
iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
| Vortragende(r) | David Bauch |
|---|---|
| Vortragstyp | Masterarbeit |
| Betreuer(in) | Dominik Fuchß |
| Vortragssprache | Deutsch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | Kurzfassung |
| Vortragende(r) | Nils Lambertz |
|---|---|
| Vortragstyp | Masterarbeit |
| Betreuer(in) | Lars König |
| Vortragssprache | Englisch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | Kurzfassung |
Freitag, 30. Januar 2026, 14:00 Uhr
iCal (Download)
Ort: Raum 010 (Gebäude 50.34)
| Vortragende(r) | Mücahid Yenigün |
|---|---|
| Vortragstyp | Masterarbeit |
| Betreuer(in) | Erik Burger |
| Vortragssprache | Deutsch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | Kurzfassung |