首页>外文会议>International Conference on Model-Driven Engineering and Software Development

International Conference on Model-Driven Engineering and Software Development

召开年：2014
召开地：Lisbon(PT)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.What is Software Architecture to Practitioners: A Survey

机译：什么是从业者的软件架构：调查
- 作者：Mert Ozkaya
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2016年
- Software Architectures;
- Survey;
- Architecture Description Languages;
- UML;
2.Umple as a Component-based Language for the Development of Real-time and Embedded Applications

机译：umple作为基于组件的语言，用于开发实时和嵌入式应用程序
- 作者：Mahmoud Husseini Orabi;Ahmed Husseini Orabi;Timothy Lethbridge
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2016年
- Umple;
- Component Modelling;
- UML;
- Ports;
- Connectors;
- Composite Structure;
3.Modelling Business Process Variants using Graph Transformation Rules

机译：使用图形转换规则建模业务流程变体
- 作者：Christine Natschlager;Verena Geist;Christa Illibauer;Robert Hutter
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2016年
- Business Process Management;
- Variability Modelling;
- Variant Management;
- Graph Transformation;
4.Model-based Learning Assessment Management

机译：基于模型的学习评估管理
- 作者：Antonello Calabro;Francesca Lonetti;Eda Marchetti;Sarah Zribi;Tom Jorquera
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2016年
- Model-based Learning;
- Simulation;
- Monitoring;
- Business Process;
5.Umple as a Component-based Language for the Development of Real-time and Embedded Applications

机译：umple作为基于组件的语言，用于开发实时和嵌入式应用程序
- 作者：Mahmoud Husseini Orabi;Ahmed Husseini Orabi;Timothy Lethbridge
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2016年
- Umple;
- Component Modelling;
- UML;
- Ports;
- Connectors;
- Composite Structure;
6.UML Associations - Reducing the Gap in Test Coverage between Model and Code

机译：UML关联 - 减少模型和代码之间的测试覆盖范围内的差距
- 作者：Anders Eriksson;Birgitta Lindstrom
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2016年
- Model Coverage;
- Code Coverage;
- UML Association;
- FUML;
- ALF;
- MDA;
- XtUML;
7.Automating Activities in MDE Tools

机译：MDE工具中的自动化活动
- 作者：Miguel Andres Gamboa;Eugene Syriani
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2016年
- Workflow;
- Enactment;
- Domain-specific Modeling;
- Model Transformation;
- Fitts Law;
8.A Data Extraction Process for Avionics Systems' Interface Specifications

机译：AVIONICS Systems界面规格的数据提取过程
- 作者：Hassna Louadah;Roger Champagne;Yvan Labiche;Yann-Gael Gueheneuc
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2016年
- Interface;
- Interface Control Documents;
- Avionics Systems;
- IMA;
9.Model-driven Approach for the Interoperability of Enterprises' Services Information Exchange

机译：企业服务信息交流互操作性的模型驱动方法
- 作者：Catarina Marques-Lucena;Joao Sarraipa;Carlos Agostinho;Ricardo Jardim-Goncalves
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2016年
- Interoperability;
- Semantic Interoperability;
- Mappings Representation;
- Modelling Morphisms;
- Model Transformations;
10.WebDPF: A Web-based Metamodelling and Model Transformation Environment

机译：WebDPF：基于Web的元模型和模型转换环境
- 作者：Fazle Rabbi;Yngve Lamo;Ingrid Chieh Yu;Lars Michael Kristensen
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2016年
- Model Driven Engineering;
- Metamodelling;
- Model Transformation;
- Domain Specific Modelling;
- Model Completion;
11.Model-driven Approach for Verifying Conformity of Models in the Presence of Constraints

机译：模型驱动方法，用于验证模型在限制存在下的概念
- 作者：Cesar Cuevas Cuesta;Patricia Lopez Martinez;Jose M. Drake
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2016年
- MDSE;
- Meta-model;
- OCL Constraint;
- Model Transformation;
- HOT;
- Verification;
12.Formal MOF Metamodeling and Tool Support

机译：正式的MOF Metomodeling和工具支持
- 作者：Liliana Favre;Daniel Duarte
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2016年
- Model Driven Development;
- MDA;
- Metamodeling;
- MOF;
- Formal Specification;
- ANTLR;
- Test Driven Development (TDD);
13.Formal MOF Metamodeling and Tool Support

