| The Need for Context in Software Engineering
|
2020 |
Murphy, Gail |
| Guarded Deep Learning using Scenario-based Modeling
|
2020 |
Katz, Guy |
| Development of Health Software using Behaviour Driven Development - BDD
|
2020 |
Anjum, Mohammad Z. |
| Towards Abstract Test Execution in Early Stages of Model-driven Software Development
|
2020 |
Hagemann, Noël |
| Verifying OCL Operational Contracts via SMT-based Synthesising
|
2020 |
Wu, Hao |
| Domain-specific Language and Tools for Strategic Domain-driven Design, Context Mapping and Bounded Context Modeling
|
2020 |
Kapferer, Stefan |
| Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela
|
2020 |
Caltais, Georgiana |
| A Generic Projectional Editor for EMF Models
|
2020 |
Schröpfer, Johannes |
| Defining Referential Integrity Constraints in Graph-oriented Datastores
|
2020 |
Masson, Thibaud |
| Towards Metrics for Analyzing System Architectures Modeled with EAST-ADL
|
2020 |
Etzel, Christoph |
| Towards a Generalized Queuing Network Model for Self-adaptive Software Systems
|
2020 |
Arcelli, Davide |
| A Model based Toolchain for the Cosimulation of Cyber-physical Systems with FMI
|
2020 |
Oudart, David |
| Early Synthesis of Timing Models in AUTOSAR-based Automotive Embedded Software Systems
|
2020 |
Iyenghar, Padma |
| Integer Overflow Detection in Hardware Designs at the Specification Level
|
2020 |
Bornebusch, Fritjof |
| The Seamless Low-cost Development Platform LoRra for Model based Systems Engineering
|
2020 |
Jacobitz, Sven |
| Model Transformation by Example with Statistical Machine Translation
|
2020 |
Berramla, Karima |
| Towards Ontology Driven Provenance in Scientific Workflow Engine
|
2020 |
Butt, Anila Sahar |
| Towards a Model-based Fuzzy Software Quality Metrics
|
2020 |
Masmali, Omar |
| Themulus: A Timed Contract-calculus
|
2020 |
García, Alberto Aranda |
| Automated Synthesis of ATL Transformations from Metamodel Correspondences
|
2020 |
Lano, Kevin |
Tag hinzufügen