Kategorie:DSiS
Seiten in der Kategorie „DSiS“
Folgende 54 Seiten sind in dieser Kategorie, von 54 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 Methodology for Systematically Including Semantic Information in Threat Modeling and Analysis
- A RAAML driven case study in automotive safety analysis
- A Survey of Model Management Approaches
- A Temporal Change Propagation Mechanism in Model Driven Development
- A unified framework for safety analysis models
- AI Planning for Consistency Repair
- Anreicherung von Architekturmodellen mit Performance-Informationen
- Assessing the Scalability of Variability Artifact Transformations using TRAVART
- Automated Generation of a Consistency Benchmark for Cyber-Physical Systems Modeling
C
D
- Datenflussanalyse für Konsistenzerhaltung
- Design of a Measurement Metamodel and Synchronization Strategy for Data Integration in Vitruvius
- Design-time optimization of runtime adaptation strategies using evolutionary algorithms
- Designing a Model Transformation Language for Projective Views
- Designing a Reproducible Measurement Framework for MQTT-to-Kafka Performance Evaluation
- Designing an LLM-Based Framework for User Training and Question Answering on Vitruvius
- Developing a TraVarT Extension to Transform UVL Models Into Clafer and Vice Versa
- Development of the Model Query Language NeoJoin
E
- Enable Tracing Requirements and Source Code in Visual Studio Code using Large Language Models
- Energy consumption of compression algorithms across CPU platforms
- Erweitern eines Konzepts zum Wissenstransfer basierend auf Softwarearchitekturmodellen
- Extraktion eines Testkorpus von zeitbehafteten Vertraulichkeitsschwachstellen aus Java-Programmen
F
I
M
- Maschinelles Lernen von Modelltransformationen aus Transformationsdefinitionen
- Metamodellierung mit JSON
- Mitigation of Confidentiality Violations in Architectural Runtime Models
- Modellierung von Angriffen für quantitative Sicherheitsanalysen
- Modelling and Analyzing Distributed Ledger Technology Protocols for Decentralized Software Applications