机译：正式的MOF Metomodeling和工具支持
- 作者：Liliana Favre;Daniel Duarte
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2016年
- Model Driven Development;
- MDA;
- Metamodeling;
- MOF;
- Formal Specification;
- ANTLR;
- Test Driven Development (TDD);
14.Data Integration between Objectiver and DB-Main: A Case Study of a Model-Driven Interoperability Bridge

机译：目标和DB-MAIN之间的数据集成：模型驱动互操作性桥的案例研究
- 作者：Francisco Javier Bermudez Ruiz;Jesus Joaquin Garcia Molina;Oscar Diaz Garcia
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2016年
- Tool Integration;
- Interoperability;
- Model-Driven Engineering;
- Data Engineering;
- Goal-oriented Requirements Engineering;
15.Model-driven Approach for Verifying Conformity of Models in the Presence of Constraints

机译：模型驱动方法，用于验证模型在限制存在下的概念
- 作者：Cesar Cuevas Cuesta;Patricia Lopez Martinez;Jose M. Drake
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2016年
- MDSE;
- Meta-model;
- OCL Constraint;
- Model Transformation;
- HOT;
- Verification;
16.Generating Metamodel Instances Satisfying Coverage Criteria via SMT Solving

机译：通过SMT求解，生成满足覆盖标准的元模型实例
- 作者：Hao Wu
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2016年
- Metamodel;
- Satisfiability Modulo Theories (SMT);
- Coverage Criteria;
- Graph;
17.Data Integration between Objectiver and DB-Main: A Case Study of a Model-Driven Interoperability Bridge

机译：目标和DB-MAIN之间的数据集成：模型驱动互操作性桥的案例研究
- 作者：Francisco Javier Bermudez Ruiz;Jesus Joaquin Garcia Molina;Oscar Diaz Garcia
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2016年
- Tool Integration;
- Interoperability;
- Model-Driven Engineering;
- Data Engineering;
- Goal-oriented Requirements Engineering;
18.A Methodology for Deriving Conceptual Data Models from Systems Engineering Artefacts

机译：一种从系统工程艺术品中推导概念数据模型的方法
- 作者：Christian Hennig;Harald Eisenmann;Alexander Viehl;Oliver Bringmann
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2016年
- Model-based Systems Engineering;
- Conceptual Data Modeling;
- Modeling Methodology;
- FBM;
- Model-based Development;
19.Choreography Modelling in Embedded Systems Domain - Requirements and Implementation Technologies

机译：嵌入式系统领域的舞蹈建模 - 要求和实施技术
- 作者：Nebojsa Tausan;Jouni Markkula;Pasi Kuvaja;Markku Oivo
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2016年
- Choreography;
- Design Requirements;
- Design Science;
- Modelling Language;
- BPMN;
20.A Methodology for Deriving Conceptual Data Models from Systems Engineering Artefacts

机译：一种从系统工程艺术品中推导概念数据模型的方法
- 作者：Christian Hennig;Harald Eisenmann;Alexander Viehl;Oliver Bringmann
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2016年
- Model-based Systems Engineering;
- Conceptual Data Modeling;
- Modeling Methodology;
- FBM;
- Model-based Development;
21.WebDPF: A Web-based Metamodelling and Model Transformation Environment

机译：WebDPF：基于Web的元模型和模型转换环境
- 作者：Fazle Rabbi;Yngve Lamo;Ingrid Chieh Yu;Lars Michael Kristensen
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2016年
- Model Driven Engineering;
- Metamodelling;
- Model Transformation;
- Domain Specific Modelling;
- Model Completion;
22.Search-based Decision Ordering to Facilitate Product Line Engineering of Cyber-Physical System

机译：基于搜索的决策顺序，以便于网络物理系统的产品线工程
- 作者：Tao Yue;Shaukat Ali;Hong Lu;Kunming Nie
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2016年
- Product Line Engineering;
- Cyber Physical System;
- Decision Ordering;
- Search Algorithms;
23.An Initial Wise Development Environment for Behavioral Models

机译：行为模型的最初明智的开发环境
- 作者：David Harel;Guy Katz;Rami Marelly;Assaf Marron
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2016年
- Behavioral Models;
- Interactive Development;
- Proactive Analysis;
- Reactive Models;
- Wise Computing;
24.Towards Including Layout Properties for Modeling Graphical User Interfaces: Generic Properties for GUI Metamodels

