首页>外文会议>ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

召开年：2015
召开地：Ottawa(CA)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Model-driven regulatory compliance: A case study of “Know Your Customer” regulations

机译：模型驱动的法规遵从性：以“了解您的客户”法规为例
- 作者：Sunkle Sagar;Kholkar Deepali;Kulkarni Vinay
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2015年
2.Stream my models: Reactive peer-to-peer distributed models@run.time

机译：流我的模型：反应的点对点分布式模型@:Run.time
- 作者：Hartmann Thomas;Moawad Assaad;Fouquet Francois;Nain Gregory;Klein Jacques;Le Traon Yves
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2015年
3.Fragmenta: A theory of fragmentation for MDE

机译：Fragmenta：MDE的碎片理论
- 作者：Amalio Nuno;de Lara Juan;Guerra Esther
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2015年
4.On the use of UML documentation in software maintenance: Results from a survey in industry

机译：关于在软件维护中使用UML文档：行业调查结果
- 作者：Fernandez-Saez Ana M.;Caivano Danilo;Genero Marcela;Chaudron Michel R. V.
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2015年
5.Beyond discrete modeling: A continuous and efficient model for IoT

机译：除了离散建模之外：IOT的连续和有效的模型
- 作者：Moawad Assaad;Hartmann Thomas;Fouquet Francois;Nain Gregory;Klein Jacques;Le Traon Yves
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2015年
6.Textual diagram layout language and visualization algorithm

机译：文本图布局语言与可视化算法
- 作者：Gregorics Balazs;Gregorics Tibor;Kovacs Gabor Ferenc;Dobreff Andras;Devai Gergely
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2015年
7.Managing Design-Time Uncertainty

机译：管理设计时间不确定性
- 作者：Michalis Famelis;Marsha Chechik
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Uncertainty;
- Software systems;
- Tools;
- Software engineering;
- Context modeling;
- Model driven engineering;
8.Reusable Specification Templates for Defining Dynamic Semantics of DSLs

机译：用于定义DSL的动态语义的可重用规范模板
- 作者：Ulyana Tikhonova
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- DSL;
- Semantics;
- Model driven engineering;
- Programming;
- Electronic mail;
9.The Next Evolution of MDE: A Seamless Integration of Machine Learning into Domain Modeling

机译：MDE的下一次演变：机器学习的无缝集成域造型
- 作者：Thomas Hartmann;Assaad Moawad;Francois Fouquet;Yves Le Traon
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Mathematical model;
- Data models;
- Load modeling;
- Computational modeling;
- Model driven engineering;
- Knowledge engineering;
- Smart grids;
10.SQL-PL4OCL: An Automatic Code Generator from OCL to SQL Procedural Language

机译：SQL-PL4OCL：来自OCL到SQL程序语言的自动代码生成器
- 作者：Marina Egea;Carolina Dania
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Structured Query Language;
- Unified modeling language;
- Generators;
- Analytical models;
- Data models;
- Tools;
- Software;
11.Synthesis and Exploration of Multi-level, Multi-perspective Architectures of Automotive Embedded Systems (SoSYM Abstract)

机译：汽车嵌入式系统多层次，多透视架构的合成与探索（SOSYM摘要）
- 作者：Jordan A. Ross;Alexandr Murashkin;Jia Hui Liang;Michal Antkiewicz;Krzysztof Czarnecki
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Computer architecture;
- Automotive engineering;
- Embedded systems;
- Computational modeling;
- Context modeling;
- Complexity theory;
12.Raising Time Awareness in Model-Driven Engineering: Vision Paper

机译：提高模型驱动工程的时间意识：视觉纸
- 作者：Amine Benelallam;Thomas Hartmann;Ludovic Mouline;Francois Fouquet;Johann Bourcier;Olivier Barais;Yves Le Traon
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Data models;
- Smart meters;
- Smart grids;
- Databases;
- Unified modeling language;
- Adaptation models;
- Big Data;
13.Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty

机译：软件产品线具有设计选择：可变性和设计不确定性的推理
- 作者：Michalis Famelis;Julia Rubin;Krzysztof Czarnecki;Rick Salay;Marsha Chechik
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Uncertainty;
- Heating systems;
- Unified modeling language;
- Delays;
- Space exploration;
- Cognition;
- Software product lines;
14.Active Domain-Specific Languages: Making Every Mobile User a Modeller

机译：特定于主动域的语言：使每个移动用户成为一个典发者
- 作者：Diego Vaquero-Melchor;Javier Palomares;Esther Guerra;Juan de Lara
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- DSL;
- Geology;
- Mobile communication;
- Collaboration;
- Mobile handsets;
- Computational modeling;
- Tools;
15.User Experience for Model-Driven Engineering: Challenges and Future Directions

机译：模型驱动工程的用户体验：挑战和未来方向
- 作者：Silvia Abrah?o;Francis Bourdeleau;Betty Cheng;Sahar Kokaly;Richard Paige;Harald St?errle;Jon Whittle
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Usability;
- Tools;
- Electronic mail;
- Unified modeling language;
- ISO Standards;
- IEC Standards;
16.A Fuzzy Logic Based Approach for Model-Based Regression Test Selection

