Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- demonstrationOctober 2020
Automated video game world map synthesis by model-based techniques
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsArticle No.: 4, Pages 1–5https://doi.org/10.1145/3417990.3422001World maps contribute a significant part of the interactivity and entertainment to modern video games. While large-scale industrial world map generation tools exist, their use usually implies a substantial learning curve, and the cost of licences ...
- research-articleOctober 2020
TwinOps - DevOps meets model-based engineering and digital twins for the engineering of CPS
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsArticle No.: 94, Pages 1–5https://doi.org/10.1145/3417990.3421446The engineering of Cyber-Physical Systems (CPS) requires a large set of expertise to capture the system requirements and to derive a correct solution. Model-based Engineering and DevOps aim to efficiently deliver software with increased quality. Model-...
- research-articleOctober 2020
Connecting conceptual models using relational reference attribute grammars
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsArticle No.: 88, Pages 1–11https://doi.org/10.1145/3417990.3421437Model-driven engineering can be used to create problem-specific, conceptual models abstracting away unwanted details. Models at runtime take this principle to the time a system is running. Connecting and synchronizing multiple models creates several ...
- research-articleOctober 2020
A comparative study of reinforcement learning techniques to repair models
- Angela Barriga,
- Lawrence Mandow,
- José Luis Pérez de la Cruz,
- Adrian Rutle,
- Rogardt Heldal,
- Ludovico Iovino
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsArticle No.: 47, Pages 1–9https://doi.org/10.1145/3417990.3421395In model-driven software engineering, models are used in all phases of the development process. These models may get broken due to various editions during the modeling process. To repair broken models we have developed PARMOREL, an extensible framework ...
- research-articleOctober 2020
Automatically learning formal models: an industrial case from autonomous driving development
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion ProceedingsArticle No.: 33, Pages 1–10https://doi.org/10.1145/3417990.3421262The correctness of autonomous driving software is of utmost importance as incorrect behaviour may have catastrophic consequences. Though formal model-based engineering techniques can help guarantee correctness, challenges exist in widespread industrial ...