the proceedings contain 26 papers. the topics discussed include: partial bidirectionalization of model transformation languages;10 years of model federation with Openflexo: challenges and lessons learned;EditQL: a tex...
ISBN:
(纸本)9798400705045
the proceedings contain 26 papers. the topics discussed include: partial bidirectionalization of model transformation languages;10 years of model federation with Openflexo: challenges and lessons learned;EditQL: a textual query language for evolving models;model everything but with intellectual property protection — the Deltachain approach;AlloyASG: alloy predicate code representation as a compact structurally balanced graph;product lines of graphical modelling languages;tree-based versus hybrid graphical-textual model editors: an empirical study of testing specifications;modeling languages for digital twins: a survey among the German automotive industry;advancing domain-specific high-integrity model-based tools: insights and future pathways;and a comparative analysis of energy consumption between visual scripting models and C++ in unreal engine: raising awareness on the importance of green MDD.
the proceedings contain 156 papers. the topics discussed include: space system modeling approach for exploring of the iced-covered Ganymede moon subsurface oceans;M2AR: a web-based modeling environment for the augment...
ISBN:
(纸本)9798400706226
the proceedings contain 156 papers. the topics discussed include: space system modeling approach for exploring of the iced-covered Ganymede moon subsurface oceans;M2AR: a web-based modeling environment for the augmented reality workflow 1–5 modeling language;Nautilus: implementation of an evolution approach for graph databases;Cross-IDE remote debugging of model management programs through the debug adapter protocol;enhancing model management with automated REST API generation;keeping clients' models up-to-date with Edelta;IMP-Logics: a metamodel for analysis and transformations of datalog programs;modelling tool extension for vulnerability management;concretize: a model-driven tool for scenario-based autonomous vehicle testing;and CertGraph: towards a comprehensive knowledge graph for cloud security certifications.
the proceedings contain 31 papers. the topics discussed include: uncertainty-aware consistency checking in industrial settings;applicability of model checking for verifying spacecraft operational designs;automated gra...
ISBN:
(纸本)9798350324808
the proceedings contain 31 papers. the topics discussed include: uncertainty-aware consistency checking in industrial settings;applicability of model checking for verifying spacecraft operational designs;automated grading of use cases;experience in specializing a generic realization language for SPL engineering at Airbus;an extended model-based characterization of fine-grained access control for SQL queries;variability-aware Neo4j for analyzing a graphical model of a software product line;a model-driven and template-based approach for requirements specification;leveraging modeling concepts and techniques to address challenges in network management;on developing and operating GLSP-based web modeling tools: lessons learned from BIGUML;and rapid-prototyping and early validation of software models through uniform integration of hardware.
the proceedings contain 133 papers. the topics discussed include: towards the practical adoption of LIDL: A toolchain for modeling human-machine interface software interactions;digital TwinCity: a holistic approach to...
ISBN:
(纸本)9781450394673
the proceedings contain 133 papers. the topics discussed include: towards the practical adoption of LIDL: A toolchain for modeling human-machine interface software interactions;digital TwinCity: a holistic approach towards comparative analysis of business processes;a tool for the automation of efficient multi-robot choreography planning and execution;graphical projectional editing in gentleman;a diagram-centric modeling tool for systems of systems;Picto Web: a tool for complex model exploration;using the modelSet dataset to support machine learning in model-drivenengineering;modeling tool for managing canvas-based models traceability in ML system development;contract-based product-assembly co-design;ORM ontologies with executable derivation rules to support semantic search in large-scale data applications;and a lightweight approach to the concurrent use and integration of SysML and formal methods in systems design.
the proceedings contain 35 papers. the topics discussed include: incremental causal connection for self-adaptive systems based on relational reference attribute grammars;addressing the uncertainty interaction problem ...
ISBN:
(纸本)9781450394666
the proceedings contain 35 papers. the topics discussed include: incremental causal connection for self-adaptive systems based on relational reference attribute grammars;addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata;precomputing reconfiguration strategies based on stochastic timed game automata;system architecture synthesis for performability by logic solvers;digital twin as risk free experimentation aid for techno-socio-economic systems;reactive links across multi-domain engineeringmodels;modelling program verification tools for software engineers;automatic test amplification for executable models;feedback on the formal verification of UML models in an industrial context: the case of a smart device life cycle management system;validating the correctness of reactive systems specifications through systematic exploration;and machine learning methods for model classification: a comparative study.
the proceedings contain 31 papers. the topics discussed include: DataTime: a framework to smoothly integrate past, present and future into models;integrated and iterative requirements analysis and test specification: ...
ISBN:
(纸本)9781665434959
the proceedings contain 31 papers. the topics discussed include: DataTime: a framework to smoothly integrate past, present and future into models;integrated and iterative requirements analysis and test specification: a case study at Kostal;restricted natural language and model-based adaptive test generation for autonomous driving;applying declarative analysis to software product line models: an industrial study;quality guidelines for research artifacts in model-drivenengineering;and identifying manual changes to generated code: experiences from the industrial automation domain.
the proceedings contain 118 papers. the topics discussed include: towards personalized change propagation for collaborative modeling;towards conflict-free collaborative modelling using VS code extensions;in search of ...
ISBN:
(纸本)9781665424844
the proceedings contain 118 papers. the topics discussed include: towards personalized change propagation for collaborative modeling;towards conflict-free collaborative modelling using VS code extensions;in search of the essence of low-code: an exploratory study of seven development platforms;proposing a framework for impact analysis for low-code development platforms;towards automated semantic grouping in workflows for multi-disciplinary analysis;from builders to editors: bidirectional transformations of low-code models;interactive behavior-driven development: a low-code perspective;detecting quality problems in data models by clustering heterogeneous data values;a model-drivenengineering approach for monitoring machine learning models;and a modeldriven approach to building domain specific search engines.
暂无评论