yusuke1997/dblp-id-title huggingface dataset:
Continuous Integration in Multi-view Modeling: A Model Transformation Pipeline Architecture for Production Systems Engineering
Lightweight Realization of UML Ports for Safety-Critical Real-Time Embedded Software
An Engineer-Friendly Terminology of White, Black and Grey-Box Models
Efficient Data-Flow Analysis of UML/SysML Diagrams for Optimized Model Compilation of Hardware-software Systems
A Metamodel and Model-based Design Rule Checking DSL for Verification and Validation of Electronic Circuit Designs
Evaluating Multi-variant Model-To-Text Transformations Realized by Generic Aspects
Model-driven Engineering for the Configuration and Deployment of Data Processing Applications
A Systematic Method to Derive Software Services and Requirements from Business Models
Systematic Synthesis of Energy-Aware Timing Models in Automotive Software Systems
On Designing Recommenders for Graphical Domain Modeling Environments
SHORE: A Model-driven Approach That Combines Goal, Semantic and Variability Models for Smart HOme self-REconfiguration
Using fUML Combined with a DSML: An Implementation using Papyrus UML/SysML Modeler
UML-based Design and Verification Method for Developing Dependable Context-aware Systems
Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020
The Eclipse Java Metamodel - Scaffolding Software Engineering Research on Java Projects with MDE Techniques
Towards a Generalized Queuing Network Model for Self-adaptive Software Systems
Classifying Unstructured Models into Metamodels using Multi Layer Perceptrons
Decomposable and Executable Models for Verification of Real-Time Systems
Prevent Collaboration Conflicts with Fine Grained Pessimistic Locking
Development of Adaptive Multi-cloud Applications - A Model-Driven Approach
How to Bootstrap a Language Workbench
Validation of Requirements Models Using a Graph
Consistent Projectional Text Editors
On using Colors in UML Models
MODELSWARD 2016 - Proceedings of the 4rd International Conference on Model-Driven Engineering and Software Development, Rome, Italy, 19-21 February, 2016
Cost-Risk Optimization Applied in the Context of Regulation
Automatic Verification of Behavior of UML Requirements Specifications using Model Checking
Model-driven Development for User-centric Well-being Support - From Dynamic Well-being Domain Models to Context-aware Applications
Model Federation based on Role Modeling
Automatic Code Generation for a Seamless Low-cost Development Platform
The EMF Parsley DSL for Developing EMF Applications
An Expression Language for Model Transformations
Themulus: A Timed Contract-calculus
A Modular Method for Global System Behaviour Specification
From Monolithic Models to Agile Micromodels
Exploring DSL Evolutionary Patterns in Practice - A Study of DSL Evolution in a Large-scale Industrial DSL Repository
Towards Executable UML Interactions based on fUML
ATL Transformation of Queueing Networks to Queueing Petri Nets
SLMToolBox - A Tool Set for Service Engineering
Domain-Specific Modelling Languages: Challenges and Opportunities
Towards Model Transformation with Structural Level-spanning Patterns
The Effect of Concurrent Programming Idioms on Verification - A Position Paper
Making Model-Driven Verification Practical and Scalable - Experiences and Lessons Learned
Maintaining Workspace Consistency in Filtered Editing of Dynamically Evolving Model-driven Software Product Lines
Pattern-based Mapping of OCL Specifications to JML Contracts
Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain
Model-driven Approach for the Interoperability of Enterprisesr Services Information Exchange
Automating Feature Modeling in Product Line Engineering for Systems Engineering: The Application of Natural Language Processing
Improving Requirements in Model-Based Systems Engineering Through Multi-layer Goal Models
Real Models are Really on M0 - Or How to Make Programmers Use Modeling
Engineering Model Recommender Foundations - From Class Completion to Model Recommendations
Augmenting Deep Neural Networks with Scenario-Based Guard Rules
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira - Portugal, January 22-24, 2018
An Automated and Intelligent Interface Embracing Process Awareness into User Workspace
A Model-Driven Method for Fast Building Consistent Web Services in Practice
ReIOS: Reflective Architecting in the Internet of Objects
Towards Including Layout Properties for Modeling Graphical User Interfaces - Generic Properties for GUI Metamodels
Verification of Scenario-based Behavioural Models using Capella and PyNuSMV
Optimising Model-transformations using Design Patterns
An Aspect-Oriented Model Transformation to Weave Security using CVL
Towards a Model Transformation based Code Renovation Tool
Application Configuration via UML Instance Specifications
A MapReduce-based Approach for Finding Inexact Patterns in Large Graphs
Models in Software Architecture Derivation and Evaluation: Challenges and Opportunities
Characterization of Software Design and Collaborative Modeling in Open Source Projects
Model-driven Engineering and Simulation of Industrial Robots with ROS
Towards Traceability Modeling for the Engineering of Heterogeneous Systems
A Framework for Flexible Program Evolution and Verification of Distributed Systems
AI-Based Recognition of Sketched Class Diagrams
Towards Domain-specific Flow-based Languages
Virtual Prototyping of Large-scale IoT Control Systems using Domain-specific Languages
Automated Web Service Composition Testing as a Service
Extending UML Templates towards Computability
An Approach to Define and Apply Collaboration Process Patterns for Software Development
Arrangements of Finite-state Machines - Semantics, Simulation, and Model Checking
Challenges and Opportunities of Modularizing Textual Domain-Specific Languages
Evaluating the Multi-variant Model Transformation of UML Class Diagrams to Java Models
Supporting CRUD Model Operations from EOL to SQL
A Framework for Metamodel Composition and Adaptation with Conformance-Preserving Model Migration
Model-Based Programming for Multi-processor Platforms with TTool/DIPLODOCUS and OMC
IFVM Bridge: A Virtual Machine for IFML Models Execution in Combination with Domain Models
Model-Based Systems Engineering Tools - Devoloping the GUILTE System
Complex Event Processing for User-Centric Management of IoT Systems
On the Interest of Combining Several Variability Tactics to Design the Implementation of Product Lines
Exploiting Meta-Model Structures in the Generation of Xtext Editors
A MDE Framework for Semi-automatic Development of Web Applications
Improving Digital Twin Experience Reports
Model-Driven Engineering and Software Development - 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers
Towards Model-driven Fuzzification of Adaptive Systems Specification
Future Directions for MBSE with SysML v2
Bridging XML and UML - An Automated Framework
The Seamless Low-cost Development Platform LoRra for Model based Systems Engineering
Composition of Heterogeneous Modeling Languages
Evaluation of XIS-Reverse, a Model-Driven Reverse Engineering Approach for Legacy Information Systems
Graphical Debugging of Distributed Applications - Using UML Object Diagrams to Visualize the State of Distributed Applications at Runtime
Axioms of Linguistic Architecture
UgameFeature: Automatic Code Generation for Unity Game Projects
Iterative Diagnosis-Driven Augmented Generation (IDDAG) for Programmatic 3D CAD
Requirement Formalisation Using Natural Language Processing and Machine Learning: A Systematic Review
Technology Enhanced Support for Learning Interactive Software Systems
A Language for Enabling Model-Driven Analysis of Business Processes
Specifying Trace Directives for UML Attributes and State Machines
BXtend - A Framework for (Bidirectional) Incremental Model Transformations
Model Driven Architecture based Testing Tool based on Architecture Views
TRILATERAL: A Model-Based Approach for Industrial CPS - Monitoring and Control
On the Support of Multi-perspective Process Models Variability for Smart Environments
Meta-models Combination for Reusing Verification Techniques
Building a Privacy Accountable Surveillance System
Using a Projectional Editor to Implement Interactive Model Navigation and View Control
From User Stories to Models: A Machine Learning Empowered Automation
Model-Driven Engineering and Software Development - 9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers
Modelling and Enterprises - The Past, the Present and the Future
Analyzing Frame Conditions in UML/OCL Models - Consistency Equivalence and Independence
Model-based Generation of Hazard-driven Arguments and Formal Verification Evidence for Assurance Cases
Case Studies in Model-Driven Reverse Engineering
Digital Twin System of Systems: A Layered Architecture Proposal
About Synergies between Model-based Engineering and Artificial Intelligence
TASSA: A Testing as a Service Framework for Web Service Compositions
Refinements and Structural Decompositions in Generated Code
Architectural View Driven Model Transformations for Supporting the Lifecycle of Parallel Applications
Towards a Domain-Specific Modelling Environment for Reinforcement Learning
Cost-aware Scheduling of Software Processes Execution in the Cloud
Safe Behavior Model Synthesis: From STPA to LTL to SCCharts
Visualizing Errors and Inconsistencies in the DSML IEC 61499
Towards Privacy-aware Software Reuse
A Model based Realisation of Actor Model to Conceptualise an Aid for Complex Dynamic Decision-making
Realization of a Machine Learning Domain Specific Modeling Language: A Baseball Analytics Case Study
Model-Driven Engineering and Software Development - 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020, Revised Selected Papers
Performance Aspects of Correctness-oriented Synthesis Flows
Using Reactive-System Modeling Techniques to Create Executable Models of Biochemical Pathways
A Semantic Analysis of Interface Description Models of Heterogeneous Vehicle Application Frameworks: An Approach Towards Synergy Exploration
Challenges of Model-driven Modernization - An Agile Perspective
The Smart Grid Simulation Framework: Model-Driven Engineering Applied to Cyber-Physical Systems
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019
SALT Frameworks to Tackle Surveillance and Privacy Concerns
MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014
Vulnerability Mapping and Mitigation Through AI Code Analysis and Testing
Classifying Approaches for Constructing Single Underlying Models
Verification and Simulation of Time-Domain Properties for Models of Behaviour
Verifying OCL Operational Contracts via SMT-based Synthesising
Natural-language Scenario Descriptions for Testing Core Language Models of Domain-Specific Languages
Integrating Existing Proprietary System Models into a Model-driven Test Process for an Industrial Automation Scenario
Model-Driven Engineering and Software Development - 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019, Revised Selected Papers
A Domain Specific Language for Stepwise Design of Software Architectures
Incorporating Proofs in a Categorical Attributed Graph Transformation System for Software Modelling and Verification
World Wide Modeling: The Agility of the Web Applied to Model Repositories
Ontology-based Detection of Inconsistencies in UML/OCL Models
Model-Based Development of Self-Adaptive Autonomous Vehicles using the SMARDT Methodology
Something is Rotten in the State of Documenting Simulink Models
Bringing Systems Engineering Models to Large Language Models: An Integration of OPM with an LLM for Design Assistants
Generating Metamodel Instances Satisfying Coverage Criteria via SMT Solving
Defining and using Collaboration Patterns for Software Process Development
Detecting and Describing Variability-Aware Design Patterns in Feature-Oriented Software Product Lines
Value Creation Patterns for Industry-relevant Model-based Cyber-Physical Systems
Staged Model-Driven Generators - Shifting Responsibility for Code Emission to Embedded Metaprograms
Multi-level Dynamic Instantiation for Resolving Node-edge Dichotomy
Automated Composition of Sequence Diagrams via Alloy
A Textual Domain-Specific Language Based on the UML Testing Profile
How to Leverage Digital Twin for System Design?
Surveying Co-evolution in Modeling Ecosystems
From Quantities in Software Models to Implementation
On the Generation of Input Space Model for Model-Driven Requirements-Based Testing
A C++ Implementation of UML Subsets and Unions for MDE
Deriving Software Design Models from a Set of Business Processes
The Role of Models at the Heart of the Digital Transformation
A DSL-Driven Development Framework for Components to Provide Environmental Data in Simulation based Testing
A Digital Twin Description Framework and Its Mapping to Asset Administration Shell
Towards Sharable Application Ontologies for the Automatic Generation of UIs for Dialog based Linked Data Applications
Towards the Model-Driven Development of Adaptive Cloud Applications by Leveraging UML-RT and Container Orchestration
Change Rule Execution Scheduling in Incremental Roundtrip Engineering Chain: From Model-to-Code and Back
Approach to Reference Models for Building Performance Simulation
Model Driven Engineering and Functional Safety
Dataset Management Using Metadata
Early Synthesis of Timing Models in AUTOSAR-based Automotive Embedded Software Systems
Cloud Security and Privacy Metamodel - Metamodel for Security and Privacy Knowledge in Cloud Services
Automated Dynamic Formation of Component Ensembles - Taking Advantage of Component Cooperation Locality
Modeling Machine Learning Concerns in Collective Adaptive Systems
A Novel Approach to Versioning and Merging Model and Code Uniformly
Translating Platform-independent Code into Natural Language Texts
An Initial Wise Development Environment for Behavioral Models
Model-Driven Development Challenges and Solutions - Experiences with Domain-Specific Modelling in Industry
HERO vs. Zombie: Identifying Zombie Guests in a Virtual Machine Environment
Towards Feature-driven Goal Fulfillment Analysis - A Feasibility Study
Generation and Validation of Frame Conditions in Formal Models
Modelling of Systems for Real
Towards Flexibility in Business Processes by Mining Process Patterns and Process Instances
Traceability and Interfacing Between Requirements Engineering and UML Domains using the Standardized ReqIF Format
Safety, Security and Performance Assessment of Security Countermeasures with SysML-Sec
A Technique for Automata-based Verification with Residual Reasoning
Staged Translation of Graph Transformation Rules
Transformation BPEL Processes to RECATNet for Analysing Web Services Compositions
Combining Techniques to Verify Service-based Components
Using Software Categories for the Development of Generative Software
A Flexible Framework for Program Evolution and Verification
Toward Evolution Models for Data Warehouses
Applying Model-Driven Development to Environment Monitoring System
Software Testing Techniques Revisited for OWL Ontologies
A Proposal Towards Discovering Metamodels from Low-Code Application Platforms
Business Process Modeling Flexibility: A Formal Interpretation
Culture Contextualization in Open e-Learning Systems - Improving the Re-use of Open Knowledge Resources by Adaptive Contextualization Processes
Model Transformation from CBM to EPL Rules to Detect Failure Symptoms
Guarded Deep Learning using Scenario-based Modeling
Generic Framework for Evaluating Commutativity of Multi-Variant Model Transformations
ImocaGen: A Model-based Code Generator for Embedded Systems Tuning
Key Features for a Successful Model-Driven Development Tool
Engineering Software Languages for the Digital World
Comparing ConDec to CMMN - Towards a Common Language for Flexible Processes
Context-specific Quality Evaluation of Test Cases
Signature Required - Making Simulink Data Flow and Interfaces Explicit
What Are the Used UML Diagram Constructs? A Document and Tool Analysis Study Covering Activity and Use Case Diagrams
Explicit Control of Dataflow Graphs with MARTE/CCSL
Towards a Model-driven based Security Framework
Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design
Transforming Systems Engineering in Nuclear Projects with Generative AI: A Path to Efficiency and Compliance
A Fully Implemented Didactic Tool for the Teaching of Interactive Software Systems
Virtual Extension of Meta-models with Facet Tools
Enhancing Simscape Models Reusability Through Semantics and Word Embedding Representations
A Language-oriented Approach for the Maintenance of Megamodel-based Complex Systems
Hierarchical Design of Cyber-Physical Systems
Formal Scenario-driven Logical Spaces for Randomized Synthetic Data Generation
A New Approach for Reflection of Code Modifications to Model in Synchronization of Architecture Design Model and Code
Model Driven Implementation of Security Management Process
A Modeler's Journey: From Hostility to Possibility
Collaborative Computing Paradigms: A Software Systems Architecture for Dynamic IoT Environments
Design Guidelines for Feature Model Construction: Exploring the Relationship between Feature Model Structure and Structural Complexity
Analysis and Validation of AUTOSAR Models
Reducing UML Modeling Tool Complexity with Architectural Contexts and Viewpoints
Sustainable Enterprise Interoperability in Dynamic Collaborative Environments: A Knowledge Link Approach
Determination of ISO 22400 Key Performance Indicators using Simulation Models: The Concept and Methodology
Resourcebus - A New Substrate for Model-driven Creations
Toward a Consistent and Strictly Model-Based Interpretation of the ISO/IEC/IEEE 29119 for Early Testing Activities
Multi-view-Model Risk Assessment in Cyber-Physical Production Systems Engineering
Toward a Unified Intercloud Interoperability Conceptual Model for IaaS Cloud Service
Verification of Atomicity Preservation in Model-to-Code Transformations using Generic Java Code
Modeling and Execution of Software User Interfaces
Towards Repairing Scenario-Based Models with Rich Events
MBSE to Support Engineering of Trustworthy AI-Based Critical Systems
Translating Task Models to State Machines
A Hierarchical Design Tool for SystemC AMS
Reducing Complexity of Process Tailoring Transformations Generation
Model Transformation by Example with Statistical Machine Translation
Empirical and Theoretical Evaluation of USE and OCLE Tools
A Model-Based Combination Language for Scheduling Verification
Towards Mainstream Multi-level Meta-modeling
Automatically Testing of Multimodal Interactive Applications
Distributing Scenario-based Models: A Replicate-and-Project Approach
Application of a Process-Oriented Build Tool for Verification and Validation of a Battery Slave Controller for a Battery Modular Multilevel Management System Along the DO-178C/DO-331 Process
Security Requirements Verification for Existing Systems with Model Checking Technique and UML
Towards Metrics for Analyzing System Architectures Modeled with EAST-ADL
World Model for Testing Urban Search and Rescue (USAR) Robots using Petri Nets
Challenges in Modeling and Unmodeling Emergence, Rule Composition, and Networked Interactions in Complex Reactive Systems
Designing 3D Video Games with Models at Run-time
On a Metasemantic Protocol for Modeling Language Extension
Supporting CPS Modeling Through a New Method for Solving Complex Non-holomorphic Equations
On the Formal Robustness Evaluation for AI-based Industrial Systems
A Toolset for Simulink - Improving Software Engineering Practices in Development with Simulink
Use of Compiler Intermediate Representation for Reverse Engineering: A Case Study for GCC Compiler and UML Activity Diagram
Compliance by Design for Cyber-Physical Energy Systems: The Role of Model-Based Systems Engineering in Complying with the EU AI Act
EMFeR: Model Checking for Object Oriented (EMF) Models
The MDArte Experience - Organizational Aspects Acquired from a Successful Partnership between Government and Academia using Model-Driven Development
The Power of a Model-Driven Approach to Handle Evolving Data Warehouse Requirements
Generative versus Interpretive Model-Driven Development: Moving Past 'It Depends'
W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures
Large Language Models in Enterprise Modeling: Case Study and Experiences
Model Transformation Configuration and Variability Management for User Interface Design
Model Execution: From a Retrospective on Code Generation to a Perspective on Model Compilation
An Approach to Design Smart Grids and Their IT System by Cosimulation
An EMF-like UML Generator for C++
TStore: A Trace-Base Management System - Using Finite-state Transducer Approach for Trace Transformation
An MDE Approach to Generate Schemas for Object-document Mappers
A Methodology for Generating Tests for Evaluating User-Centric Performance of Mobile Streaming Applications
Evaluating the Cloud Architecture of AToMPM
Supporting Software Architecture Evolution by Functional Decomposition
Security-aware Modeling and Analysis for HW/SW Partitioning
Resilient Business Process Modeling and Execution Using BPMN and Microservices
Towards an Implementation of Data and Resource Patterns in Constraint-based Process Models
Integrating Testing into Agile Software Development Processes
A Model-based Tool for Generating Software Process Model Tailoring Transformations
Disciplined Approach for Transformation CIM to PIM in MDA
XIS-CMS: Towards a Model-Driven Approach for Developing Platform-Independent CMS-Specific Modules
Schedulability Analysis of Pre-runtime and Runtime Scheduling Algorithm of an Industrial Real Time System
Main Features for MDD Tools: An Exploratory Study
Multi-level Modeling without Classical Modeling Facilities
A Model Driven Engineering Approach for Heterogeneous Model Composition
A Test Specification Language for Information Systems Based on Data Entities, Use Cases and State Machines
The Understandability of Models for Behaviour
A Modelling Methodology for Developing an Information Model for Cyber-Physical Production Systems using OPC UA
Survey of Graph Rewriting applied to Model Transformations
Variability Management Supporting the Model-driven Design of User Interfaces
A Model-driven Approach for Generating RESTful Web Services in Single-Page Applications
Instantiation of Meta-models Constrained with OCL - A CSP Approach
Identifying Performance Objectives to Guide Service Oriented Architecture Layers
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017
Language Architecture: An Architecture Language for Model-Driven Engineering
Towards an Ontological Approach for Decision Making in Agent Based Systems
Towards Modeling the Modern Distributed Systems Fabric
Comparing Goal-Oriented Analysis Techniques: A Controlled Experiment
Optimizing Distributed Resource Allocation using Epistemic Game Theory: A Model-driven Engineering Approach
Component-based Modeling in Umple
Monitoring of Learning Path for Business Process Models
Safety Case Development with SBVR-Based Controlled Language
Towards Effective SysML Model Reuse
Scenario-assisted Deep Reinforcement Learning
Making Sense to Modelers - Presenting UML Class Model Differences in Prose
The ETSI Test Description Language TDL and its Application
Performance Monitoring Framework for Service Oriented System Lifecycle
A Meta-model based Automatic Conceptual Model-to-Model Transformation Methodology
AI-guided Model-Driven Embedded Software Engineering
A Case Study of Combining Compositional and Object-oriented Software Development