机译：包括用于建模图形用户界面的布局属性：GUI元模型的通用属性
- 作者：Sarra Roubi;Mohammed Erramdani;Samir Mbarki
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Model Driven Engineering;
- Layout;
- Transformation;
- Model;
- Meta Model;
- User Interface;
- Position;
25.Model-driven Engineering for the Configuration and Deployment of Data Processing Applications

机译：用于数据处理应用程序的配置和部署的模型驱动工程
- 作者：Hui Song;Nicolas Ferry;Jakob Hogenes;Arnor Solberg
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Big Data;
- Model-driven Engineering;
26.Towards Meta-adaptation of Dynamic Adaptive Systems with Models @ Runtime

机译：在运行时使用型号的动态自适应系统的Meta适应
- 作者：Nicolas Ferry;Franck Chauvel;Hui Song;Arnor Solberg
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Model-driven Engineering;
- Models@runtime;
- Dynamic Adaptive Systems;
27.Towards Effective SysML Model Reuse

机译：朝向有效的SYSML模型重用
- 作者：Roy Mendieta;Jose Luis de la Vara;Juan Llorens;Jose Maria Alvarez-Rodriguez
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Systems Modeling Language;
- SysML;
- Model Reuse;
- Knowledge Reuse;
- RSHP;
- CAKE;
28.Override Traditional Decision Support Systems: How Trajectory ELTProcesses Modeling Improves Decision Making?

机译：覆盖传统决策支持系统：轨迹ELTPROCesses建模如何提高决策？
- 作者：Noura Azaiez;Jalel Akaichi
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
29.Measuring the Evolution of Meta-models - A Case Study of Modelica and UML Meta-models

机译：测量元模型的演变 - 一种模型和UML元模型的案例研究
- 作者：Maxime Jimenez;Darko Durisic;Miroslaw Staron
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Meta-models;
- Evolution;
- Measurement;
30.The Integration of Agile Development and Model Driven Development: A Systematic Literature Review

机译：敏捷开发与模型驱动发展的整合：系统文献综述
- 作者：Hessa Alfraihi;Kevin Lano
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Model-Driven Development;
- Agile;
- Agile Model-Driven Development;
- Systematic Literature Review;
31.World Wide Modeling Made Easy: A Simple, Lightweight Model Server

机译：全球造型简单：简单，轻便的模型服务器
- 作者：Olivier Le Goaer;Eric Cariou;Franck Barbier
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Model-driven Engineering;
- Client-server;
- Knowledge Sharing;
- Reuse;
- API;
- JavaScript;
32.Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems

机译：朝向网络 - 物理多核系统实时调度的自动综合
- 作者：Johannes Geismann;Uwe Pohlmann;David Schmelter
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- CPS;
- MDSD;
- Real-time Scheduling;
- Synthesis;
- Model-transformation;
- Multi-Core;
- Automotive;
33.Prevent Collaboration Conflicts with Fine Grained Pessimistic Locking

机译：防止与细粒悲观锁定的合作冲突
- 作者：Martin Eyl;Clemens Reichmann;Klaus D. Muller-Glaser
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Fine Grained Software Configuration Management System;
- Abstract Syntax Tree;
- Pessimistic Locking;
34.A Domain-specific Language for Configurable Traceability Analysis

机译：用于可配置可追溯性分析的特定于域的语言
- 作者：Hendrik Bunder;Christoph Rieger;Herbert Kuchen
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Traceability;
- Domain-specific Language;
- Software Metrics;
35.Automated Dynamic Formation of Component Ensembles: Taking Advantage of Component Cooperation Locality

机译：组件集合的自动动态形成：利用组件合作局部
- 作者：Filip Krijt;Zbynek Jiracek;Tomas Bures;Petr Hnetynka;Frantisek Plasil
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Distributed Coordination;
- Architectural Adaptation;
- Ensemble-based Component System;
- Autonomic Systems;
36.Model Execution and Debugging: A Process to Leverage Existing Tools

机译：模型执行和调试：利用现有工具的进程
- 作者：Faiez Zalila;Eric Jenn;Marc Pantel
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Modeling;
- Formal Verification;
- Model-checking;
- Debugging;
- Simulation;
- Model Execution;
- IDE;
37.Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain

机译：通过正式验证提高模型的正确性：铁路领域的案例研究
- 作者：Davide Basile;Felicita Di Giandomenico;Stefania Gnesi
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Verification;
- Cyber-Physical System;
- Communication-centric Applications;
38.ATL Transformation of Queueing Networks to Queueing Petri Nets

