掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
European Conference on Modelling Foundations and Applications
European Conference on Modelling Foundations and Applications
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
MoPCoM Methodology: Focus on Models of Computation
机译:
MOPCOM方法:专注于计算模型
作者:
Ali Koudri
;
Joel Champeau
;
Jean-Christophe Le Lann
;
Vincent Leilde
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2010年
关键词:
MBE;
UML;
MARTE;
COMETA;
Models of Computation;
2.
Model-Driven Engineering of Machine Executable Code
机译:
机模型机床可执行代码工程
作者:
Michael Eichberg
;
Martin Monperrus
;
Sven Kloppenburg
;
Mira Mezini
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2010年
3.
A Reflective Approach to Model-Driven Web Engineering
机译:
一种模型驱动网格工程的反思方法
作者:
Darren Clowes
;
Dimitris Kolovos
;
Chris Holmes
;
Louis Rose
;
Richard Paige
;
Julian Johnson
;
Ray Dawson
;
Steve Probets
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2010年
4.
Adding Abstraction and Reuse to a Network Modelling Tool Using the
机译:
添加抽象和重用到网络建模工具使用
作者:
Reuseware Composition Framework Jendrik Johannes
;
Miguel A. Fernandez
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2010年
5.
Model-Based Development of Automotive Electronic Climate Control Software
机译:
基于模型的汽车电子气候控制软件开发
作者:
Rupesh Kakade
;
Mohan Mumgesan
;
Bhupal Perugu
;
Mohanan Nair
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2010年
关键词:
Control law;
Framework model;
Doc block;
Legacy designs;
S-function;
Back-to-back testing;
Test automation;
6.
Coping with Variability in Model-Based Systems Engineering: An Experience in Green Energy
机译:
应对基于模型的系统工程的可变性:绿色能量的经验
作者:
Salvador Trujillo
;
Jose Miguel Garate
;
Roberto Erick Lopez-Herrejon
;
Xabier Mendialdua
;
Albert Rosado
;
Alexander Egyed
;
Charles W. Krueger
;
Josune de Sosa
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2010年
7.
A Model-Based Method for Evaluating Embedded System Performance by Abstraction of Execution Traces
机译:
一种基于模型的方法,用于评估嵌入式系统性能通过抽象的执行迹线
作者:
Kouichi Ono
;
Manabu Toyota
;
Ryo Kawahara
;
Yoshifumi Sakamoto
;
Takeo Nakada
;
Naoaki Fukuoka
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2010年
8.
A UML 2.0 Profile to Model Block Cipher Algorithms
机译:
UML 2.0配置文件到模型块密码算法
作者:
Tomas Balderas-Contreras
;
Gustavo Rodriguez-Gomez
;
Rene Cumplido
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2010年
关键词:
Block cipher algorithm;
UML 2.0 profile;
9.
Generative Technologies for Model Animation in the TOPCASED Platform
机译:
顶部平台模型动画的生成技术
作者:
Xavier Cregut
;
Benoit Combemale
;
Marc Pantel
;
Raphael Faudoux
;
Jonatas Pavei
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2010年
关键词:
Generative technologies;
Model animation;
Model execution;
Metamodeling pattern;
10.
Aspect-Oriented Business Process Modeling with A04BPMN
机译:
以A04BPMN为导向的业务流程建模
作者:
Anis Charfi
;
Heiko Muller
;
Mira Mezini
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2010年
关键词:
Aspects;
BPMN;
Business Process Modeling;
Aspect-Oriented Modeling;
11.
Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools
机译:
朝向模型驱动工具互操作性:桥接Eclipse和Microsoft建模工具
作者:
Hugo Bruneliere
;
Jordi Cabot
;
Caue Clasen
;
Frederic Jouault
;
Jean Bezivin
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2010年
12.
eSPEM - A SPEM Extension for Enactable Behavior Modeling
机译:
Espanol - 用于救助行为建模的精子延伸
作者:
Ralf Ellner
;
Samir Al-Hilank
;
Johannes Drexler
;
Martin Jung
;
Detlef Kips
;
Michael Philippsen
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2010年
13.
Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study
机译:
用问题框架和系统的要求分析和建模:案例研究
作者:
Pietro Colombo
;
Ferhat Khendek
;
Luigi Lavazza
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2010年
关键词:
Requirements analysis;
Problem decomposition;
Problem composition;
Problem Frames;
SysML;
14.
Dynamic Computation of Change Operations in Version Management of Business Process Models
机译:
业务流程模型版本管理中变更操作的动态计算
作者:
Jochen Malte Kuster
;
Christian Gerth
;
Gregor Engels
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2010年
关键词:
Model Synchronization;
Version Management;
Model Transformation;
15.
An Integrated Facet-Based Library for Arbitrary Software Components
机译:
基于集成的面部基于方面的任意软件组件库
作者:
Matthias Schmidt
;
Jan Polowinski
;
Jendrik Johannes
;
Miguel A. Fernandez
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2010年
16.
Precise Specification of Design Pattern Structure and Behaviour
机译:
精确规范设计模式结构和行为
作者:
Ashley Sterritt
;
Siobhan Clarke
;
Vinny Cahill
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2010年
17.
Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search
机译:
基于示例的序列图,用于使用启发式搜索的彩色Petri网转换
作者:
Marouane Kessentini
;
Arbi Bouchoucha
;
Houari Sahraoui
;
Mounir Boukadoum
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2010年
关键词:
Model transformation;
Petri nets;
Sequence diagrams;
Search-based software engineering;
18.
Detecting Inconsistencies in Multi-View Models with Variability
机译:
具有可变性的多视图模型中的不一致
作者:
Roberto Erick Lopez-Herrejon
;
Alexander Egyed
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2010年
19.
Concordance: A Framework for Managing Model Integrity
机译:
一致:一个管理模型完整性的框架
作者:
Louis M. Rose
;
Dimitrios S. Kolovos
;
Nicholas Drivalos
;
James R. Williams
;
Richard F. Paige
;
Fiona A. C. Polack
;
Kiran J. Fernandes
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2010年
20.
Model Search: Formalizing and Automating Constraint Solving in MDE Platforms
机译:
模型搜索:在MDE平台中正式和自动化约束
作者:
Mathias Kleiner
;
Marcos Didonet Del Fabro
;
Patrick Albert
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2010年
21.
Comparing Approaches to Implement Feature Model Composition
机译:
实现特征模型组成的比较方法
作者:
Mathieu Acher
;
Philippe Collet
;
Philippe Lahire
;
Robert Prance
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2010年
22.
An Automated Approach to Transform Use Cases into Activity Diagrams
机译:
将用例转换为活动图的自动化方法
作者:
Tao Yue
;
Lionel C. Briand
;
Yvan Labiche
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2010年
关键词:
Use Case;
Use Case Modeling;
UML;
Activity Diagram;
Transformation;
Traceability;
Automation;
Natural Language Processing;
23.
Joint Language and Domain Engineering
机译:
联合语言和域工程
作者:
Tobias Walter
;
Fernando Silva Parreiras
;
Steffen Staab
;
Jurgen Ebert
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2010年
24.
On the Combination of Domain Specific Modeling Languages
机译:
关于域特定建模语言的组合
作者:
Antonio Vallecillo
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2010年
25.
Code Generation Nirvana
机译:
代码生成Nirvana.
作者:
Petr Smolik
;
Pavel Vitkovsky
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
关键词:
Code Generation;
Domain-Specific Modeling (DSM);
Domain-Specific Modeling Languages (DSML);
Model-Driven Engineering (MDE);
Model Interpretation;
Executable Models;
XML;
XSLT;
XQuery;
26.
Model Transformations for Migrating Legacy Models: An Industrial Case Study
机译:
迁移遗留模型的模型转换:工业案例研究
作者:
Gehan M. K. Selim
;
Shige Wang
;
James R. Cordy
;
Juergen Dingel
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
关键词:
Model Driven Development (MDD);
Model transformations;
AUTOSAR;
Transformation languages and tools;
Automotive control software;
27.
BOB the Builder: A Fast and Friendly Model-to-PetriNet Transformer
机译:
Bob The Builder:一种快速友好的模型 - 宠物型式变压器
作者:
Ulrich Winkler
;
Mathias Fritzsche
;
Wasif Gilani
;
Alan Marshall
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
28.
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems
机译:
MADES:用于自动验证UML嵌入式系统模型的工具链
作者:
Alek Radjenovic
;
Nicholas Matragkas
;
Richard F. Paige
;
Matteo Rossi
;
Alfredo Motta
;
Luciano Baresi
;
Dimitrios S. Kolovos
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
29.
Comparative Study of Model-Based and Multi-Domain System Engineering Approaches for Industrial Settings
机译:
基于模型和多域系统工程工程方法的对比研究
作者:
Anjelika Votintseva
;
Petra Witschel
;
Nikolaus Regnat
;
Philipp Emanuel Stelzig
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
关键词:
Model-based system engineering;
Simulation;
Multi-domain systems;
SysML;
Modelica;
Comparative study;
Industrial use cases;
30.
An Internal Domain-Specific Language for Constructing OPC UA Queries and Event Filters
机译:
用于构建OPC UA查询和事件过滤器的内部域特定语言
作者:
Thomas Goldschmidt
;
Wolfgang Mahnke
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
31.
A Plug-in Based Approach for UML Model Simulation
机译:
基于插件的UML模型仿真方法
作者:
Alek Radjenovic
;
Richard F. Paige
;
Louis M. Rose
;
Jim Woodcock
;
Steve King
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
32.
Metamodel Based Methodology for Dynamic Component Systems
机译:
基于Metamodel的动态组件系统方法论
作者:
Gabor Batori
;
Zoltan Theisz
;
Domonkos Asztalos
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
33.
Bridging the Gap between Requirements and Aspect State Machines to Support Non-functional Testing: Industrial Case Studies
机译:
桥接要求和宽高的状态机之间的差距,以支持非功能性测试:工业案例研究
作者:
Tao Yue
;
Shaukat Ali
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
关键词:
Use Case Modeling;
UML;
Aspect State Machine;
Model-Based Testing (MBT);
State-based Testing;
34.
Model Interchange Testing: A Process and a Case Study
机译:
模型交换测试:一个过程和案例研究
作者:
Maged Elaasar
;
Yvan Labiche
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
关键词:
Model;
Interchange;
MOF;
UML;
SysML;
XMI;
OCL;
35.
A Timed Automata-Based Method to Analyze EAST-ADL Timing Constraint Specifications
机译:
基于自动机的基于自动机的方法来分析East-ADL时序约束规范
作者:
Tahir Naseer Qureshi
;
De-Jiu Chen
;
Martin Torngren
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
关键词:
Model-based development;
EAST-ADL;
Timed-Automata;
UPPAAL;
Timing Constraints;
36.
Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing
机译:
组合UML序列和状态机图对数据流基于集成测试
作者:
Lionel Briand
;
Yvan Labiche
;
Yanhua Liu
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
关键词:
UML 2;
Interaction diagram;
State machine;
Data flow;
Coupling;
Integration testing;
37.
TexMo: A Multi-language Development Environment
机译:
Texmo:多语言开发环境
作者:
Rolf-Helge Pfeiffer
;
Andrzej Wasowski
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
38.
Unification of Compiled and Interpreter-Based Pattern Matching Techniques
机译:
基于解释器的模式匹配技术统一
作者:
Gergely Varro
;
Anthony Anjorin
;
Andy Schurr
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
关键词:
Model transformation;
Pattern matching interpreter;
Compiled pattern matcher;
39.
Solving Acquisition Problems Using Model-Driven Engineering
机译:
使用模型驱动的工程解决采集问题
作者:
Frank R. Burton
;
Richard F. Paige
;
Louis M. Rose
;
Dimitrios S. Kolovos
;
Simon Poulding
;
Simon Smith
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
40.
Aspect-Oriented Modeling of Mutual Exclusion in UML State Machines
机译:
UML状态机中的相互排除的方面导向建模
作者:
Gefei Zhang
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
41.
Derived Features for EMF by Integrating Advanced Model Queries
机译:
通过集成高级模型查询来实现EMF的功能
作者:
Istvan Rath
;
Abel Hegedus
;
Daniel Varro
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
42.
OCL-Based Runtime Monitoring of Applications with Protocol State Machines
机译:
基于OCL的运行时监控应用程序的应用程序
作者:
Lars Hamann
;
Oliver Hofrichter
;
Martin Gogolla
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
43.
Model-Based Automated and Guided Configuration of Embedded Software Systems
机译:
基于模型的嵌入式软件系统的自动化和指导配置
作者:
Razieh Behjati
;
Shiva Nejati
;
Tao Yue
;
Arnaud Gotlieb
;
Lionel Briand
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
关键词:
Product configuration;
Model-based software engineering;
Constraint satisfaction;
UML/OCL;
44.
Bidirectional Model Transformation with Precedence Triple Graph Grammars
机译:
具有优先级三图语法的双向模型转换
作者:
Marius Lauder
;
Anthony Anjorin
;
Gergely Varro
;
Andy Schurr
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
关键词:
Triple graph grammars;
Control algorithm of unidirectional transformations;
Node precedence analysis;
Rule dependency analysis;
45.
Badger: A Regression Planner to Resolve Design Model Inconsistencies
机译:
獾:一个回归计划,用于解决设计模型不一致
作者:
Jorge Pinna Puissant
;
Ragnhild Van Der Straeten
;
Tom Mens
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
关键词:
Automated planning;
Inconsistency resolution;
Model;
Scalability;
46.
On Model Subtyping
机译:
关于模型亚型
作者:
Clement Guy
;
Benoit Combemale
;
Steven Derrien
;
Jim R. H. Steel
;
Jean-Marc Jezequel
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
关键词:
SLE;
Modeling Languages;
Model Typing;
Model Substitutability;
47.
A Lightweight Approach for Managing XML Documents with MDE Languages
机译:
一种使用MDE语言管理XML文档的轻量级方法
作者:
Dimitrios S. Kolovos
;
Louis M. Rose
;
James Williams
;
Nicholas Matragkas
;
Richard F. Paige
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
48.
Domain-Specific Textual Meta-Modelling Languages for Model Driven Engineering
机译:
用于模型驱动工程的域特定文本元建模语言
作者:
Juan de Lara
;
Esther Guerra
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
关键词:
Model-Driven Engineering;
Deep Languages;
Domain-Specific Meta-Modelling;
Textual Concrete Syntax;
Multi-Level Transformations;
49.
Specifying Refinement Relations in Vertical Model Transformations
机译:
在垂直模型转换中指定细化关系
作者:
Jan Rieke
;
Oliver Sudmann
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
关键词:
Vertical Model Synchronization;
Triple Graph Grammars (TGG);
Refinement/Abstraction;
Mechatronic System Design;
50.
Lightweight String Reasoning for OCL
机译:
轻量级字符串推理OCL
作者:
Fabian Buttner
;
Jordi Cabot
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
关键词:
OCL;
String data type;
Model Finding;
51.
A Commutative Model Composition Operator to Support Software Adaptation
机译:
换向模型组合操作员支持软件适应
作者:
Sebastien Mosser
;
Mireille Blay-Fornarino
;
Laurence Duchien
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
52.
On-the-Fly Emendation of Multi-level Models
机译:
多级模型的一般性修改
作者:
Colin Atkinson
;
Ralph Gerbig
;
Bastian Kennel
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
关键词:
Multi-level emendation;
Orthogonal classification architecture;
Ontological classification;
Linguistic classification;
53.
Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems
机译:
UML-Marte安全关键实时系统的时间特性验证框架
作者:
Ning Ge
;
Marc Pantel
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
关键词:
Real-Time System;
Time Property Verification;
Model Transformation;
UML;
MARTE;
Time Petri Net;
Model Checking;
54.
Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations
机译:
通过将集合作为关系来加强基于UML / OCL模型的基于SAT的验证
作者:
Mirco Kuhlmann
;
Martin Gogolla
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2012年
55.
A Case Study in Evidence-Based DSL Evolution
机译:
基于证据的DSL演化的案例研究
作者:
Jeroen van den Bos
;
Tijs van der Storm
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
关键词:
Evidence-Based;
DSL;
Evolution;
56.
Model Driven Software Development A Practitioner Takes Stock and Looks into Future
机译:
模型驱动软件开发一名从业者需要股票并展望未来
作者:
Vinay Kulkarni
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
关键词:
Modeling;
meta modeling;
separation of concerns;
model transformation;
software product lines;
model driven engineering workbench;
model driven enterprise;
57.
Employing the Object Constraint Language in Model-Based Engineering
机译:
在基于模型的工程中使用对象约束语言
作者:
Martin Gogolla
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
58.
Employing the Object Constraint Language in Model-Based Engineering
机译:
在基于模型的工程中使用对象约束语言
作者:
Martin Gogolla
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
关键词:
Employing;
Object Constraint Language;
Model-Based Engineering;
59.
A Network-Centric BPMN Model for Business Network Management
机译:
一种以网络为中心的商业网络管理BPMN模型
作者:
Daniel Ritter
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
关键词:
Business Network;
Business Network Management;
Network-centric BPMN;
60.
Umbra Designer: Graphical Modelling for Telephony Services
机译:
Umbra Designer:电话服务的图形建模
作者:
Nicolás Buezas
;
Esther Guerra
;
Juan de Lara
;
JavierMartín
;
Miguel Monforte
;
Fiorella Mori
;
Eva Ogallar
;
Oscar Pérez
;
Jesús Sánchez Cuadrado
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
关键词:
Model-Driven Engineering;
Telephony Services;
Jain SLEE;
Domain Specific Visual Languages;
Code Generation;
61.
Umbra Designer: Graphical Modelling for Telephony Services
机译:
Umbra Designer:电话服务的图形建模
作者:
Nicolas Buezas
;
Esther Guerra
;
Juan de Lara
;
Javier Martin
;
Miguel Monforte
;
Fiorella Mori
;
Eva Ogallar
;
Oscar Perez
;
Jesus Sanchez Cuadrado
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
关键词:
Model-Driven Engineering;
Telephony Services;
Jain SLEE;
Domain Specific Visual Languages;
Code Generation;
62.
A Case Study in Evidence-Based DSL Evolution
机译:
基于证据的DSL演化的案例研究
作者:
Jeroen van den Bos
;
Tijs van der Storm
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
63.
A Network-Centric BPMN Model for Business Network Management
机译:
一种以网络为中心的商业网络管理BPMN模型
作者:
Daniel Ritter
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
关键词:
Business Network;
Business Network Management;
Network-centric BPMN;
64.
Design Management: A Collaborative Design Solution
机译:
设计管理:协同设计解决方案
作者:
Maged Elaasar
;
James Conallen
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
关键词:
Design;
Architecture;
Linked Data;
Design Management;
UML;
65.
Design Management: A Collaborative Design Solution
机译:
设计管理:协同设计解决方案
作者:
Maged Elaasar
;
James Conallen
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
关键词:
Design;
Architecture;
Linked Data;
Design Management;
UML;
66.
Characterization of Adaptable Interpreted-DSML
机译:
适应性解释-DSML的表征
作者:
Eric Cariou
;
Olivier Le Goaer
;
Franck Barbier
;
Samson Pierre
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
关键词:
Model execution;
Adaptation;
I-DSML;
Models at runtime;
67.
Model-Based Generation of Run-Time Monitors for AUTOSAR
机译:
基于模型的AutoSAR的运行时间监视器生成
作者:
Lars Patzina
;
Sven Patzina
;
Thorsten Piper
;
Paul Manns
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
关键词:
AUTOSAR;
Extended live sequence charts;
Model-based;
Monitor petri nets;
Run-time monitoring;
Signatures;
68.
Transformation as Search
机译:
转换为搜索
作者:
Mathias Kleiner
;
Marcos Didonet Del Fabro
;
Davi De Queiroz Santos
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
关键词:
Transformation;
Search;
maintain consistency;
69.
Supporting Different Process Views through a Shared Process Model
机译:
通过共享过程模型支持不同的进程视图
作者:
Jochen Küster
;
Hagen V?lzer
;
Cédric Favre
;
Moises Castelo Branco
;
Krzysztof Czarnecki
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
关键词:
Supporting Different Process;
Shared;
Process Model;
70.
MOCQL: A Declarative Language for Ad-Hoc Model Querying
机译:
MoCQL:Ad-hoc模型查询的声明性语言
作者:
Harald Storrle
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
关键词:
OCL;
UML;
Model querying;
Empirical software engineering;
Prolog;
71.
End-User Support for Debugging Demonstration-Based Model Transformation Execution
机译:
最终用户支持,用于调试基于演示的模型转换执行
作者:
Yu Sun
;
Jeff Gray
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
关键词:
Model Transformation By Demonstration (MTBD);
Model Transformation Debug;
End-User Programming;
72.
Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing
机译:
在信号交换上应用DEF使用方法实现Sysml模型的测试
作者:
Fabrice Ambert
;
Fabrice Bouquet
;
Jonathan Lasalle
;
Bruno Legeard
;
Fabien Peureux
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
关键词:
Model-Based Testing;
UML/SysML notations;
coverage criteria;
mechatronic systems;
toolchain experimentation;
73.
Using Model Types to Support Contract-Aware Model Substitutability
机译:
使用模型类型来支持合同感知模型的替代性
作者:
Wuliang Sun
;
Benoit Combemale
;
Steven Derrien
;
Robert B. France
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
关键词:
SLE;
Modeling Languages;
Model Typing;
Contract Matching;
Model Substitutability;
74.
Model Driven Software Development A Practitioner Takes Stock and Looks into Future
机译:
模型驱动软件开发一名从业者需要股票并展望未来
作者:
Vinay Kulkarni
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
关键词:
Modeling;
Meta modeling;
Separation of concerns;
Model transformation;
Software product lines;
Model driven engineering workbench;
Model driven enterprise;
75.
Characterization of Adaptable Interpreted-DSML
机译:
适应性解释-DSML的表征
作者:
Eric Cariou
;
Olivier Le Goaer
;
Franck Barbier
;
Samson Pierre
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
关键词:
model execution;
adaptation;
i-DSML;
models at runtime;
76.
Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing
机译:
在信号交换上应用DEF使用方法实现Sysml模型的测试
作者:
Fabrice Ambert
;
Fabrice Bouquet
;
Jonathan Lasalle
;
Bruno Legeard
;
Fabien Peureux
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
关键词:
Model-Based Testing;
UML/SysML notations;
Coverage criteria;
Mechatronic systems;
Toolchain experimentation;
77.
Experience with Industrial Adoption of Business Process Models for User Acceptance Testing
机译:
工业采用业务流程模型的经验进行用户验收测试
作者:
Deepali Kholkar
;
Pooja Yelure
;
Harshit Tiwari
;
Ajay Deshpande
;
Aditya Shetye
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
78.
Supporting Different Process Views through a Shared Process Model
机译:
通过共享过程模型支持不同的进程视图
作者:
Jochen Kuster
;
Hagen Volzer
;
Cedric Favre
;
Moises Castelo Branco
;
Krzysztof Czarnecki
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
79.
Using Model Types to Support Contract-Aware Model Substitutability
机译:
使用模型类型来支持合同感知模型的替代性
作者:
Wuliang Sun
;
Benoit Combemale
;
Steven Derrien
;
Robert B. France
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
关键词:
SLE;
Modeling Languages;
Model Typing;
Contract Matching;
Model Substitutability;
80.
End-User Support for Debugging Demonstration-Based Model Transformation Execution
机译:
最终用户支持,用于调试基于演示的模型转换执行
作者:
Yu Sun
;
Jeff Gray
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
关键词:
Model Transformation By Demonstration (MTBD);
Model Transformation Debug;
End-User Programming;
81.
DPMP: A Software Pattern for Real-Time Tasks Merge
机译:
DPMP:用于实时任务合并的软件模式
作者:
Rania Mzid
;
Chokri Mraidha
;
Asma Mehiaoui
;
Sara Tucci-Piergiovanni
;
Jean-Philippe Babau
;
Mohamed Abid
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
关键词:
Real-Time Validation;
Architectural Model;
RTOS-Specific Model;
Software Pattern;
Re-factoring;
MILP Formulation;
82.
MOCQL: A Declarative Language for Ad-Hoc Model Querying
机译:
MoCQL:Ad-hoc模型查询的声明性语言
作者:
Harald St?rrle
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
关键词:
OCL;
UML;
model querying;
empirical software engineering;
Prolog;
83.
Experience with Industrial Adoption of Business Process Models for User Acceptance Testing
机译:
工业采用业务流程模型的经验进行用户验收测试
作者:
Deepali Kholkar
;
Pooja Yelure
;
Harshit Tiwari
;
Ajay Deshpande
;
Aditya Shetye
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
关键词:
Experience;
Industrial Adoption;
Business Process;
84.
Model-Based Generation of Run-Time Monitors for AUTOSAR
机译:
基于模型的AutoSAR的运行时间监视器生成
作者:
Lars Patzina
;
Sven Patzina
;
Thorsten Piper
;
Paul Manns
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
关键词:
AUTOSAR;
extended live sequence charts;
model-based;
monitor petri nets;
run-time monitoring;
signatures;
85.
DPMP: A Software Pattern for Real-Time Tasks Merge
机译:
DPMP:用于实时任务合并的软件模式
作者:
Rania Mzid
;
Chokri Mraidha
;
Asma Mehiaoui
;
Sara Tucci-Piergiovanni
;
Jean-Philippe Babau
;
Mohamed Abid
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
关键词:
Real-Time Validation;
Architectural Model;
RTOS-Specific Model;
Software Pattern;
Re-factoring;
MILP Formulation;
86.
Transformation as Search
机译:
转换为搜索
作者:
Mathias Kleiner
;
Marcos Didonet Del Fabro
;
Davi De Queiroz Santos
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2013年
87.
Towards an Infrastructure for Domain-Specific Languages in a Multi-domain Cloud Platform
机译:
在多域云平台中迈出特定于域的语言的基础架构
作者:
Thomas Goldschmidt
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2014年
88.
Neo4EMF, A Scalable Persistence Layer for EMF Models
机译:
Neo4emf,EMF模型的可扩展持久性层
作者:
Amine Benelallam
;
Abel Gomez
;
Gerson Sunye
;
Massimo Tisi
;
David Launay
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2014年
89.
Experiences with Business Process Model and Notation for Modeling Integration Patterns
机译:
建模集成模式的业务流程模型和符号的体验
作者:
Daniel Ritter
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2014年
关键词:
Business Process Model and Notation (BPMN);
Enterprise Integration Patterns;
Message-based Integration;
Middleware;
90.
Alloy4SPV: A Formal Framework for Software Process Verification
机译:
Alloy4SPV:软件流程验证的正式框架
作者:
Yoann Laurent
;
Reda Bendraou
;
Souheib Baarir
;
Marie-Pierre Gervais
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2014年
91.
Level-Agnostic Designation of Model Elements
机译:
模型元素的级别不可知
作者:
Colin Atkinson
;
Ralph Gerbig
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2014年
关键词:
Deep modeling;
Designation;
Level-agnostic modeling language;
Linguistic classification;
Ontological classification;
92.
OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL
机译:
OCLR:一种更具表现力,基于模式的OCL的时间扩展
作者:
Wei Dou
;
Domenico Bianculli
;
Lionel Briand
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2014年
93.
Normalizing Heterogeneous Service Description Models with Generated QVT Transformations
机译:
具有生成的QVT变换的异构服务描述模型
作者:
Simon Schwichtenberg
;
Christian Gerth
;
Zille Huma
;
Gregor Engels
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2014年
关键词:
SOA;
Service Description;
Ontologies;
Behavioral Models;
Matching;
94.
Efficient Model Synchronization with View Triple Graph Grammars
机译:
高效模型同步与视图三图谱语法
作者:
Anthony Anjorin
;
Sebastian Rose
;
Frederik Deckwerth
;
Andy Schurr
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2014年
关键词:
Model driven engineering;
Bidirectional model transformation;
Triple graph grammars;
View triple graph grammars;
95.
A Family-Based Framework for i-DSML Adaptation
机译:
基于家庭的I-DSML适应框架
作者:
Samson Pierre
;
Eric Cariou
;
Olivier Le Goaer
;
Franck Barbier
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2014年
关键词:
Model execution;
Adaptation;
I-DSML;
Models at runtime;
96.
Identifying and Visualising Commonality and Variability in Model Variants
机译:
识别和可视化模型变体中的共性和可变性
作者:
Jabier Martinez
;
Tewfik Ziadi
;
Jacques Klein
;
Yves le Traon
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2014年
97.
Language-Independent Traceability with Lassig
机译:
Lassig的语言无关可追溯性
作者:
Rolf-Helge Pfeiffer
;
Jan Reimann
;
Andrzej Wasowski
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2014年
98.
Sensor Data Visualisation: A Composition-Based Approach to Support Domain Variability
机译:
传感器数据可视化:基于组成的支持域变异性的方法
作者:
Ivan Logre
;
Sebastien Mosser
;
Philippe Collet
;
Michel Riveill
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2014年
关键词:
Variability;
Data visualisation;
Sensors;
Model composition;
99.
A MOF-Based Framework for Defining Metrics to Measure the Quality of Models
机译:
基于MOF的框架,用于测量模型质量的度量标准
作者:
Tao Yue
;
Shaukat Ali
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2014年
关键词:
Quality Metrics;
Controlled Experiments;
Metamodel;
MOF;
100.
Interpretation of Linguistic Architecture
机译:
诠释语言建筑
作者:
Ralf Lammel
;
Andrei Varanovich
会议名称:
《European Conference on Modelling Foundations and Applications》
|
2014年
关键词:
Megamodel;
Interpretation;
Technological space;
Software language;
Software technology;
Ontology;
Linked Data;
意见反馈
回到顶部
回到首页