Buch, Englisch, Band 1161, 399 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 628 g
7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019, Revised Selected Papers
Buch, Englisch, Band 1161, 399 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 628 g
Reihe: Communications in Computer and Information Science
ISBN: 978-3-030-37872-1
Verlag: Springer International Publishing
The 16 thoroughly revised and extended papers presented in this volume were carefully reviewed and selected from 76 submissions. They address some of the most relevant challenges being faced by researchers and practitioners in the field of model-driven engineering and software development and cover topics like language design and tooling; programming support tools; code and text generation from models, behavior modeling and analysis; model transformations and multi-view modeling; as well as applications of MDD and its related techniques to cyber-physical systems, cyber security, IoT, autonomous vehicles and healthcare.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
Integrating UML and ALF: An Approach to Overcome the Code Generation Dilemma in Model-driven Software Engineering.- A Model-based Combination Language for Scheduling Verification.- Resolving The Asymmetry of On-Exit versus On-Entry in Executable Models of Behaviour.- A Role Modeling based Approach for Cyber Threat Analysis.- Static Data-Flow Analysis of UML/SysML Functional Views for Signal and Image Processing Applications.- Umple-TL: A Model-oriented, Dependency-free Text Emission Tool.- Model Driven Data Management in Healthcare.- The Art of Bootstrapping.- A Framework for Multi-level Modeling of Analog/Mixed Signal Embedded Systems.- Towards Multi-editor Support for Domain-Specific Languages Utilizing the Language Server Protocol.- Executing Scenario-Based Specification with Dynamic Generation of Rich Events.- Evaluating the Multi-Variant Model Transformation of UML Class Diagrams to Java Models.- Modeling and Analysis of Partitions on Functional Architectures using EAST-ADL.- A Programming and Verification Framework for Flexible and Unrestricted Program Evolution.- Classifying Approaches for Constructing Single Underlying Models.- TRILATERAL: A Model-based Approach for Industrial CPS – Monitoring and Control.