机译：基于模糊逻辑的模型回归测试选择方法
- 作者：Mohammed Al-Refai;Walter Cazzola;Sudipto Ghosh
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Unified modeling language;
- Fuzzy logic;
- Adaptation models;
- Testing;
- Software systems;
- Airports;
- Fuzzy sets;
17.Ecoreification: Making Arbitrary Java Code Accessible to Metamodel-Based Tools

机译：EcoReation：使基于Metamodel的工具可访问任意Java代码
- 作者：Heiko Klare;Erik Burger;Max Kramer;Michael Langhammer;Timur Saglam;Ralf Reussner
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Java;
- Tools;
- Unified modeling language;
- Generators;
- Libraries;
- Software systems;
18.Language Design with Intent

机译：意图语言设计
- 作者：Vadim Zaytsev
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- DSL;
- Art;
- Program processors;
- Computer languages;
- Programming;
- Tools;
19.A Survey of Tool Use in Modeling Education

机译：建模教育工具用途调查
- 作者：Luciane T. W. Agner;Timothy C. Lethbridge
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Tools;
- Education;
- Unified modeling language;
- Software;
- Software engineering;
- Complexity theory;
- Computational modeling;
20.Removal of Redundant Elements within UML Activity Diagrams

机译：在UML活动图中删除冗余元素
- 作者：Martin Beckmann;Vanessa N. Michalke;Aaron Schlutter;Andreas Vogelsang
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Unified modeling language;
- Industries;
- Redundancy;
- Tools;
- Automation;
- Graphical models;
- Semantics;
21.Co-Evolution of Meta-Modeling Syntax and Informal Semantics in Domain-Specific Modeling Environments — A Case Study of AUTOSAR

机译：域特定模型环境中元建模语法和非正式语义的共同演变 - 以赋予Autosar的案例研究
- 作者：Darko Durisic;Corrado Motta;Miroslaw Staron;Matthias Tichy
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Syntactics;
- Semantics;
- Metamodeling;
- Unified modeling language;
- Analytical models;
- Connectors;
- Correlation;
22.Experiences with Teaching MPS in Industry: Towards Bringing Domain Specific Languages Closer to Practitioners

机译：在行业中教授国会议员的经验：迈向较近从业者的域特定语言
- 作者：Daniel Ratiu;Vaclav Pech;Kolja Dummann
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Training;
- DSL;
- Software;
- Industries;
- Business;
- Software engineering;
23.Heuristic-Based Recommendation for Metamodel — OCL Coevolution

机译：基于启发式的Metomodel - OCL参与的建议
- 作者：Edouard Batot;Wael Kessentini;Houari Sahraoui;Michalis Famelis
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Model driven engineering;
24.A Systematic Mapping Study on Modeling for Industry 4.0

机译：工业4.0型建模系统映射研究
- 作者：Andreas Wortmann;Benoit Combemale;Olivier Barais
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Industries;
- Unified modeling language;
- Systematics;
- Modeling;
- Production facilities;
- Bibliographies;
- Libraries;
25.An Empirical Study on the Maturity of the Eclipse Modeling Ecosystem

机译：Eclipse建模生态系统成熟度的实证研究
- 作者：Javier Luis Cánovas Izquierdo;Valerio Cosentino;Jordi Cabot
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Tools;
- Ecosystems;
- Complexity theory;
- Software measurement;
- Model driven engineering;
26.Model-Driven Development of Safety Architectures

机译：型号驱动安全架构的开发
- 作者：Ewen Denney;Ganesh Pai;Iain Whiteside
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Hazards;
- Aircraft;
- Visualization;
- Model-driven development;
- Risk management;
- FAA;
27.Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon

机译：桥接专有建模和开源模型管理工具：PTC Integrity Modeller和Epsilon的情况
- 作者：Athanasios Zolotas;Horacio Hoyos Rodriguez;Dimitrios S. Kolovos;Richard F. Paige;Stuart Hutchesson
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Unified modeling language;
- Tools;
- Open source software;
- Analytical models;
- Bridges;
- Visual BASIC;
28.From Secure Business Process Modeling to Design-Level Security Verification

机译：从安全业务流程建模到设计级安全验证
- 作者：Qusai Ramadan;Mattia Salnitriy;Daniel Strüber;Jan Jürjens;Paolo Giorgini
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Security;
- Unified modeling language;
- Stakeholders;
- Modeling;
- Systems architecture;
29.Revisiting Visitors for Modular Extension of Executable DSMLs

机译：重新访问可执行DSML的模块扩展访问者
- 作者：Manuel Leduc;Thomas Degueule;Benoit Combemale;Tijs van der Storm;Olivier Barais
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Syntactics;
- Semantics;
- Object oriented modeling;
- Java;
- Context modeling;
- Algebra;
- Runtime;
30.A Model-Driven Approach to Trace Checking of Pattern-Based Temporal Properties