机译：排队网络转换为排队培养网
- 作者：Issam Al-Azzoni
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Model Transformation;
- MDE;
- ATL;
- Queueing Networks;
- Queueing Petri Nets;
- QPME;
39.Creating and Analyzing Source Code Repository Models: A Model-based Approach to Mining Software Repositories

机译：创建和分析源代码存储库模型：基于模型的挖掘软件存储库方法
- 作者：Markus Scheidgen;Martin Smidt;Joachim Fischer
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Reverse Engineering;
- Software Evolution;
- Metrics;
- Mining Software Repositories;
- Metamodels;
- OCL;
40.Automating the Customization of Model-Driven Software Engineering Environments

机译：自动化模型驱动的软件工程环境的定制
- 作者：Cesar Cuevas Cuesta;Patricia Lopez Martinez;Jose M. Drake
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- MDE;
- Meta-modelling;
- Development Environments;
- Process Engineering;
41.Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry

机译：建模行为要求与嵌入行业验证的对齐
- 作者：Grischa Liebel;Anthony Anjorin;Eric Knauss;Florian Lorber;Matthias Tichy
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
42.UI-GEAR: User Interface Generation prEview capable to Adapt in Real-time

机译：UI齿轮：用户界面代预览能够实时适应
- 作者：Jenny Ruiz;Estefania Serral;Monique Snoeck
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
43.Explicit Control of Dataflow Graphs with MARTE/CCSL

机译：用Marte / CCSL显式控制数据流图
- 作者：Jean-Vivien Millo;Amine Oueslati;Emilien Kaufman;Julien DeAntoni;Frederic Mallet;Robert de Simone
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Dataflow;
- Platform based Design;
- Scheduling;
44.Axioms of Linguistic Architecture

机译：语言建筑的原理
- 作者：Marcel Heinz;Ralf Lammel;Andrei Varanovich
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Software Technology;
- Software Language;
- Axiomatization;
- Ontology;
- Linguistic Architecture;
- Megamodeling;
45.Creating User-specific Business Process Monitoring Dashboards with a Model-driven Approach

机译：使用模型驱动方法创建用户特定的业务流程监控仪表板
- 作者：Maximilien Kintz;Monika Kochanowski;Falko Koetter
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Business Processes;
- Monitoring;
- Dashboards;
- Roles;
- Views;
- Model-driven Development;
46.SEMF - The Semantic Engineering Modeling Framework: Bringing Semantics into the Eclipse Modeling Framework for Space Systems Engineering

机译：SEMF - 语义工程建模框架：将语义带入空间系统工程的Eclipse建模框架
- 作者：Tobias Hoppe;Harald Eisenmann;Alexander Viehl;Oliver Bringmann
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Model-based Systems Engineering;
- Conceptual Data Modeling;
- EMF;
- OWL;
- SMOF;
47.A UML Profile for the Specification of System Architecture Variants Supporting Design Space Exploration and Optimization

机译：用于支持设计空间探索和优化的系统架构变体规范的UML配置文件
- 作者：Alexander Wichmann;Ralph Maschotta;Francesco Bedini;Sven Jager;Armin Zimmermann
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- System Modeling;
- Architecture Variant Description;
- UML Profile;
- Design Space;
48.Model-based Development of Modular Complex Systems for Accomplishing System Integration for Industry 4.0

机译：基于模型的模块化复杂系统开发，实现工业4.0系统整合的模块化复杂系统
- 作者：Kunal Suri;Arnaud Cuccuru;Juan Cadavid;Sebastien Gerard;Walid Gaaloul;Samir Tata
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Industry 4.0;
- Smart Factory;
- Model-driven Engineering;
- MDE;
- Model Execution;
- UML;
- Modularity;
- Integration;
- CPS;
- Lego EV3 Robot;
49.Model-driven Approach for Privacy Management in Business Ecosystem

机译：商业生态系统中隐私管理的模型驱动方法
- 作者：Christophe Feltus;Eric Grandry;Thomas Kupper;Jean-Noel Colin
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Privacy Metamodel;
- Privacy Management;
- GDPR;
- General Data Protection Regulation;
- Business Ecosystem;
- Interconnected Society;
- Model;
- Service System;
- Model-driven Approach;
- Model Design;
50.An MDE Approach to Generate Schemas for Object-document Mappers

