Änderungen an verlinkten Seiten
Gib einen Seitennamen ein, um Änderungen auf Seiten zu sehen, die auf oder von dieser Seite verlinkt sind. Um Mitglieder einer Kategorie zu sehen, gib „Kategorie:Name der Kategorie“ ein. Änderungen an Seiten auf deiner Beobachtungsliste sind fett hervorgehoben.
Liste von Abkürzungen:
- N
- Neue Seite (siehe auch die Liste neuer Seiten)
- K
- Kleine Änderung
- B
- Änderung durch einen Bot
- (±123)
- Die Änderung der Seitengröße in Bytes
8. Dezember 2025
7. Dezember 2025
| 23:50 | Design of a Measurement Metamodel and Synchronization Strategy for Data Integration in Vitruvius UnterschiedVersionen −2 Raziyeh Dehghani Diskussion Beiträge | ||||
| 23:49 | A Framework for Transforming Data Tables into Descriptive Models UnterschiedVersionen −2 Raziyeh Dehghani Diskussion Beiträge | ||||
| N 23:46 | Enabling Branching Support in Server-Side Vitruvius UnterschiedVersionen +1.999 Raziyeh Dehghani Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit, Hilfskräfte |betreuer=Raziyeh Dehghani, Martin Armbruster, Arne Lange |gruppe=DSiS, MCSE |bild=BranchingMechanism.png |pdf=BranchingMechanismNotice.pdf }} == Motivation == Vitruvius is "a framework for view‑based software development" hosted at https://github.com/vitruv-tools. The framework conceptually relies on a Virtual Single Underlying Model (V-SUM) which is a co…“) | ||||
|
|
N 23:41 | SysML–RAAML Consistency Validation Engine with EVL-Based Rule Pack 2 Änderungen Versionsgeschichte +1.250 [Muhammad Asim Minhas (2×)] | |||
|
|
23:41 (Aktuell | Vorherige) +7 Muhammad Asim Minhas Diskussion Beiträge | ||||
| N |
|
23:38 (Aktuell | Vorherige) +1.243 Muhammad Asim Minhas Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Masterarbeit |betreuer=Muhammad Minhas |gruppe=DSiS |bild=Rule-checker.pdf |pdf=MuhammadMinhas SysML-RAAML-RuleSet.pdf }} While the Vitruvius platform and its Reactions language enable automated cross-domain consistency preservation and repair, there remains a critical need for explicit, auditable validation layers in safety-critical MBSE workflows. This thesis addresses that gap by developing an EVL-…“) | |||
| N 23:12 | A Library-Based Annotation Mechanism for Change Propagation UnterschiedVersionen +1.583 Raziyeh Dehghani Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit |betreuer=Raziyeh Dehghani, Lars König, Thomas Weber |gruppe=DSiS, MCSE |bild=LibAnnotatingFig.jpg |pdf=LibraryAnnotating.pdf }} == Motivation == Vitruvius is a framework designed to support the management of inconsistencies in model-driven software development. To this end, a Domain-Specific Language (DSL) called Reactions has been developed to facilitate the propagatio…“) | ||||
|
|
N 23:00 | A Flexible Mechanism for Advancing Maturity in Change Propagation 2 Änderungen Versionsgeschichte +1.506 [Raziyeh Dehghani (2×)] | |||
|
|
23:00 (Aktuell | Vorherige) −4 Raziyeh Dehghani Diskussion Beiträge | ||||
| N |
|
22:58 (Aktuell | Vorherige) +1.510 Raziyeh Dehghani Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit, Hilfskräfte |betreuer=Raziyeh Dehghani, Thomas Weber |gruppe=DSiS, MCSE |bild=MaturityComplementary Fig.pdf |pdf=Maturity-Complementary.pdf }} == Motivation == Vitruvius is a framework designed to support the management of inconsistencies in model-driven software development. To this end, a Domain-Specific Language (DSL) called Reactions has been developed to facilitate…“) | |||
5. Dezember 2025
| N 16:40 | Views in the Development of Cyber-Physical Systems UnterschiedVersionen +1.692 Lars König Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit |betreuer=Kevin Feichtinger, Lars König |gruppe=DSiS |pdf=2025-12 BA Views-on-CPS.pdf }} == Motivation == Modern systems often combine hardware parts with functionality realized in software, and are therefore called ''Cyber-Physical Systems''. Examples of Cyber-Physical Systems are modern cars, production plants, medical devices, but also energy networks. What is common for them, is th…“) | ||||
| 10:32 | AI Planning for Consistency Repair UnterschiedVersionen −2 Benedikt Jutz Diskussion Beiträge | ||||
4. Dezember 2025
| N 16:57 | AI Planning for Consistency Repair UnterschiedVersionen +1.594 Benedikt Jutz Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit |betreuer=Benedikt Jutz, Bowen Jiang |gruppe=DSiS, MCSE |pdf=AIPlanningForConsistencyRepair.pdf }} == Motivation == The *Vitruvius* framework manages multiple models in a ''Virtual Single Underlying Model (V-SUM)''. ''Model Consistency'' is required to build software from these models. Therefore, Vitruvius maintains constructive, ''change-driven consistency'' by applying…“) | ||||
3. Dezember 2025
| 20:58 | The Structure of Design Argumentations in Code Changes UnterschiedVersionen +50 Dominik Fuchß Diskussion Beiträge | ||||
1. Dezember 2025
|
|
N 09:17 | Enhancing Trust in Neuro-Symbolic Explanations via Calibrated Linguistic Uncertainty 2 Änderungen Versionsgeschichte +1.523 [Nicolas Sebastian Schuler (2×)] | |||
|
|
09:17 (Aktuell | Vorherige) +691 Nicolas Sebastian Schuler Diskussion Beiträge | ||||
| N |
|
09:15 (Aktuell | Vorherige) +832 Nicolas Sebastian Schuler Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Masterarbeit |betreuer=Nicolas Schuler, Vincenzo Scotti |gruppe=SASIS |pdf=Master Thesis Formalizing and Verifying LLM Based Abductive Reasoning for System Explanations-1.pdf }} Critical AI decision-making demands formally trustworthy explanations. Current neuro-symbolic pipelines use Multimodal Language Models (MLMs) to translate visual data into logic, but often discard valuable uncertainty by forcin…“) | |||
|
|
N 09:12 | Towards a Minimal Abductive Reasoning Layer for SASIS 2 Änderungen Versionsgeschichte +1.476 [Nicolas Sebastian Schuler (2×)] | |||
|
|
09:12 (Aktuell | Vorherige) +586 Nicolas Sebastian Schuler Diskussion Beiträge | ||||
| N |
|
09:10 (Aktuell | Vorherige) +890 Nicolas Sebastian Schuler Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit |betreuer=Nicolas Schuler, Vincenzo Scotti |gruppe=SASIS |pdf=Bachelor Thesis Towards a Minimal Abductive Reasoning Layer for SASIS.pdf }} Abductive reasoning – inferring the most plausible cause from observed effects – is a pow- erful paradigm for tasks like fault diagnosis and explanation generation. However, classical logic programming tools like Prolog are cumbersome to integra…“) | |||