Kategorie:Bachelorarbeit
This category contains all information related to writing and supervising bachelor theses at our chair.
Pages in category "Bachelorarbeit"
The following 181 pages are in this category, out of 181 total.
A
- A Catalogue of Context Dimensions for Security Analysis
- A Context-Aware Change Propagation Mechanism in Model-Driven Development
- A Contrastive Learning Framework for Semantic Consistency Verification of SysML and Simulink Models
- A Flexible Mechanism for Advancing Maturity in Change Propagation
- A Framework for Transforming Data Tables into Descriptive Models
- A Library-Based Annotation Mechanism for Change Propagation
- A Methodology for Systematically Including Semantic Information in Threat Modeling and Analysis
- A RAAML driven case study in automotive safety analysis
- A Strategy for Composing Information Leakage Metrics
- A Temporal Change Propagation Mechanism in Model Driven Development
- Abbildung zwischen Architekturmodell und logischen Programmen
- Ablauf Abschlussarbeit
- Ablauf Studienarbeit
- AI Planning for Consistency Repair
- An Empirical Study of Observations, Triggers, and Alternatives for Consistency Preservation in Cyber-Physical Systems
- Analyse eines neuartigen KI-Ansatzes für das Trainieren virtueller Roboter mit Gedächtnis
- Analyse modellgetriebener Simulationsentwicklung im Industrie-4.0-Kontext
- Analysis of Classifier Performance on Aggregated Energy Status Data
- Analyze the Effect of Uncertainty on a System's Consistency
- Analyzing Efficiency of High Performance Applications
- Architectural Attack Modelling for Data Theft with Dataflow Based Systems
- Architekturbasierte Performance-Vorhersage von parallelen Programmen
- Architekturbasierte Zuverlässigkeitsvorhersage für automatisierte Fahrzeuge
- Architekturbasierter Vergleich von Datenfluss- und Informationsflussanalysen
- Assessing Simulation Model Credibility
- Auflösung von Koreferenzen in Softwarearchitekurdokumentationen
- Ausarbeitungshinweise
- Ausarbeitungshinweise/de
- Ausarbeitungshinweise/en
- Automated Consistency Checker for Multi-View Models
- Automated Generation of a Consistency Benchmark for Cyber-Physical Systems Modeling
- Automatic Generation of Graphical Editors for Safety Analysis Models from NeoJoin View Definitions
- Automatische Erstellung von Angriffsvektoren
- Automatische Vorhersage von Änderungsausbreitung basierend auf Anforderungsänderungen in Automatisierungssystemen
- Automatisierte Überprüfung von Datenflussanforderungen in Software-Architekturen
- Automatisiertes Black-Box Software Testing mit neuartigen neuronalen Netzen
B
- Beruecksichtigung von Varianten in Zugriffskontrollsystemen
- Berücksichtigung von Unsicherheit in Zugriffskontrollsystemen
- Berücksichtigung von Varianten in Zugriffskontrollsystemen
- Building a Benchmark for LLM-assisted Formal Verification
- Building an Evaluation Catalogue of Context-Dependent DFD Models
C
- Case Study-Driven Synchronization of BPMN and SysML Diagrams
- Co-Simulation für Analysen von Software und Hardware
- Codereview
- Comparison of Model Query Paradigms for View Generation
- Concept Maps für Verbessertes Lernen in der Informatik
- Connecting UnCertaGator with Zonotope-Based Uncertainty Propagation
- Continuous Integration of Performance Model
- Copy-on-Write Representations of EMF Models
D
- Design of a Measurement Metamodel and Synchronization Strategy for Data Integration in Vitruvius
- Designing a Reproducible Measurement Framework for MQTT-to-Kafka Performance Evaluation
- Developing a TraVarT Extension to Transform UVL Models Into Clafer and Vice Versa
- Dokumentvorlagen
- Dokumentvorlagen/de
- Domänenspezifische Charakteristiken in der Bewertung der Systemarchitektur automatisierter Fahrzeuge
E
- Enable Tracing Requirements and Source Code in Visual Studio Code using Large Language Models
- Enabling Branching Support in Server-Side Vitruvius
- Energy consumption of compression algorithms across CPU platforms
- Ensuring the Semantics of Event-Based Analysis (de)composition through Constraint Specification
- Entitätserkennung in SW-Dokumentationen durch Diagramme
- Entwicklung eines Optimierungsverfahrens zur Regelung von IoT Geräten
- Entwicklung modularer Simulationskonzepte im Industrie-4.0-Kontext
- Entwicklung neuartiger neuroevolutionärer Lernverfahren
- Entwicklung und Analyse genetischer Lernverfahren für die Neurorobotik
- Entwurf komponierbarer Sicherheitsanalysen
- Erstellen einer Fallstudie im Bereich Datenschutz und Vehicle to X (V2X) Kommunikation und Recht
- Erstellung einer Fallstudie für Vertraulichkeitsanalyse in Mobilitätssystemen
- Erstellung einer Sicherheitsfallstudie zur Angreiferausbreitung
- Erweitern eines Konzepts zum Wissenstransfer basierend auf Softwarearchitekturmodellen
- Erzeugung von Verschlüsselungsregeln auf Modelländerungen aus Zugriffskontrollregeln auf Modellelementen
- Evaluation des Palladio Component Models im Kontext automatisierter Fahrzeuge
- Evidence-based Token Abstraction for Software Plagiarism Detection
- Exploring RAG and Prompt Engineering for Trace Link Recovery
- Extend Uncertainty Quantification in view-based Modeling
- Extending the Vitruvius Framework with Variability-aware Consistency Preservation Rules
- Extraktion eines Testkorpus von zeitbehafteten Vertraulichkeitsschwachstellen aus Java-Programmen
- Extraktion von Architekturmodellen aus Neurorobotiksimulationen
F
G
- Gamification Strategien für digitale Lernumgebungen
- Generation of Checkpoints for Hardware Architecture Simulators
- Generation of Formal Specifications for Smart Contracts from Architectural Specifications
- Generierung von Sequenzdiagrammen aus Komponentenmodellen
- Goal Question Metric
- Guidelines and Selection Criteria for Composing Analysis Techniques
I
- Identification of Performance-Relevant Configuration Options
- Identifikation von Ebenen fuer Informationslecksquantifizierung
- Implementing V-SUMM for Two Metamodels Integration
- Informative Decision-Making for Change Propagation
- Inkremente in Abschlussarbeiten
- Integration of Triple Graph Grammars in Vitruvius
K
- Klassifikation von Anforderungen
- Klassifikation von Entwurfsentscheidungen in Dokumentationen
- Kollaboratives Lernen in der Informatik
- Kombination von Angreiferanalysen
- Konsistenzanalyse zwischen Architekturdokumentation und Modellen
- Konsistenzerhaltung von externen Sichten
- Konsistenzhaltung von Eingabemodellen für Architektur- und Code-basierte, statische Sicherheitsanalysen
- Kontextbasierte Zugriffskontrolle und Ungewissheit
- Konzept und Implementierung einer Delta Chain
- Konzeption und Umsetzung Neuronale Netzen zur Verbesserung von Codequalität
- Kopplung von Architekturanalysen und musterbasierten Quelltextanalysen in de Domäne der Softwaresicherheitr
- Kopplung von statischen Architekturanalysen und musterbasierten Quelltextanalysen in der Domäne der Softwaresicherheit
L
- Literatur im SDQ-Kontext
- Literatur im SDQ-Kontext/de
- Literaturrecherche
- Literaturrecherche/de
- LLM-assisted Generation and Testing of Model Transformation Language Code
- LLM-Assisted Style Customization of Xtext-Based Domain-Specific Languages
- LLM-based Architecture Design Decision Analysis for Software Evolution
- LLM-based Code Generation for Model Transformation Languages
- LLM-supported processing of analysis results to support the legal domain
- Locking Strategies for V-SUMs
M
- Machine-Learning-Verfahren für automatische Software-Architekturoptimierung
- Mapping Natural Language To Software Architecture Models
- Metadata-Based Simulator Selection
- Microgrid-Topologien für Smart Grids
- Mitigation of Confidentiality Violations in Architectural Runtime Models
- Model-based Performance Engineering and Management of DevOps Applications
- Modeling and Simulation of Distributed Message Queues
- Modellierung und Simulation von verketteten Ausfallszenarien in Palladio
- Modellierung von Annahmen in Softwarearchitekturen
- Modellierung von kontextbasierter Zugriffskontrolle auf Architekturebene
- Modelling and Analyzing Distributed Ledger Technology Protocols for Decentralized Software Applications
- Multi-Stage/Multi-Approach TLR
P
- Performancemodellierung konfigurierbarer Software
- Preventing Automated Obfuscation Attacks on Software Plagiarism Detectors
- Preventing Obfuscation Attacks on Software Plagiarism Detectors
- Product Line Engineering for Metamodels
- Prozess für automatisiertes Generieren einer datenschutzrechtlicher Systemrepräsentation
S
- SDQ-Institutsseminar
- SDQ-Proposal-Seminar
- Semantiken von Modelländerungen
- Semi-automatische Konsistenzhaltung von Modellen
- Skizzenerkennung für UML-Diagramme mittels ML-Verfahren
- Software-Architekturmuster zur Gewährleistung des Datenschutzes
- Spezifikation und Analyse fahrzeugbezogener Datenflussrichtlinien auf Basis der Vehicle Signal Specification
- Strategien für interdisziplinären Informatikunterricht
- Supporting Design Documenting with Software Architecture Change information
T
- Textual Modeling for Cloud-Native Performance Simulation
- The Structure of Design Argumentations in Code Changes
- Token-based Plagiarism Detection for Heterogenous Software Artefacts
- Towards a Minimal Abductive Reasoning Layer for SASIS
- Trace Link Recovery for Architecture Decision Records (ADRs)
- Trace Links in Anforderungen
- Transaction management in Vitruvius
- Transformation of Xbase Expressions to Relational Query Operations
V
- Variabilität im Linux-Kernel: Analyse des Feature-Modells
- Vereinigung zweier langlebiger Systeme zu einer „Industrie 4,0“-Fallstudie (In Kooperation mit der Technischen Universität München)
- Verschlüsselung von änderungsbasierten Modellen
- Vertraulichkeitsanalyse im Kontext von Industrie 4.0 mittels Data-Centric Palladio
- Vertraulichkeitsmodellierung im Dynamischen Industrie 4.0 Umfeld
- View Type Conformity in Model-Driven Development
- Views in the Development of Cyber-Physical Systems
- Views in the Development of Cyber-Physical Systems (2026)
- Views on Cyber-Physical Systems: Example Case
- Visualisierung und Analyse von Interaktionskarten
- Vortragshinweise
- Vortragshinweise/de
W
- When Should a Simulation Switch?
- Wissenschaftliche Vorträge
- Wissenschaftliche Vorträge/de
- Wissenschaftliche Vorträge/en
- Wissenschaftliches Schreiben
- Wissenschaftliches Schreiben/Aufbau
- Wissenschaftliches Schreiben/Aufbau/de
- Wissenschaftliches Schreiben/Aufbau/en
- Wissenschaftliches Schreiben/Begutachtung
- Wissenschaftliches Schreiben/de
- Wissenschaftliches Schreiben/English
- Wissenschaftliches Schreiben/Stil
- Wissenschaftliches Schreiben/Typographie
Media in category "Bachelorarbeit"
The following 7 files are in this category, out of 7 total.
-
Benutzernummerantrag IPD.doc ; 260 KB
-
DA-SA-Prozesse.zip ; 140 KB
-
EPK DA-SA Supervisor.png 959 × 1,163; 133 KB
-
EPK DA-SA.png 3,577 × 3,208; 536 KB
-
How To DA.pdf ; 40 KB
-
-
