| Integrating External Services in DIME
|
2021 |
Chaudhary, Hafiz Ahmad Awais |
| Asking Why
|
2021 |
Steffen, Barbara |
| Towards Living Canvases
|
2021 |
Steffen, Towards Barbara |
| Mining Data Quality Rules for Data Migrations: A Case Study on Material Master Data
|
2021 |
Altendeitering, Marcel |
| HAMR: An AADL Multi-platform Code Generation Toolset
|
2021 |
Hatcliff, John |
| Fixing Classification: A Viewpoint-Based Approach
|
2021 |
Selic, Bran |
| Towards Model-Based Intent-Driven Adaptive Software
|
2021 |
Balasubramanian, Daniel |
| Verifying Temporal Properties of Stigmergic Collective Systems Using CADP
|
2021 |
Stefano, Luca Di |
| RAILS: Roadmaps for AT integration in the raiL Sector
|
2021 |
Flammini, Francesco |
| Supporting the Development of Hybrid ERTMS/ETCS Level 3 with Formal Modelling, Analysis and Simulation
|
2021 |
Bartholomeus, Maarten |
| Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition
|
2021 |
Zweihoff, Philip |
| An Introduction to Graphical Modeling of CVCD Workflows with Rig
|
2021 |
Tegeler, Tim |
| Use Cases for Simulation in the Development of Automated Driving Systems
|
2021 |
Hungar, Hardi |
| Time for All Programs, Not Just Real-Time Programs
|
2021 |
Lee, Edward A. |
| Slang: The Sireum Programming Language
|
2021 |
Hatcliff, Robby |
| Fundamental Constructs in Programming Languages
|
2021 |
Mosses, Peter D. |
| The Future of Programming and Modelling: A Vision
|
2021 |
Stevens, Perdita |
| Programming vs. That Thing Subject Matter Experts Do
|
2021 |
Voelter, Markus |
| sVerify: Verifying Smart Contracts Through Lazy Annotation and Leaming
|
2021 |
Gao, Bo |
| Agile Business Engineering: From Transformation Towards Continuous Innovation
|
2021 |
Steffen, Barbara |
Tag hinzufügen