yusuke1997/dblp-id-title huggingface dataset:
Meta-model Patterns for Expressing Relationships Between Organization Model Concepts and Software Implementation Concepts
Message from the MASE 2019 Chair
Classifying Distributed Self-* Systems Based on Runtime Models and Their Coupling
On the interaction of inter-relationship constraints
Model-driven development of DSML execution engines
An extended model-based characterization of fine-grained access control for SQL queries
19th International Workshop in OCL and Textual Modeling (OCL 2019) co-located with IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019), Munich, Germany, September 16, 2019
Deriving Correspondence Relationships to Guide a Multi-view Heterogeneous Composition
MBSE Methodology to Track and Validate the Interfaces of ANDES Spectrograph for E-ELT
Model-Driven Optimization: Towards Performance-Enhancing Low-Level Encodings
A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software
A Synopsis on Import Statements in Modeling Languages
A Unified Ontology-Based Process Model for Software Maintenance and Comprehension
Modeling Deep Reinforcement Learning Based Architectures for Cyber-Physical Systems
Current Issues in Teaching Software Modeling: Educators Symposium at MODELS 2008
Assessing the Frequency of Empirical Evaluation in Software Modeling Research
11th International Workshop on Aspect-Oriented Modeling
Explicit Transformation Modeling
Design and classification of mutation operators for OCL specification
A Graph Transformation Approach to Introducing Aspects into Software Architectures
Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS 2015, Ottawa, Canada, September 29, 2015
Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications
A Tool for Clustering Metamodel Repositories
Towards an MDA Mechanism for RESTful Services Development
Summary of the 10th International Workshop on Models@run.time
ProVer: an SMT-based approach for process verification
Umple: An Open-Source Tool for Easy-To-Use Modeling, Analysis, and Code Generation
Understanding Semantic Drift in Model Driven Digital Twins
Towards the use of Quality-of-Service Metrics in Reinforcement Learning: A Robotics Example
WAPIml: Towards a Modeling Infrastructure for Web APIs
Modeling Issues: a Survival Guide for a Non-expert Modeler
Synthesis and Exploration of Multi-level, Multi-perspective Architectures of Automotive Embedded Systems (SoSYM Abstract)
Introductory Software Engineering with a Focus on Dependency Management
Simplification and Correctness of UML Class Diagrams - Focusing on Multiplicity and Aggregation/Composition Constraints
Generation of Operational Transformation Rules from Examples of Model Transformations
Unit Testing of Model to Text Transformations
Ecoreification: Making Arbitrary Java Code Accessible to Metamodel-Based Tools
A Matlab-Internal DSL for Modelling Hybrid Rigid-Continuum Robots with TMTDyn
Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation MoDeVVa 2013, co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, USA, October 1st, 2013
Extending the NFR Framework with Measurable NonFunctional Requirements
Towards a Spreadsheet-Based Language Workbench
A Decade of Software Design and Modeling: A Survey to Uncover Trends of the Practice
Exploiting the Internet of Things to Teach Domain-Specific Languages and Modeling: The ArduinoML project
Mapping Aspect-Oriented Models to Aspect-Oriented Code
Model-driven Development of Adaptive IoT Systems
Create and Play Your Pac-Man Game with the GEMOC Studio
Language Design with Intent
Design Guidelines for the Development of Quality-Driven Model Transformations
On Integrating OCL and Triple Graph Grammars
Towards adaptive abstraction for continuous time models with dynamic structure
On metamodel superstructures employing UML generalization features
MMT: Mutation Testing of Java Bytecode with Model Transformation
Model-Driven Engineering and Optimizing Compilers: A Bridge Too Far?
Model-to-Metamodel Transformation for the Development of Component-Based Systems
Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools
Ontology-Based Pattern for System Engineering
Domain-Specific Model Editors with Model Completion
Agile Bottom-Up Development of Domain-Specific IDEs for Model-Driven Development
View-based and Model-driven Outage Management for the Smart Grid
Aspect Oriented User Requirements Notation
Practicing domain-specific languages: from code to models
A Technique for Automatic Validation of Model Transformations
Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015
Map/reduce on EMF models
Low-Code Flutter Application Development Solution
Run-Time Evolution through Explicit Meta-Objects
A Systematic Taxonomy of Metamodel Evolution Impacts on OCL Expressions
The instance model-view update problem in AADL
SuMo: A Supportive Modeling Language Environment for Guided Model Transformations
A Unified Approach to Modeling and Programming
Optimization Patterns for OCL-Based Model Transformations
Detecting mistakes in a domain model
Design guidelines for improving user experience in industrial domain-specific modelling languages
Key Properties for Comparing Modeling Languages and Tools: Usability, Completeness and Scalability
An OCL-based Bridge from Concrete to Abstract Syntax
Editing support for software languages: implementation practices in language server protocols
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, MPM@MoDELS 2012, Innsbruck, Austria, October 1-5, 2012
Foundations of a Multi-Paradigm Modelling Tool
Towards User-Friendly and Efficient Analysis with Alloy
Aspect-Oriented Feature Models
CD2Alloy: Class Diagrams Analysis Using Alloy Revisited
26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2023, Västerås, Sweden, October 1-6, 2023
Combining Ontology-enriched Domain-Specific Languages
Triple Graph Grammars or Triple Graph Transformation Systems?
Symbolic Execution for Realizability-Checking of Scenario-Based Specifications
A situational method for semi-automated enterprise architecture documentation (SoSyM abstract)
A Little Look Outside of the Box
Extending Complex Event Processing to Graph-structured Information
Prompting Bidirectional Model Transformations - The Good, The Bad and The Ugly
SML4C: Fully Automatic Classification of State Machine Models for Model Inspection in Education
The Conformance Relation Challenge: Building Flexible Modelling Frameworks
OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints
Model-driven development of families of Service-Oriented Architectures
Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report
Modeling the Engineering Process of an Agent-based Production System: An Exemplar Study
Towards Analysing Non-Determinism in Bidirectional Transformations
AC-ROS: assurance case driven adaptation for the robot operating system
Controlled experiment on the comprehension of runtime phenomena using models created at design time
An evaluation of Papyrus-RT for solving the leader-follower challenge problem
Remodularizing Legacy Model Transformations with Automatic Clustering Techniques
On the Need for Extended Transactional Models@Run.Time
Digital Twin Operational Platform for Connectivity and Accessibility using Flask Python
Grammar Maturity Model
Tooling advances inspired to address observed challenges of developing UML-like models when using modelling tools
ScoutSL: An Open-Source Simulink Search Engine
Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics Support
Joint Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems and 1st International Workshop on UML Consistency Rules (ACES-MB 2015 & WUCOR 2015) co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015
Constructive Techniques for Meta- and Model-Level Reasoning
An AADL-Based Approach to Variability Modeling of Automotive Control Systems
Streaming Model Transformations By Complex Event Processing
Towards a Formal Semantics of the TESL Specification Language
A study design template for identifying usability issues in graphical modeling tools
Advanced modelling made simple with the Gmodel metalanguage
A Container-Based Approach for Proactive Asset Administration Shell Digital Twins
ProMoBox in Practice : A Case Study on the GISMO Domain-Specific Modelling Language
Towards an Interoperable Textual Format for Model Differences Reporting
Automatic detection of incomplete requirements via symbolic analysis
Using an Ontology to Suggest Software Design Patterns Integration
10 years of Model Federation with Openflexo: Challenges and Lessons Learned
Teaching Playground for C&C Language EmbeddedMontiArc
Simgen: a tool for generating simulations and visualizations of embedded systems on the unity game engine
Model-driven regulatory compliance: A case study of "Know Your Customer" regulations
Modular model-based supervisory controller design for wafer logistics in lithography machines
Incremental Runtime-generation of Optimisation Problems using RAG-controlled Rewriting
Modeling Language Engineering Workshop (MLE 2023)
Interactive highlighting for digital UML class diagrams: a new feature
Towards Memory-Efficient Validation of Large XMI Models
Design Complexity Management in Embedded System Design
Industrial requirements for supporting AI-enhanced model-driven engineering
Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL
Propagating Decisions to Detect and Explain Conflicts in a Multi-step Configuration Process
Recommending Auto-completions for Software Modeling Activities
ModRec: A Tool to Support Empirical Study Design for Papyrus and the Eclipse Modeling Framework
Digital twin architecture for the AEC Industry : A case study in collective robotic construction
Practical application of the multi-level modeling playground
RobbyDBMS: a case study on hardware/software product line engineering
A model-based approach for multi-device user interactions
Learning Software Modeling with Virtual Reality
Bridging the Gap between Requirements Modeling and Behavior-Driven Development
Model-Driven Verifying Compilation of Synchronous Distributed Applications
From things' modeling language (ThingML) to things' machine learning (ThingML2)
Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors
Automatic Generation of Consistency-Preserving Edit Operations for MDE Tools
MDE-Based Approach for Generalizing Design Space Exploration
Model-driven development of condition monitoring software
A Configurator for Visual Analysis of Enterprise Architectures
Q: why is a raven like a writing desk?: A: they're both objects
Weaving System-Level Properties with Architectural Decomposition for Mechatronic Co-Design
Quantifying the variability mismatch between problem and solution space
Evolution of Model Clones in Simulink
Towards Understanding and Analyzing Rationale in Commit Messages Using a Knowledge Graph Approach
Empirical Analysis of the Relation between Level of Detail in UML Models and Defect Density
Model validity and tolerance quantification for real-time adaptive approximation
Teaching Modeling: Why, When, What?
Variability representations in class models: an empirical assessment
BPjs: an extensible, open infrastructure for behavioral programming research
Bridging Expertise Gaps in the WEF Nexus through Participatory Modeling: Insights from Oyo State, Southwest Nigeria
Engineering a ROVER Language in GEMOC STUDIO & MONTICORE: A Comparison of Language Reuse Support
Making UML "hip": A First Experience Report on Using Modern Teaching Tools for Object-Oriented Modelling
Proceedings of the 4th International Workshop on the Globalization Of Modeling Languages co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint Malo, France, October 4th, 2016
User-Centered Performance Engineering of Model Transformations
Participatory and Collaborative Modeling of Sustainable Systems: A Systematic Review
Software Analytics for MDE Communities
Building MDE Cloud Services with Distil
Bug localization in game software engineering: evolving simulations to locate bugs in software models of video games
Assisted Modelling Over Social Networks with SOCIO
Inter-modelling: From Theory to Practice
Empowering Model Repair: A Rule-Based Approach to Graph Repair Without Side Effects
Towards Scalable Model Views on Heterogeneous Model Resources
Towards Online Performance Model Extraction in Virtualized Environments
A Graph-Pattern Based Approach for Meta-Model Specific Conflict Detection in a General-Purpose Model Versioning System
A Business-Process-Driven Approach for Generating E-Commerce User Interfaces
DSL-Xpert: LLM-driven Generic DSL Code Generation
From UML and OCL to Relational Logic and Back
Rigorously Defining and Analyzing Medical Processes: An Experience Report
Automated Code Generation for NFC-based Access Control
Towards consistency management in low-code platforms
A parametric model for creating customized fabrication machines
Applying a Consistency Checking Framework for Heterogeneous Models and Artifacts in Industrial Product Lines
Defining Semantic Variations of Diagrammatic Languages Using Behavioral Programming and Queries
OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language
Programming against Multi-Version Metamodels: A Model Differencing and Virtualization Approach
Model-based dynamic QoS-driven service composition
MoDLF: a model-driven deep learning framework for autonomous vehicle perception (AVP)
Semantics of Co-simulation Algorithms with Simulator Contracts
HiLeS-T: an ADL for early requirement verification of embedded systems
Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada, September 29, 2015
Next Generation (Meta)Modeling: Web- and Cloud-based Collaborative Tool Infrastructure
Reusable event types for models at runtime to support the examination of runtime phenomena
Semantic comparisons of Alloy models
The First International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages (NFPinDSML2008)
Vision: developing collaborative model-driven apps for personalised care plans
A Systematic Review of the Use of Requirements Engineering Techniques in Model-Driven Development
15th System Analysis and Modelling Conference (SAM 2023)
Modeling Crisis Management System With the Restricted Use Case Modeling Approach
Learning on the Job: Supporting the Evolution of Designse
Multi-level modeling with MELANEE
Rule Chains Coverage for Testing QVT-Relations Transformations
Transformation rules from UML4MBT meta-model to SMT meta-model for model animation
Towards flexible object and class modeling tools: an experience report
Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines
A Controlled Experiment Template for Evaluating the Understandability of Model Transformation Languages
Towards LowDevSecOps Framework for Low-Code Development: Integrating Process-Oriented Recommendations for Security Risk Management
QAML: a multi-paradigm DSML for quantitative analysis of embedded system architecture models
Active World Model for Testing Autonomous Systems Using CEFSM
Consistency in the View-Based Development of Cyber-Physical Systems (Convide)
Generating Filmstrip Models from Actor-Based Systems
Automata Models for Effective Bug Pattern Description
A Model-driven Approach to Develop and Manage Cyber-Physical Systems
Measuring the Level of Abstraction and Detail of Models in the Context of MDD
From text to visual BPMN process models: design and evaluation
Translating AADL into BIP - Application to the Verification of Real-Time Systems
Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers
Model-driven Automated Deployment of Large-scale CPS Co-simulations in the Cloud
A Delta-Oracle for Fast Model Merge Conflict Estimation using Sketch-Based Critical Pair Analysis
MoDDiT 2021: 1 st International Workshop on Model-Driven Engineering for Digital Twins
Trends and Insights into the Use of Model-Driven Engineering: A Survey
Towards a solution avoiding Vendor Lock-in to enable Migration Between Cloud Platforms
A Method for Model-Driven Engineering of Digital Twins in Manufacturing
Scalable Semantic Annotation Using Lattice-Based Ontologies
SyVOLT: Full Model Transformation Verification Using Contracts
Proceedings of the Workshop on Flexible Model Driven Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2015), Ottawa, Canada, September 29, 2015
A Multilevel Modelling Approach for Tourism Flows Detection
Collaborative Live Modelling by Language-Agnostic Versioning
Co-simulation and Crop Representation for Digital Twins of Controlled Environment Agriculture Systems
Multi-level Language Descriptions
Supporting the Engineering of Multi-Fidelity Simulation Units With Simulation Goals
A Resource Oriented Modeling Approach for the Internet of Things: A Business Process Perspective
Modeling Features at Runtime
Using Microsoft PowerApps, Mendix and OutSystems in Two Development Scenarios: An Experience Report
Metamodel-Based Information Integration at Industrial Scale
An Empirical Study of the Impact of OCL Smells and Refactorings on the Understandability of OCL Specifications
Towards a Base Model for UML and OCL Verification
Tool Support for Conflict Resolution of Models for Automated Enterprise Architecture Documentation
Automating test schedule generation with domain-specific languages: a configurable, model-driven approach
Preface to MDE Intelligence 2019: 1st Workshop on Artificial Intelligence and Model-Driven Engineering
Architectural Templates: Engineering Scalable SaaS Applications Based on Architectural Styles
DoMoBOT: An AI-Empowered Bot for Automated and Interactive Domain Modelling
Using CVL to operationalize product line development with reusable aspect models
Challenges & opportunities in low-code testing
Dynamic Generation of Context-Adaptive Web User Interfaces through Model Interpretation
What do Metamodels Really Look Like?
Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior
Towards Automated Test Scenario Generation for Assuring COLREGs Compliance of Autonomous Surface Vehicles
Translating Behavior Trees to Petri Nets for Model Checking
A Context-Based Behavioral Language for IoT
Aspect-oriented Concrete Syntax Definition for Deep Modeling Languages
Proceedings of the Workshop on Multi-Level Modelling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), Valencia, Spain, September 28, 2014
Process mining using BPMN: relating event logs and process models
A Formal Semantics of UML-RT
Building Heterogeneous Models at Runtime to Detect Faults in Ambient-Intelligent Environments
Evaluating the Quality in the Use of Domain-Specific Languages in an Agile Way
Component-based modeling of dynamic systems using heterogeneous composition
A Unified Approach to Model Non-Functional Properties of Mobile Context-Aware Software
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, MODELS Companion 2024, Linz, Austria, September 22-27, 2024
UML@Classroom: An Introduction to Object-Oriented Modeling
Native Support for UML and OCL Primitive Datatypes Enriched with Uncertainty in USE
Essentials of the 5th Educators' Symposium at MODELS 2009
trans ML: A Family of Languages to Model Model Transformations
Proceedings of the 8th edition of the Educators' Symposium, EduSym 2012, Innsbruck, Austria, October 01, 2012
A Model Checkable UML Soccer Player
Identifying manual changes to generated code: Experiences from the industrial automation domain
Recommending Model Refactoring Rules from Refactoring Examples
A UML Simulator Based on a Generic Model Execution Engine
Remodularizing Java programs for comprehension of features
Towards Continuous Evolution through Automatic Detection and Correction of Service Incompatibilities
Symbolic Representation of Models Improves Model Understanding and Tendency to Use Models
Comparing High- and Low-Level Model Representations for Evolutionary Algorithms
Advanced Techniques and Tools for Secure Collaborative Modeling
Textual, Executable, Translatable UML
PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems
Towards the systematic design of model animation: key ingredients and general guidelines
Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
Vision Paper: Make a Difference! (Semantically)
Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks
Models@run.time for Object-Relational Mapping Supporting Schema Evolution
An implementation of multi-level modelling in F-logic
On the Scalability Criterion for Comparing Modeling Approaches
Using Ontologies in the Domain Analysis of Domain-Specific Languages
Virtual soccer champions: a case study on artifact reuse in soccer robot digital twin construction
What Your Mother Forgot to Tell you About Modeling - and Programming
Dynamic data management for continuous retraining
Preface to the 13th Workshop on Models and Evolution (ME2019)
Relating Navigation and Request Routing Models in Web Applications
ALFI: Action Language for Foundational UML as an Intermediate Language for Model Transformations in JetBrains MPS
Towards round-trip engineering of code fragments embedded in models
Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), Valencia, Spain, September 29, 2014
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018
Seeing Errors: Model Driven Simulation Trace Visualization
General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool
From Pen-and-Paper Sketches to Prototypes: The Advanced Interaction Design Environment
Making sense of UML class model changes by textual difference presentation
Multilevel Modelling with MultEcore: A Contribution to the MULTI 2017 Challenge
Delta-driven collaborative modeling
Monitoring Association Constraints in Model-Oriented Programming
Combining and Simplifying the Mental Models of Participants: An Edge Centrality-Based Method for Fuzzy Cognitive Maps
Verification of railway network models with EVEREST
Modeling Executable Architectural Design Patterns for Software Product Lines
Teaching low-code development with BESSER
Designing Web Content Management Systems Using the Method Association Approach
On the Impact of Diagram Layout: How Are Models Actually Read?
WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications
From Deployment to Platform Exploration: Automatic Synthesis of Distributed Automotive Hardware Architectures
Modeling self-adaptative IoT architectures
Readly - Books Rating Low-Code Platform
Scalable N-Way Model Matching Using Multi-Dimensional Search Trees
Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at Kostal
Pushing the boundaries of planned reuse with concern specific modelling languages
A modeling assistant for cognifying MBSE tools