yusuke1997/dblp-id-title huggingface dataset:
Managing Schema Migration in NoSQL Databases: Advisor Heuristics vs. Self-adaptive Schema Migration Strategies
Towards a Model Transformation Tool on the Top of the OpenCL Framework
Virtual61850: A Model-Driven Tool to Support the Design and Validation of Virtualized Controllers in Power Industry
Modular Construction of Context-Specific Test Case Migration Methods
Automated Model-based Testing Based on an Agnostic-platform Modeling Language
Contextual Representations for Enterprise Model Application (C.R.E.M.A.)
Addressing Model Complexity in Automotive System Development - Selection of System Model Elements for Allocation of Requirements
Process Development for the Liquid-sensing Enterprise
NICE: A Flexible Expression Language
Survey on Textual Notations for the Unified Modeling Language
Advancing IoT Architectures Using Collaborative Computing Paradigms for Dynamic and Scalable Systems
Towards Interactive Mining of Understandable State Machine Models from Embedded Software
A Model-driven Process for Data Transformation of Heterogeneous Data
Acknowledging Implementation Trade-Offs When Developing with Units of Measurement
Towards Non-intrusive Composition of Executable Models
Model-based Adaptation of Cloud Computing Applications
UML Associations - Reducing the Gap in Test Coverage between Model and Code
Ontology then Agentology: A Finer Grained Framework for Enterprise Modelling
Towards a Theory of Models in Systems Development Modeling
A Framework for Multi-level Modeling of Analog/Mixed Signal Embedded Systems
Functional Decomposition for Software Architecture Evolution
Model-Driven Engineering and Software Development - Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers
An EMF-based Toolkit for Creation of Domain-specific Data Services
Abstract Test Execution for Early Testing Activities in Model-Driven Scenarios
Clone Detection for Ecore Metamodels using N-grams
Adaptation and Implementation of the ISO42010 Standard to Software Design and Modeling Tools
Static Analysis and Testing of Executable DSL Specification
Optimizing Python Code Metrics Feature Reduction Through Meta-Analysis and Swarm Intelligence
Ontology-Driven Conceptual Modeling for Early Warning Systems: Redesigning the Situation Modeling Language
Knowledge Modeling in the Health Care Domain to Support Software Development & Maintenance
Combining Test and Proof in MBAT - An Aerospace Case Study
Performability Modeling of Manual Resolution of Data Inconsistencies for Optimization of Data Synchronization Interval
High-level Partitioning and Design Space Exploration for Cyber Physical Systems
Polymer - A Model-driven Approach for Simpler, Safer, and Evolutive Multi-objective Optimization Development
Model-to-Model Transformations for Efficient Time-domain Verification of Concurrent Models by NuSMV Modules
Supporting Simulation Experiments with Megamodeling
Conceptual Story Modeling and Model-driven Architecture for Story Creation
AI-Integrated Framework for Enhancing High Level Architecture Design Across System Lifecycle Stages
Ubtl - UML Testing Profile based Testing Language
Automatic Evaluation and Partitioning of Algorithms for Heterogeneous Systems
Coding by Design: GPT-4 Empowers Agile Model Driven Development
Extending EAST-ADL for Modeling and Analysis of Partitions on Functional Architectures
Verifying Static Constraints on Models Using General Formal Verification Methods
Towards Applying a Model Driven Approach to Generate Gamified Graphical User Interfaces
iArch - An IDE for Supporting Abstraction-aware Design Traceability
Automated DSL Construction Based on Software Product Lines
Using Model Driven Engineering to Support Multi-paradigms Security Analysis
Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs
Self-describing Operations for Multi-level Meta-modeling
Towards Multi-Level Structuring of Goal-Oriented Models for Improved Model-Based Systems Engineering
Design of a Simulation Framework for Model-based Learning
Search-based Decision Ordering to Facilitate Product Line Engineering of Cyber-Physical System
Data Harvesting, Curation and Fusion Model to Support Public Service Recommendations for e-Governments
A UML Profile for the Specification of System Architecture Variants Supporting Design Space Exploration and Optimization
Towards a Method for Combined Model-based Testing and Analysis
A Toolchain for Model-based Design and Testing of Access Control Systems
Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information
A PIM-to-Code Requirements Engineering Framework
Do we Really Need to Write Documentation for a System? - CASE Tool Add-ons: Generator+Editor for a Precise Documentation
Consistency of UML Class and Statechart Diagrams with State Invariants
An Architecture-independent Data Model for Managing Information Generated by Human-chatbot Interactions
InTra: A Pragmatic Approach of Using Rule-Based Model Transformation to Reduce Complexity of UML and SysML Models
Model-driven Development of Interactive Web User Interfaces with HTML5
Discerning Quantities from Units of Measurement
A Bottom Up SPL Design Method
Extraction Process of the Logical Schema of a Document-oriented NoSQL Database
Sommelier: A Tool for Validating TOSCA Application Topologies
An Integrated Building Management Platform for Investment into Renewable Energy System and SRI Compliance
Model-based Development of Modular Complex Systems for Accomplishing System Integration for Industry 4.0
Translating Multi-device Task Models to State Machines
Towards a Common Understanding of Business Process Instance Data
DoMoRe - A Recommender System for Domain Modeling
Challenges in Modeling and Unmodeling Complex Reactive Systems: Interaction Networks, Reaction to Emergent Effects, Reactive Rule Composition, and Multiple Time Scales
Reusing Platform-specific Models in Model-Driven Architecture for Software Product Lines
Comparing System- and Test Model with Integrated Software-based Signal Simulation
Modelling CAD Models - Method for the Model Driven Design of CAD Models for Deep Drawing Tools
Creating and Analyzing Source Code Repository Models - A Model-based Approach to Mining Software Repositories
Override Traditional Decision Support Systems - How Trajectory ELT Processes Modeling Improves Decision Making?
What are the used Activity Diagram Constructs? - A Survey
Integrating Interface Modeling and Analysis in an Industrial Setting
Analysis and Evaluation of Conformance Preserving Graph Transformation Rules
An Ontological Context Modeling Framework for Coping with the Dynamic Contexts of Cyber-physical Systems
Model-Based Static and Runtime Verification for Ethereum Smart Contracts
Why Do We Not Learn from Defects? - Towards Defect-Driven Software Process Improvement
Digital Twins: Models Everywhere
Short Seminars on MDE Technologies - International Experiences
Comparative Evaluation of NLP Approaches for Requirements Formalisation
Cycle-Accurate Virtual Prototyping with Multiplicity
Model-driven Approach for Privacy Management in Business Ecosystem
RCM-Extractor: Automated Extraction of a Semi Formal Representation Model from Natural Language Requirements
On the Evolution of Modeling Ecosystems: An Evaluation of Co-Evolution Approaches
On Augmenting Scenario-Based Modeling with Generative AI
Experiences and Lessons from Introducing Model-Based Analysis in Brown-Field Product Family Development
MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19 - 21 February, 2013
A Multi-Model Reviewing Approach for Production Systems Engineering Models
Automated Throughput Optimization of Cloud Services via Model-driven Adaptation
EXE-SPEM: Towards Cloud-based Executable Software Process Models
A Formalisation of Analysis-based Model Migration
Realizing Multi-variant Model Transformations on Top of Reused ATL Specifications
Survey on the Applicability of Textual Notations for the Unified Modeling Language
A Learning Architecture for Complex Organization
Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry
A Framework for UML-Based Component-Based Design and Code Generation for Reactive Systems
The Lost Art of Software Architecture Modelling
Customer Co-Creation in Smart Production Ecosystems - Opportunities and Challenges for MDE
Integrating Security Protocols in Scenario-based Requirements Specifications
A Graph-based Algorithm for Three-way Merging of Ordered Collections in EMF Models
Interfacing Digital and Analog Models for Fast Simulation and Virtual Prototyping
The Need for Context in Software Engineering
Next-Generation Design Tools for Intelligent Transportation Systems
Model-Based Assessment of Conformance to Acknowledged Security-Related Software Architecture Good Practices
Towards Multi-editor Support for Domain-Specific Languages Utilizing the Language Server Protocol
AI Systems Trustworthiness Assessment: State of the Art
Towards Managing Data Variability in Multi Product Lines
Facilitating User-Centric Model-Based Systems Engineering Using Generative AI
Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models
CloudTL: A New Transformation Language based on Big Data Tools and the Cloud
Efficient Modelling with Logic-Labelled Finite-State Machines of IEC 61499 Function Blocks: Simulation, Execution and Verification
Use of Architecture Description to Maintain Consistency in Agile Processes
An Ontology-Based Process Editor for Generating Model Mapping in Tool Integration
A Combination of V Development Life Cycle and Model-based Testing to Deal with Software System Evolution Issues
A Novel Family of Queuing Network Models for Self-adaptive Systems
IML: Towards an Instructional Modeling Language
Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems
Integrating UML and ALF: An Approach to Overcome the Code Generation Dilemma in Model-Driven Software Engineering
A Consistency-Preserving Editing Model for Dynamic Filtered Engineering of Model-Driven Product Lines
Evolving Attacker Perspectives for Secure Embedded System Design
Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering, MODELSWARD 2025, Porto, Portugal, February 26-28, 2025
Multi-Concerns Engineering for Safety-Critical Systems
Using Personalised Authentication Flows to Address Issues with Traditional Authentication Methods
Test Adapter Generation Based on Assume/Guarantee Contracts for Verification of Cyber-Physical Systems
A Methodological Assistant for UML and SysML Use Case Diagrams
Constructive Assertions with Abstract Models
ATMO: Autonomous Train Map Ontology
Resilient BPMN: Robust Process Modeling in Unreliable Communication Environments
Bidirectional Transformations with QVT-R: A Case Study in Round-trip Engineering UML Class Models and Java Source Code
Verifiable Executable Models for Decomposable Real-time Systems
The Lessons the Models Taught us
Towards Co-evolution in Model-Driven Development Via Bidirectional Higher-Order Transformation
Model-based Approach for Implementation of Software Configuration Management Process
A Formal Semantics for Sequence Diagrams and a Strategy for System Analysis
Concurrent History-based Usage Control Policies
From ML2 to ML2+: Integrating Time Series Forecasting in Model-Driven Engineering of Smart IoT Applications
Direct Model-checking of SysML Models
Application of a Process-Oriented Build Tool for Flight Controller Development Along a DO-178C/DO-331 Process
Realizing a Conceptual Framework to Integrate Model-Driven Engineering, Software Product Line Engineering, and Software Configuration Management
From Requirements to Code - A Full Model-Driven Development Perspective
Model-based Development and Assurance of Learning-enabled Cyber-Physical Systems
Behaviour-Oriented OPC UA Information Model Development for CPPS
Abstracting Complexity in MBSE Models: InTra - A Practical Approach for Rule-Based Model Transformation
From Model to Rig - An Automotive Case Study
Decoupling Language and Editor - The Impact of the Language Server Protocol on Textual Domain-Specific Languages
Matching and Merging Scenarios Automatically with Alloy
A Model Based Approach for Complex Dynamic Decision-Making
Text-To-Model (TeToMo) Transformation Framework to Support Requirements Analysis and Modeling
Towards Abstract Test Execution in Early Stages of Model-driven Software Development
A Process-oriented Build Tool for Safety-critical Model-based Software Development
Once upon a Time, There Was Papyrus...
Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023
Model-to-Model based Approach for Software Component Allocation in Embedded Systems
A Model-Driven fUML Execution Engine for C++
Improving Modeling with Layered UML Diagrams
Behind the Scenes of the BPMN Extension Mechanism - Principles, Problems and Options for Improvement
Meta Model Extensibility of BPMN: Current Limitations and Proposed Improvements
A Model-Based Approach to Experiment-Driven Evolution of ML Workflows
Dedicated Model Transformation Languages vs. General-purpose Languages: A Historical Perspective on ATL vs. Java
Model-Based Virtual Prototyping of CPS: Application to Bio-Medical Devices
MDE for Enterprise Application Systems
Formal and Virtual Multi-level Design Space Exploration
Transforming Domain Specific Modeling Languages into Feature Models
Rigorous Modelling of Quantities for Model-Based Systems Engineering
Extending Graphical Part of the Interaction Flow Modeling Language to Generate Rich Internet Graphical User Interfaces
A Methodological Assistant for Use Case Diagrams
Towards Automated Generation of Regulation Rule Bases using MDA
HyperGraphOS: A Meta Operating System for Science and Engineering
The Challenges of Defining and Parsing Multi-Layer DMLA Models
A Data Extraction Process for Avionics Systemsl Interface Specifications
Data Integration between Objectiver and DB-Main: A Case Study of a Model-Driven Interoperability Bridge
Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems
An MDE Method for Improving Deep Learning Dataset Requirements Engineering using Alloy and UML
RITSA: Toward a Retrieval-Augmented Generation System for Intelligent Transportation Systems Architecture
A Modeling Workbench for the Development of Situation-specific Test Co-migration Methods
Generation of Inductive Types from Ecore Metamodels
Test Generation for Performance Evaluation of Mobile Multimedia Streaming Applications
Dataflow-based Heterogeneous Code Generator for IoT Applications
Specification of Adaptable Model Migrations
Comparative Analysis of Workbenches to Support DSMLs: Discussion with Non-Trivial Model-Driven Development Needs
Interactive Measures for Mining Understandable State Machines from Embedded Software: Experiments and Case Studies
A Model Compilation Approach for Optimized Implementations of Signal-processing Systems
Models in Software Architecture Derivation and Evaluation - Challenges and Opportunities
Enhancing Deep Learning with Scenario-Based Override Rules: A Case Study
Model-driven Service Engineering Towards the Manufacturing Liquid-sensing Enterprise
Towards World Model-based Test Generation in Autonomous Systems
Exchanging Solutions for Information Systems Development using a Model Pattern Perspective - Diagram Templates in the Context of the Mdarte Collaborative Evolution Process
Towards Statistical Comparison and Analysis of Models
Implementing Contract-based Software Architectures in Java: The Structural, Behavioural, and Interaction Design Decisions
Supporting Concurrent Development of Requirements and Architecture - A Model-based Approach
Metamodel and Model Composition by Integration of Operational Semantics
An Empirical Study on the Impact of Scrumban on Geographically Distributed Software Development
ArchiMEO: A Standardized Enterprise Ontology based on the ArchiMate Conceptual Model
Aocl : A Pure-Java Constraint and Transformation Language for MDE
Analysis of the Evolution of the UML Metamodel
XIS-Reverse: A Model-driven Reverse Engineering Approach for Legacy Information Systems
Domain-specific Language and Tools for Strategic Domain-driven Design, Context Mapping and Bounded Context Modeling
Multi-Paradigm Modelling of Cyber-Physical Systems
Creating User-specific Business Process Monitoring Dashboards with a Model-driven Approach
Deterministic High-Level Executable Models Allowing Efficient Runtime Verification
A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis
Model-driven Engineering Tool Comparison for Architectures within Heterogenic Systems for Electric Vehicle
Metamodelling with Formal Semantics with Application to Access Control Specification
Aggregate Callback - A Design Pattern for Flexible and Robust Runtime Model Building
Composition of Domain Specific Modeling Languages - An Exploratory Study
Classification Scheme for the Concrete Syntax of Graph-like Modeling Languages for Layout Algorithm Reuse
SysML Models Verification Relying on Dependency Graphs
Early Fault-Detection in the Development of Exceedingly Complex Reactive Systems
Hardware In the Loop for VDM-Real Time Modeling of Embedded Systems
Transformation-Wise Design of Software Architectures
Deterministic Executable Models Verified Efficiently at Runtime - An Architecture for Robotic and Embedded Systems
Automatic Generation of Models from Their Metamodels Using Multilayer Perceptron Network
Objecting to the Revolution: Model-Based Engineering and the Industry - Root Causes Beyond Classical Research Topics
Conversion Method of MATLAB/Simulink Model for a Functional Resonance Analysis Method-based Model
A UML Profile for Automatic Code Generation of Optimistic Graceful Degradation Features at the Application Level
A Taxonomy of Change Types for Textual DSL Grammars
The Secret Recipe to the Perfect Low-Code Platform
Emerging Concepts and Trends in Collaborative Modeling: A Survey
Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations
A Survey of Object-Relational Transformation Patterns for High-performance UML-based Applications
Refining Automation System Control with MDE
Runtime Translation of Model-Level Queries to Persistence-Level
Virtual Worlds on Demand? Model-Driven Development of JavaScript-based Virtual World UI Components for Mobile Apps
High Level Design of Adaptive Real-time Embedded Systems - A Survey
MOF-VM: Instantiation Revisited
Enabling Incremental SysML Model Verification: Managing Variability and Complexity Through Tagging and Model Reduction
Domain-Driven Architecture Modeling and Rapid Prototyping with Context Mapper
Fault Tree Reliability Analysis via Squarefree Polynomials
Use Case and User Interface Patterns for Data Oriented Applications
DecSup: An Architecture Description Language for Specifying and Simulating the Decision Support System Architectures
Integrating Kahn Process Networks as a Model of Computation in an Extendable Model-based Design Framework
Generic and Distributed Runtime Environment for Model-driven Game Development
Ontology-Driven LLM Assistance for Task-Oriented Systems Engineering
Evaluating the Quality of Class Diagrams Created by a Generative AI: Findings, Guidelines and Automation Options
An Integrated Framework to Develop Domain-Specific Languages: Extended Case Study
SciModeler: A Metamodel and Graph Database for Consolidating Scientific Knowledge by Linking Empirical Data with Theoretical Constructs
Model-based System Engineering for Fault Tree Generation and Analysis
Multi-view FMEA Re-validation: Efficient Risk and Engineering Knowledge Integration in Agile Production Systems Engineering
Reuse and Customization for Code Generators: Synergy by Transformations and Templates
Transparency of Tools: Beyond Usability in Modeling Tools
Automating the Customization of Model-Driven Software Engineering Environments
Towards a Meta-model of the Cloud Computing Resource Landscape
TRILATERAL: Software Product Line based Multidomain IoT Artifact Generation for Industrial CPS
Verifiable Parameterised Behaviour Models - For Robotic and Embedded Systems
WebDPF: A Web-based Metamodelling and Model Transformation Environment
UMLDS: A Round-Trip Engineering Support Tool to Avoid Unintended Design Changes
Architecture Framework for Modeling the Deployment of Parallel Applications on Parallel Computing Platforms
Defining Services and Service Orchestrators Acting on Shared Sensors and Actuators
Towards a Lightweight Model-driven Smart-city Digital Twin
An Y MDE Approach for Enactable Software Process Models Generation
World Wide Modeling Made Easy - A Simple, Lightweight Model Server
SEMF - The Semantic Engineering Modeling Framework - Bringing Semantics into the Eclipse Modeling Framework for Space Systems Engineering
PSCS4CPP: A Generative PSCS Implementation for C++
Process Oriented Training with ADOxx: A Model-Based Realisation in Learn PAd
Dependency Graphs to Boost the Verification of SysML Models
Validating TOSCA Application Topologies
Evolving Legacy Model Transformations to Aggregate Non Functional Requirements of the Domain
Towards Automated fUML Model Verification with Petri Nets
Challenging a Transformation-Wise Architecture Framework in a Comparative Case Study
Cognitive Feedback and Behavioral Feedforward Automation Perspectives for Modeling and Validation in a Learning Context
A Mechanism for Data Interchange Between Embedded Software Sub-systems Developed using Heterogenous Modeling Domains
Historical Knowledge Modelling and Analysis through Ontologies and Timeline Extraction Operators: Application to Computing Heritage
Executable Modeling for Reactive Programming
A Domain Specific Language to Design New Control Architectures for Smart Grids
A Test-Driven Approach for Developing Software Languages
An Approach to Class Diagram Design
Torque not Work, Representing Kinds of Quantities
OntoIFML: Automatic Generation of Annotated Web Pages from IFML and Ontologies using the MDA Approach: A Case Study of an EMR Management Application
Architecture Optimization with SysML Modeling: A Case Study Using Variability
Interactive Visualization of Differences between Software Model Versions
Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework
Model-Driven Engineering and Software Development - 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers
Workplace Learning - Providing Recommendations of Experts and Learning Resources in a Context-sensitive and Personalized Manner - An Approach for Ontology Supported Workplace Learning
An Integrated Framework for Running Extended Class Models
Enabling Sustainable Interoperability for Enterprise Applications with Knowledge Links
Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, AMARETTO@MODELSWARD 2016, Rome, Italy, February 19-21, 2016
Designing Safe and Secure Embedded and Cyber-Physical Systems with SysML-Sec
RuCORD: Rule-based Composite Operation Recovering and Detection to Support Cooperative Edition of (Meta)Models
Modular and Distributed Verification of SysML Activity Diagrams
A Deployment-oriented Development Process based on Context Variability Modeling
Towards a Classification Framework for the Digital Twin Tools: A Taxonomy
SRCM: A Semi Formal Requirements Representation Model Enabling System Visualisation and Quality Checking
Mutation of Formally Verified SysML Models
Assessment of EMF Model to Text Generation Strategies and Libraries in an Industrial Context
Navigating Dimensionality Through State Machines in Automotive System Validation
A Framework for Model Recommenders - Requirements, Architecture and Tool Support
Tool Support for the Evaluation of Matching Algorithms in the Eclipse Modeling Framework
Managing Variability in Models and Derived Artefacts in Model-driven Software Product Lines
A Model-driven Implementation of PSCS Specification for C++