机译：生成对象文档映射器模式的MDE方法
- 作者：Diego Sevilla Ruiz;Severino Feliciano Morales;Jesus Garcia-Molina
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- NoSQL Databases;
- NOSQL Data Engineering;
- Code Generation;
- MDE Solution;
- Object-document Mappers;
51.Language Architecture: An Architecture Language for Model-Driven Engineering

机译：语言架构：模型驱动工程的架构语言
- 作者：Niels Brouwers;Marc Hamilton;Ivan Kurtev;Yaping Luo
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Architecture;
- Model-Driven Engineering;
- Domain-Specific Languages;
52.Security-aware Modeling and Analysis for HW/SW Partitioning

机译：HW / SW分区的安全感知建模与分析
- 作者：Letitia W. Li;Florian Lugou;Ludovic Apvrille
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Embedded Systems;
- Partitioning;
- ProVerif;
- Formal Verification;
53.Model Driven Implementation of Security Management Process

机译：模型驱动安全管理过程的实施
- 作者：Bruno A. Mozzaquatro;Ricardo Jardim-Goncalves;Carlos Agostinho
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Business Process;
- MDA;
- Security Management;
- Model Transformations;
- MDSEA;
54.Concurrent History-based Usage Control Policies

机译：基于历史的使用量控制策略
- 作者：Fabio Martinelli;Ilaria Matteucci;Paolo Mori;Andrea Saracino
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- History-based Policy;
- Usage Control Policy;
- Data Sharing;
- Process Algebra;
55.Architecture Descriptions of Software Systems: Complex Connectors vs Realisability

机译：软件系统的架构描述：复杂连接器与可实现性
- 作者：Mert Ozkaya
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Architectural Languages;
- Interaction Protocols;
- Realisability;
56.Process Development for the Liquid-sensing Enterprise

机译：液体传感企业的过程开发
- 作者：Carlos Agostinho;Jose Ferreira;Joaquim Pereira;Catarina Lucena;Klaus Fischer
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- MDA;
- MDSEA;
- Enterprise Interoperability;
- Liquid-sensing Enterprise;
- Business Process;
57.Objecting to the Revolution: Model-Based Engineering and the Industry: Root Causes Beyond Classical Research Topics

机译：反对革命：基于模型的工程和行业：彻底原因超出了经典研究主题
- 作者：Gerald Stieglbauer;Igor Roncevic
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Model-Based Engineering;
- MBE in Industry;
- Domain-Specific Languages;
- DSL Vs. UML;
- Technology Transfer;
58.Towards Automated Generation of Regulation Rule Bases using MDA

机译：利用MDA自动化规则基础的自动化
- 作者：Deepali Kholkar;Sagar Sunkle;Vinay Kulkarni
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Model Driven Architecture;
- Business Rule Management Systems;
- Rule Engines;
- Production Rule Systems;
- SBVR;
- CIM;
- PIM;
- PSM;
- Fact-oriented Model;
- Model Transformation;
- Formal Compliance Checking;
- Defeasible Logic;
59.An Exploration of the 'It' in 'It Depends': Generative versus Interpretive Model-Driven Development

机译：探索'它依赖于'它'：生成与解释模型驱动的发展
- 作者：Michiel Overeem;Slinger Jansen
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
60.Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design

机译：模型驱动性能评估和多级嵌入式系统设计的正式验证
- 作者：Daniela Genius;Letitia W. Li;Ludovic Apvrille
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Virtual Prototyping;
- Embedded Systems;
- System-level Design;
- Formal Verification;
61.Complete Code Generation from UML State Machine

机译：UML状态机的完整代码生成
- 作者：Van Cam Pham;Ansgar Radermacher;Sebastien Gerard;Shuai Li
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- UML State Machine;
- Code Generation;
- Semantics-conformance;
- Efficiency;
- Events;
- C++;
62.Deterministic Executable Models Verified Efficiently at Runtime: An Architecture for Robotic and Embedded Systems

机译：确定性可执行模型在运行时有效验证：机器人和嵌入式系统的架构
- 作者：Vladimir Estivill-Castro;Rene Hexel
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Model-based Testing and Validation;
- Enactment and Execution;
- Reasoning about Models;
63.Realizing Multi-variant Model Transformations on Top of Reused ATL Specifications

机译：实现重复使用的ATL规范之上的多变模式变换
- 作者：Sandra Greiner;Felix Schwagerl;Bernhard Westfechtel
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Model-Driven Software Engineering;
- Software Product Line Engineering;
- Model Transformations;
- Variability;
- Organized Reuse;
64.Combining Techniques to Verify Service-based Components

