Kategorie:Bachelorarbeit
This category contains all information related to writing and supervising bachelor theses at our chair.
Seiten in der Kategorie „Bachelorarbeit“
Folgende 153 Seiten sind in dieser Kategorie, von 153 insgesamt.
A
- 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 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
- Auflösung von Koreferenzen in Softwarearchitekurdokumentationen
- Ausarbeitungshinweise
- Automated Consistency Checker for Multi-View Models
- Automated Generation of a Consistency Benchmark for Cyber-Physical Systems Modeling
- 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
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
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
- 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
- Extraktion eines Testkorpus von zeitbehafteten Vertraulichkeitsschwachstellen aus Java-Programmen
- Extraktion von Architekturmodellen aus Neurorobotiksimulationen
F
G
I
- Identification of Performance-Relevant Configuration Options
- Implementing V-SUMM for Two Metamodels Integration
- Improving LLM-based Code Generation for Model Transformation Languages
- 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
M
- Machine-Learning-Verfahren für automatische Software-Architekturoptimierung
- Mapping Natural Language To Software Architecture Models
- 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
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
- Views in the Development of Cyber-Physical Systems
- Views on Cyber-Physical Systems: Example Case
- Visualisierung und Analyse von Interaktionskarten
- Vortragshinweise
W
Medien in der Kategorie „Bachelorarbeit“
Folgende 7 Dateien sind in dieser Kategorie, von 7 insgesamt.
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