机译：一种追踪基于模式的时间特性的模型驱动方法
- 作者：Wei Dou;Domenico Bianculli;Lionel Briand
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Standards;
- Tools;
- Business;
- Scalability;
- Monitoring;
- Model driven engineering;
- Syntactics;
31.Property-Based Locking in Collaborative Modeling

机译：基于物业的协同建模锁定
- 作者：Csaba Debreceni;Gábor Bergmann;István Ráth;Varró Dániel
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Collaboration;
- Wind turbines;
- Testing;
- Model driven engineering;
- Frequency control;
- Cyber-physical systems;
32.Transformations of Software Product Lines: A Generalizing Framework Based on Category Theory

机译：软件产品线的转换：基于类别理论的概括框架
- 作者：Gabriele Taentzer;Rick Salay;Daniel Strüber;Marsha Chechik
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Unified modeling language;
- Heating systems;
- Delays;
- Software product lines;
- Electronic mail;
- Adaptation models;
- Algebra;
33.On Additivity in Transformation Languages

机译：转型语言的添加性
- 作者：Sochiro Hidaka;Frédéric Jouault;Massimo Tisi
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Additives;
- Syntactics;
- Computational modeling;
- Semantics;
- Couplings;
- Electronic mail;
- Databases;
34.Symbolic Execution for Realizability-Checking of Scenario-Based Specifications

机译：可实现的符号执行 - 基于方案的规格检查
- 作者：Joel Greenyer;Timo Gutjahr
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Temperature measurement;
- Concrete;
- Temperature sensors;
- Ovens;
- Heating systems;
- Topology;
35.Bidirectional Transformations in the Large

机译：大型双向变换
- 作者：Perdita Stevens
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Unified modeling language;
- Software;
- Safety;
- Computational modeling;
- Model-driven development;
- Stakeholders;
36.Why is My Component and Connector Views Specification Unsatisfiable?

机译：为什么我的组件和连接器视图规范不合适？
- 作者：Shahar Maoz;Nitzan Pomerantz;Jan Oliver Ringert;Rafi Shalom
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Connectors;
- Metals;
- Ports (Computers);
- Actuators;
- Concrete;
- Computational modeling;
37.Bringing DSE to Life: Exploring the Design Space of an Industrial Automotive Use Case

机译：为生活带来DSE：探索工业汽车用例的设计空间
- 作者：Johannes Eder;Sergey Zverlov;Sebastian Voss;Maged Khalil;Alexandru Ipatiov
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Load modeling;
- Space exploration;
- Software;
- Hardware;
- Complexity theory;
- Automotive engineering;
38.Partial Evaluation of OCL Expressions

机译：OCL表达式的部分评估
- 作者：Bastian Ulke;Friedrich Steimann;Ralf L?mmel
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Unified modeling language;
- Tools;
- Semantics;
- Maintenance engineering;
- Standards;
- Syntactics;
- Java;
39.Tool Support for Live Formal Verification

机译：工具支持实时正式验证
- 作者：Vincent Aravantinos;Sudeep Kanav
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Tools;
- Automata;
- Usability;
- Industries;
- Component architectures;
40.Translating Target to Source Constraints in Model-to-Model Transformations

机译：将目标转换为模型到模型转换中的源限制
- 作者：Jesús Sánchez Cuadrado;Esther Guerra;Juan de Lara;Robert Clarisó;Jordi Cabot
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Production facilities;
- Petri nets;
- Analytical models;
- Generators;
- Context modeling;
- Model driven engineering;
- Testing;
41.How is ATL Really Used? Language Feature Use in the ATL Zoo

机译：ATL真的如何使用？语言功能在ATL动物园中使用
- 作者：Gehan M. K. Selim;James R. Cordy;Juergen Dingel
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Syntactics;
- Libraries;
- Pattern matching;
- Software;
- Impedance matching;
- Feature extraction;
- Computer languages;
42.Ontology-Based Pattern for System Engineering

机译：基于本体的系统工程模式
- 作者：Dominique Ernadote
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Unified modeling language;
- Ontologies;
- Standards;
- Atmospheric modeling;
- Tools;
- Stakeholders;
43.Component and Connector Views in Practice: An Experience Report

机译：在实践中的组件和连接器视图：经验报告
- 作者：Vincent Bertram;Shahar Maoz;Jan Oliver Ringert;Bernhard Rumpe;Michael von Wenckstern
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Automotive engineering;
- Software packages;
- Automobiles;
- Connectors;
- Adaptation models;
- Ports (Computers);
44.DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems

机译：Dreams Toolchain：混合关键系统的模型驱动工程
- 作者：Simon Barner;Alexander Diewald;J?rn Migge;Ali Syed;Gerhard Fohler;Madeleine Faugère;Daniel Gracia Pérez
- 会议名称：《ACM/IEEE International Conference on Model Driven Engineering Languages and Systems》 | 2017年
- Tools;
- Resource management;
- Safety;
- Unified modeling language;
- Multicore processing;
- Standards;