机译：结合技术来验证基于服务的组件
- 作者：Pascal Andre;Christian Attiogbe;Jean-Marie Mottu
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Component;
- Service;
- Model-driven Development;
- Contract;
- Proof;
- Model-checking;
- Test;
65.Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities

机译：灵活规范步骤应用协议扩展和工具功能的自动推导
- 作者：Thorsten Koch;Jorg Holtmann;Timo Lindemann
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- STEP;
- Model-driven Software Development;
- Meta-modeling;
- Model Transformation;
66.A Model based Realisation of Actor Model to Conceptualise an Aid for Complex Dynamic Decision-making

机译：基于模型的演员模型实现概念性促进复杂动态决策的援助
- 作者：Souvik Barat;Vinay Kulkarni;Tony Clark;Balbir Barn
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Organisational Decision Making;
- Simulation;
- Actor Model of Computation;
- Actor based Simulation;
67.The Power of a Model-Driven Approach to Handle Evolving Data Warehouse Requirements

机译：用于处理演化数据仓库要求的模型驱动方法的力量
- 作者：Said Taktak;Saleh Alshomrani;Jamel Feki;Gilles Zurfluh
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Data Warehouse;
- Evolution Modeling;
- OLAP Requirements;
- MDA;
- M2M;
- M2T;
68.Testing Environment Emulation - A Model-based Approach

机译：测试环境仿真 - 基于模型的方法
- 作者：Jian Liu;John Grundy;Mohamed Abdelrazek;Iman Avazpour
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Model-driven Engineering;
- Domain-specific Visual Modeling Language;
- Testing Environment Emulation;
69.Maintaining Workspace Consistency in Filtered Editing of Dynamically Evolving Model-driven Software Product Lines

机译：在过滤编辑动态演化模型驱动的软件产品线的过滤编辑中保持工作空间一致性
- 作者：Felix Schwagerl;Bernhard Westfechtel
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Model-driven Software Engineering;
- Software Product Line Engineering;
- Version Control;
- Filtered Editing;
70.Distributing Scenario-based Models: A Replicate-and-Project Approach

机译：分发基于方案的模型：复制和项目方法
- 作者：Shlomi Steinberg;Joel Greenyer;Daniel Gritzner;David Harel;Guy Katz;Assaf Marron
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
- Software Engineering;
- Scenario-based Modeling;
- Concurrency;
- Distributed Systems;
71.Practical Large-scale Model-Driven Development of Business Applications with an Executable UML

机译：具有可执行UML的企业应用程序的实用大规模模型驱动开发
- 作者：Dragan Milicev
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2017年
72.Process Oriented Learning and Training - A Model-based Approach in Learn PAd

机译：进程面向学习和培训 - 学习垫中基于模型的方法
- 作者：Robert Woitsch;Nesat Efendioglu;Damiano Falcioni
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2016年
- Meta Modelling;
- Modelling Method Development;
- Process-Oriented Learning;
73.A Learning Architecture for Complex Organization

机译：复杂组织的学习架构
- 作者：Francesco Basciani;Gianni Rosa
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2016年
- Model Driven Engineering;
- Enterprise Architecture;
- Zachman framework;
- Learning;
- Organizations;
74.Multi-Concerns Engineering for Safety-Critical Systems

机译：安全关键系统的多关注工程
- 作者：Philipp Lohmuller;Andrea Fendt;Bernhard Bauer
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2018年
- Safety-Critical Systems;
- Dependability;
- Tradeoff Analysis;
- Multi-Criteria Decision Analysis;
- Multi-Concerns;
75.Customer Co-Creation in Smart Production Ecosystems - Opportunities and Challenges for MDE

机译：智能生产生态系统的客户共同创造 - MDE的机会和挑战
- 作者：Deepak Dhungana
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2018年
- Customer Co-creation;
- Open Configuration;
- Smart Production Ecosystem;
- Model Consolidation;
76.Model Driven Architecture based Testing Tool based on Architecture Views

机译：基于架构视图的基于模型驱动架构的测试工具
- 作者：Burak Uzun;Bedir Tekinerdogan
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2018年
- Model based Testing;
- Software Architecture;
- Architecture based Testing;
- Software Architecture Viewpoints;
77.Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models

机译：旨在系统和自动处理与基于场景的模型相关的执行迹线
- 作者：Joel Greenyer;Daniel Gritzner;David Harel;Assaf Marron
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2018年
- Software Engineering;
- System Engineering;
- Scenario-based Programming;
- Behavioral Programming;
- Abstraction;
- Debugging;
- Program Repair;
- Execution Trace;
- Event Log;
78.Model-guided Security Analysis of Interconnected Embedded Systems

机译：互联嵌入式系统的模型引导安全分析
- 作者：Yasamin Mahmoodi;Sebastian Reiter;Alexander Viehl;Oliver Bringmann;Wolfgang Rosenstiel
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2018年
- Security Analysis;
- Virtual Prototyping;
- UML Profile;
79.Qualitative Simulation of Hybrid Systems with an Application to SysML Models

机译：用于SYSML型号的混合系统的定性仿真
- 作者：Slim Medimegh;Jean-Yves Pierron;Frederic Boulanger
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2018年
- Hybrid Systems;
- Qualitative Simulation;
- Symbolic Execution;
- Model Transformation;
80.Toward a Consistent and Strictly Model-Based Interpretation of the ISO/IEC/IEEE 29119 for Early Testing Activities

机译：朝着早期测试活动的ISO / IEC / IEEE 29119的一致性和严格的模型解释
- 作者：Reinhard Proll;Bernhard Bauer
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2018年
- Model-Based Testing;
- Test Management;
- Mutation Testing;
- ISO/IEC/IEEE 29119;
- Software Testing Lifecycle;
81.Analysis of the Evolution of the UML Metamodel

机译：UML Metomodel的演变分析
- 作者：Zhiyi Ma;Huihong He;Jinyang Liu;Xiao He
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2018年
- Evolution;
- UML Metamodel;
- Entropy;
- Measure;
82.Exploring DSL Evolutionary Patterns in Practice - A Study of DSL Evolution in a Large-scale Industrial DSL Repository

机译：在实践中探索DSL进化模式 - 大型工业DSL存储库中的DSL演化研究
- 作者：Josh G. M. Mengerink;Bram van der Sanden;Bram C. M. Cappers;Alexander Serebrenik;Ramon R. H. Schiffelers;Mark G. J. van den Brand
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2018年
- Model Driven Engineering;
- Evolution;
- Maintenance;
83.Formal, Model- and Scenario-based Requirement Patterns

机译：正式，模型和方案的基于方案的要求模式
- 作者：Markus Fockel;Jorg Holtmann;Thorsten Koch;David Schmelter
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2018年
- Requirement Patterns;
- Modal Sequence Diagrams;
- Safety Requirements;
- Real-time Requirements;
84.Modeling a Tool for Conducting Systematic Reviews Iteratively

机译：建模用于进行系统评论的工具
- 作者：Brice Bigendako;Eugene Syriani
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2018年
- Systematic Literature Review;
- Model-driven Engineering;
- Automatic Installation;
85.An Ontological Context Modeling Framework for Coping with the Dynamic Contexts of Cyber-physical Systems

机译：用于应对网络物理系统动态背景的本体语境建模框架
- 作者：Jennifer Brings;Marian Daun;Constantin Hildebrandt;Sebastian Torsleff
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2018年
- Cyber-physical Systems;
- Collaborative Systems;
- Context;
- Context Modeling;
- Dynamic Context;
86.Towards an Implementation of Data and Resource Patterns in Constraint-based Process Models

机译：在基于约束的过程模型中实现数据和资源模式的实现
- 作者：Stefan Schonig;Lars Ackermann;Stefan Jablonski
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2018年
- Constraint-based Processes;
- Flexible Processes;
- Workflow Patterns;
- Process Execution;
87.Cloud Security and Privacy Metamodel - Metamodel for Security and Privacy Knowledge in Cloud Services

机译：云安全和隐私元模型 - 云服务安全和隐私知识的Metomodel
- 作者：Tian Xia;Hironori Washizaki;Takehisa Kato;Haruhiko Kaiya;Shinpei Ogata;Eduardo B. Fernandez;Hideyuki Kanuka;Masayuki Yoshino;Dan Yamamoto;Takao Okubo;Nobukazu Yoshioka;Atsuo Hazeyama
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2018年
- Cloud Computing;
- Metamodel Model;
- Security Patterns;
- Privacy Patterns;
- Software and System Architecture;
88.Verifiable Parameterised Behaviour Models: For Robotic and Embedded Systems

机译：可验证参数化行为模型：用于机器人和嵌入式系统
- 作者：Vladimir Estivill-Castro;Rene Hexel
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2018年
- Model-driven Engineering;
- Formal Methods;
- Robotic and Embedded Systems;
- Middleware;
89.A Meta-model based Automatic Conceptual Model-to-Model Transformation Methodology

机译：基于META模型的自动概念模型到模型转换方法
- 作者：Tiexin Wang;Sebastien Truptil;Frederick Benaben;Chuanqi Tao
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2018年
90.Context-specific Quality Evaluation of Test Cases

机译：测试用例的上下文专用质量评估
- 作者：Ivan Jovanovikj;Vishwak Narasimhan;Gregor Engels;Stefan Sauer
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2018年
- Quality Plan;
- GQM;
- Metrics;
- Quality Model;
91.Using Structure of Automata for Faster Synchronizing Heuristics

机译：采用自动机的结构，以更快的同步启发式
- 作者：Berk Cirisci;Muhammed Kerem Kahraman;Cagri Uluc Yildirimoglu;Kamer Kaya;Husnu Yenigun
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2018年
- Finite State Automata;
- Synchronizing Sequences;
- Strongly Connected Component;
92.A C++ Implementation of UML Subsets and Unions for MDE

机译：C ++实现UML子集和MDE的联盟
- 作者：Francesco Bedini;Ralph Maschotta;Alexander Wichmann;Armin Zimmermann
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2018年
- Subset;
- Union;
- UML;
- Ecore;
- C++;
- Variadic Template;
93.Data Harvesting, Curation and Fusion Model to Support Public Service Recommendations for e-Governments

机译：数据收获，策划和融合模型，以支持政府的公共服务建议
- 作者：Gayane Sedrakyan;Laurens De Vocht;Juncal Alonso;Marisa Escalante;Leire Orue-Echevarria;Erik Mannens
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2018年
- Architectural Model;
- Recommendation Generation;
- Public Administration;
- Public Services;
- Data Harvesting;
- Data Curation;
- Data Fusion;
- Linked Data;
- E-Government;
94.A New Approach for Reflection of Code Modifications to Model in Synchronization of Architecture Design Model and Code

机译：建筑设计模型与代码同步模型代码修改的新方法
- 作者：Van Cam Pham;Ansgar Radermacher;Sebastien Gerard
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2018年
95.Evolving Attacker Perspectives for Secure Embedded System Design

机译：适应安全嵌入式系统设计的攻击者的角度
- 作者：Letitia W. Li;Florian Lugou;Ludovic Apvrille
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2018年
- Model-Driven Engineering;
- Security;
- Formal Verification;
96.Challenges and Opportunities of Modularizing Textual Domain-Specific Languages

机译：模块化文本域特定语言的挑战和机遇
- 作者：Christoph Rieger;Martin Westerkamp;Herbert Kuchen
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2018年
- Domain-Specific Language;
- Modularization;
- Xtext;
- Language Composition;
97.Clone Detection for Ecore Metamodels using N-grams

机译：使用n克克隆对Ecore Metomodels的克隆检测
- 作者：Onder Babur
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2018年
- Model-driven Engineering;
- Model Clone Detection;
- R;
- Vector Space Model;
- Clustering;
98.Can Abstraction Be Taught? Refactoring-based Abstraction Learning

机译：可以教会抽象吗？基于重构的抽象学习
- 作者：Naoyasu Ubayashi;Yasutaka Kamei;Ryosuke Sato
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2018年
- Abstraction;
- Refinement;
- Abstraction-aware Refactoring;
99.Supporting CPS Modeling Through a New Method for Solving Complex Non-holomorphic Equations

机译：通过一种求解复杂非全象方程的新方法支持CPS建模
- 作者：Giulio Masetti;Simone Dutto;Silvano Chiaradonna;Felicita Di Giandomenico
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2018年
- Generative Programming;
- Newton-raphson;
- Complex System of Equations;
- Non-holomorphic Functions;
- Wirtinger Derivatives;
100.Component-based Modeling in Umple

机译：基于组件的umple造型
- 作者：Mahmoud Husseini Orabi;Ahmed Husseini Orabi;Timothy C. Lethbridge
- 会议名称：《International Conference on Model-Driven Engineering and Software Development》 | 2018年
- Umple;
- Active Object;
- Composite Structure;
- UML;