掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Conference on Model Driven Engineering Languages and Systems
International Conference on Model Driven Engineering Languages and Systems
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Specification of Invariability in OCL
机译:
OCL中的不变性规范
作者:
Piotr Kosiuczenko
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2006年
2.
A Graphical Approach to Risk Identification, Motivated by Empirical Investigations
机译:
通过经验研究的风险识别的图形方法
作者:
Ida Hogganvik
;
Ketil Stolen
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2006年
3.
Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach
机译:
课堂模型中的建立抽象:模型驱动方法中的正式概念分析
作者:
Gabriela Arevalo
;
Jean-Remi Falleri
;
Marianne Huchard
;
Clementine Nebut
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2006年
4.
Using Smalltalk as a Reflective Executable Meta-language
机译:
使用SmallTalk作为反射可执行的元语言
作者:
Stephane Ducasse
;
Tudor Girba
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2006年
关键词:
Meta behavior description;
Reflective language;
Smalltalk;
5.
Merging Models with the Epsilon Merging Language (EML)
机译:
用epsilon合并语言合并模型(EML)
作者:
Dimitrios S. Kolovos
;
Richard F. Paige
;
Fiona A. C. Polack
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2006年
6.
Using UML Activities for System-on-Chip Design and Synthesis
机译:
使用UML活动进行片上系统设计和合成
作者:
Tim Schattkowsky
;
Jan Hendrik Hausmann
;
Gregor Engels
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2006年
7.
Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models
机译:
基于UML模型的分布式对象之间的行为依赖性的分析与可视化
作者:
Vahid Garousi
;
Lionel C. Briand
;
Yvan Labiche
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2006年
8.
Workshops and Symposia at MoDELS 2006
机译:
2006年型号的讲习班和专题讨论会
作者:
Thomas Kuhne
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2006年
9.
Model-Driven Assessment of Use Cases for Dependable Systems
机译:
可靠系统用例的模型驱动评估
作者:
Sadaf Mustafiz
;
Ximeng Sun
;
Jorg Kienzle
;
Hans Vangheluwe
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2006年
10.
Layered Class Diagrams: Supporting the Design Process
机译:
分层类图:支持设计过程
作者:
Scott Hendrickson
;
Bryan Jett
;
Andre van der Hoek
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2006年
11.
Model-Driven Development with SDL - Process, Tools, and Experiences
机译:
使用SDL - 流程,工具和经验模型驱动开发
作者:
T. Kuhn
;
R. Gotzhein
;
C. Webel
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2006年
12.
CUP 2.0: High-Level Modeling of Context-Sensitive Interactive Applications
机译:
2.0杯2.0:上下文敏感互动应用的高级建模
作者:
Jan Van den Bergh
;
Karin Coninx
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2006年
13.
Generic Met a-modelling with Concepts, Templates and Mixin Layers
机译:
通用符合概念,模板和Mixin层的建模
作者:
Juan de Lara
;
Esther Guerra
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
14.
Capturing the Intention of Model Changes
机译:
捕捉模型变化的意图
作者:
Patrick Konemann
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
关键词:
Model differencing;
Model refactoring;
Model patching;
15.
Transformation-Based Parallelization of Request-Processing Applications
机译:
基于转换的请求处理应用程序的并行化
作者:
Taylor L. Riche
;
Harrick M. Vin
;
Don Batory
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
16.
transML: A Family of Languages to Model Model Transformations
机译:
传输:一种以模型转换为模型转换的语言系列
作者:
Esther Guerra
;
Juan de Lara
;
Dimitrios S. Kolovos
;
Richard F. Paige
;
Osmar Marchi dos Santos
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
17.
Concern-Based (de) composition of Mo del-Driven Software Development Processes
机译:
关注的基于(DE)的MO DEL-DEL驱动软件开发过程的组成
作者:
Jendrik Johannes
;
Uwe Afimann
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
18.
Architectural Descriptions as Boundary Objects in System and Design Work
机译:
作为系统和设计工作中的边界对象的建筑描述
作者:
Lars Pareto
;
Peter Eriksson
;
Staffan Ehnebom
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
关键词:
MBSE;
Engineering communication;
Architecture;
Boundary object;
19.
Model Driven Orchestration: Design for Service Compatibility
机译:
模型驱动编排:服务兼容性设计
作者:
Georg Grossmann
;
Michael Schrefl
;
Markus Stumptner
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
20.
Inter-modelling: From Theory to Practice
机译:
互模型:从理论到实践
作者:
Esther Guerra
;
Juan de Lara
;
Dimitrios S. Kolovos
;
Richard F. Paige
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
21.
Rapid UI Development for Enterprise Applications: Combining Manual and Model-Driven Techniques
机译:
企业应用的快速UI开发:组合手动和模型驱动技术
作者:
Arne Schramm
;
Andre Preussner
;
Matthias Heinrich
;
Lars Vogel
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
关键词:
Model-Driven UI Development;
UI Generation;
UI Customisation;
22.
Precise Detection of Conflicting Change Operations Using Process Model Terms
机译:
使用流程模型术语精确地检测冲突变更操作
作者:
Christian Gerth
;
Jochen M. Kuster
;
Markus Luckey
;
Gregor Engels
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
23.
Monarch: Model-Based Development of Software Architectures
机译:
君主:基于模型的软件架构开发
作者:
Hamid Bagheri
;
Kevin Sullivan
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
24.
Embedded Software Development with Projectional Language Workbenches
机译:
嵌入式软件开发与突出语言工作台
作者:
Markus Voelter
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
关键词:
Embedded systems;
Language extension;
Domain-specific languages;
Code generation;
Projectional editing;
25.
Selective and Consistent Undoing of Model Changes
机译:
选择性和一致的模型变化撤消
作者:
Iris Groher
;
Alexander Egyed
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
26.
A Systematic Review on the Definition of UML Profiles
机译:
关于UML配置文件定义的系统审查
作者:
Jesus Pardillo
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
关键词:
UML;
Modelling;
Profiles;
Review;
27.
Modeling Features at Runtime
机译:
运行时建模功能
作者:
Marcus Denker
;
Jorge Ressia
;
Orla Greevy
;
Oscar Nierstrasz
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
关键词:
Models at runtime;
Behavioral reflection;
Feature annotations;
Dynamic analysis;
Feature analysis;
Software maintenance;
Feature growing;
28.
Design Guidelines for the Development of Quality-Driven Model Transformations
机译:
质量驱动模型变换开发的设计指南
作者:
Emilio Insfran
;
Javier Gonzalez-Huerta
;
Silvia Abrahao
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
关键词:
Model-Driven Development;
Model Transformation Design;
Model Quality Assurance;
29.
Incremental Evaluation of Model Queries over EMF Models
机译:
EMF模型模型查询的增量评估
作者:
Gabor Bergmann
;
Akos Horvath
;
Istvan Rath
;
Daniel Varro
;
Andras Balogh
;
Zoltan Balogh
;
Andras Okros
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
关键词:
EMF;
Model query;
Incremental pattern matching;
Model validation;
30.
An Adjustable Transformation from OWL to Ecore
机译:
从猫头鹰到ecore的可调变换
作者:
Tirdad Rahmani
;
Daniel Oberle
;
Marco Dahms
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
31.
Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations
机译:
Henshin:用于就地EMF模型转换的高级概念和工具
作者:
Thorsten Arendt
;
Enrico Biermann
;
Stefan Jurack
;
Christian Krause
;
Gabriele Taentzer
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
32.
Active Operations on Collections
机译:
集合上的积极运营
作者:
Olivier Beaudoux
;
Arnaud Blouin
;
Olivier Barais
;
Jean-Marc Jezequel
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
33.
Disciplined Heterogeneous Modeling
机译:
纪律的异构造型
作者:
Edward A. Lee
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
34.
A Visual Traceability Modeling Language
机译:
一种可视化可追溯性建模语言
作者:
Patrick Mader
;
Jane Cleland-Huang
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
35.
Improving Test Models for Large Scale Industrial Systems: An Inquisitive Study
机译:
改进大型工业系统的测试模型:一项好奇研究
作者:
Andrew Diniz da Costa
;
Viviane Torres da Silva
;
Alessandro Garcia
;
Carlos Jose Pereira de Lucena
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
关键词:
Modeling;
Software Testing;
Industrial Applications;
36.
A Systematic Review of the Use of Requirements Engineering Techniques in Model-Driven Development
机译:
在模型驱动开发中使用需求工程技术的系统综述
作者:
Grzegorz Loniewski
;
Emilio Insfran
;
Silvia Abrahao
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
关键词:
Model-driven development;
Requirements engineering;
Systematic review;
37.
Consistent Modeling Using Multiple UML Profiles
机译:
使用多个UML配置文件的一致建模
作者:
Florian Noyrit
;
Sebastien Gerard
;
Francois Terrier
;
Bran Selic
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
38.
Towards a Semantics of Activity Diagrams with Semantic Variation Points
机译:
朝着语义变异点的活动图表的语义
作者:
Hans Gronniger
;
Dirk Reiss
;
Bernhard Rumpe
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
39.
Artifact or Process Guidance, an Empirical Study
机译:
文物或过程指导,实证研究
作者:
Marcos Aurelio Almeida da Silva
;
Alix Mougenot
;
Reda Bendraou
;
Jacques Robin
;
Xavier Blanc
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
40.
Inferring Meta-models for Runtime System Data from the Clients of Management APIs
机译:
从管理API的客户端推断用于运行时系统数据的元模型
作者:
Hui Song
;
Gang Huang
;
Yingfei Xiong
;
Franck Chauvel
;
Yanchun Sun
;
Hong Mei
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
41.
Slicing of UML Models Using Model Transformations
机译:
使用模型转换切割UML模型
作者:
Kevin Lano
;
Shekoufeh Kolahdouz-Rahimi
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
42.
Extending Variability for OCL Interpretation
机译:
扩展OCL解释的可变性
作者:
Claas Wilke
;
Michael Thiele
;
Christian Wende
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
关键词:
OCL;
OCL Infrastructure;
OCL Tool;
MDSD;
Modelling;
Constraint Interpretation;
Technological Spaces;
Variability;
Adaptation;
43.
A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering
机译:
用于人工制品的元模型:在需求工程中学到的基础知识和经验教训
作者:
Daniel Mendez Fernandez
;
Birgit Penzenstadler
;
Marco Kuhrmann
;
Manfred Broy
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
44.
Taming EMF and GMF Using Model Transformation
机译:
使用模型转换来驯服EMF和GMF
作者:
Dimitrios S. Kolovos
;
Louis M. Rose
;
Saad Bin Abid
;
Richard F. Paige
;
Fiona A. C. Polack
;
Goetz Botterweck
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
45.
Taming Graphical Modeling
机译:
驯服图形建模
作者:
Hauke Fuhrmann
;
Reinhard von Hanxleden
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
46.
A Metamodel-Based Approach for Automatic User Interface Generation
机译:
基于元的自动用户界面生成方法
作者:
Antonio Miguel Rosado da Cruz
;
Joao Pascoal Faria
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
关键词:
MDD;
MDA;
Metamodel;
User Interface Automatic Generation;
Model Transformation;
47.
An Observer-Based Notion of Model Inheritance
机译:
基于观察者的模型继承概念
作者:
Thomas Kuhne
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
关键词:
Model inheritance;
Model compatibility;
Language engineering;
Model evolution;
48.
Automatically Discovering Properties That Specify the Latent Behavior of UML Models
机译:
自动发现指定UML模型的潜行行为的属性
作者:
Heather J. Goldsby
;
Betty H. C. Cheng
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
49.
A Comparison of Model Migration Tools
机译:
模型迁移工具的比较
作者:
Louis M. Rose
;
Markus Herrmannsdoerfer
;
James R. Williams
;
Dimitrios S. Kolovos
;
Kelly Garces
;
Richard F. Paige
;
Fiona A. C. Polack
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
50.
Early Deviation Detection in Modeling Activities of MDE Processes
机译:
MDE过程建模活动中的早期偏差检测
作者:
Marcos Aurelio Almeida da Silva
;
Reda Bendraou
;
Xavier Blanc
;
Marie-Pierre Gervais
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
51.
Scaling Up Model Driven Engineering - Experience and Lessons Learnt
机译:
缩放模型驱动的工程 - 经验和经验教训
作者:
Vinay Kulkarni
;
Sreedhar Reddy
;
Asha Rajbhoj
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
关键词:
Modeling;
Meta model;
Code generation;
Business applications;
52.
Mod4J: A Qualitative Case Study of Model-Driven Software Development
机译:
Mod4J:模型驱动软件开发的定性案例研究
作者:
Vincent Lussenburg
;
Tijs van der Storm
;
Jurgen Vinju
;
Jos Warmer
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
53.
Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program
机译:
转换过程模型:可执行文件重写规则与正式的Java程序
作者:
Pieter Van Gorp
;
Rik Eshuis
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
54.
Application Logic Patterns - Reusable Elements of User-System Interaction
机译:
应用程序逻辑模式 - 用户系统交互的可重用元素
作者:
Albert Ambroziewicz
;
Michal Smialek
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
55.
Model-to-Metamodel Transformation for the Development of Component-Based Systems
机译:
基于组件的系统开发的模型到元模型转换
作者:
Gerd Kainz
;
Christian Buckl
;
Stephan Sommer
;
Alois Knoll
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
关键词:
Model-to-Metamodel (M2MM);
Model-to-Model (M2M);
Model Transformation;
Component-based Systems;
Model-Driven Development (MDD);
56.
A Technique for Automatic Validation of Model Transformations
机译:
一种自动验证模型变换的技术
作者:
Levi Lucio
;
Bruno Barroca
;
Vasco Amaral
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
57.
Role-Based Generic Model Refactoring
机译:
基于角色的通用模型重构
作者:
Jan Reimann
;
Mirko Seifert
;
Uwe Afimann
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
58.
Metamodel-Based Information Integration at Industrial Scale
机译:
基于Metamodel的信息集成在工业规模
作者:
Stefan Berger
;
Georg Grossmann
;
Markus Stumptner
;
Michael Schrefl
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
关键词:
General-purpose modeling languages;
Model-based development;
Tools and meta-tools;
59.
Verifying Semantic Conformance of State Machine-to-Java Code Generators
机译:
验证状态计算机到Java代码生成器的语义符合
作者:
Lukman Ab Rahim
;
Jon Whittle
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
60.
Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies
机译:
使用UML / MARTE的环境建模,以支持真正嵌入式系统的黑盒系统测试:方法和工业案例研究
作者:
Muhammad Zohaib Iqbal
;
Andrea Arcuri
;
Lionel Briand
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
61.
Flexible Model Element Introduction Policies for Aspect-Oriented Modeling
机译:
灵活的模型元素介绍面向方面建模的策略
作者:
Brice Morin
;
Jacques Klein
;
Jorg Kienzle
;
Jean-Marc Jezequel
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
62.
A Unified Approach to Modeling and Programming
机译:
一种建模与编程的统一方法
作者:
Ole Lehrmann Madsen
;
Birger Moller-Pedersen
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
63.
A Common Framework for Synchronization in Requirements Modelling Languages
机译:
要求建模语言同步的共同框架
作者:
Shahram Esmaeilsabzali
;
Nancy A. Day
;
Joanne M. Atlee
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
64.
A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models
机译:
基于动态优先级的修复不一致特征模型的方法
作者:
Bo Wang
;
Yingfei Xiong
;
Zhenjiang Hu
;
Haiyan Zhao
;
Wei Zhang
;
Hong Mei
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
关键词:
Feature Model;
Priority;
Inconsistency Fixing;
65.
Modeling Issues: A Survival Guide for a Non-expert Modeler
机译:
建模问题:非专家建模者的生存指南
作者:
Emilio Rodriguez-Priego
;
Francisco J. Garcia-Izquierdo
;
Angel Luis Rubio
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
关键词:
Modeling concepts;
Reference Concept Maps;
Metamodeling issues;
Stereotypes;
66.
Static- and Dynamic Consistency Analysis of UML State Chart Models
机译:
UML状态图模型的静态和动态一致性分析
作者:
Christian Schwarzl
;
Bernhard Peischl
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
67.
An AADL-Based Approach to Variability Modeling of Automotive Control Systems
机译:
基于AADL的汽车控制系统可变性建模方法
作者:
Shinichi Shiraishi
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
关键词:
ADL;
Architecture description language;
AADL;
Architecture analysis amp;
design language;
Variability modeling;
Automotive electronics systems;
68.
MDE-Based Approach for Generalizing Design Space Exploration
机译:
基于MDE的概括设计空间探索方法
作者:
Tripti Saxena
;
Gabor Karsai
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2010年
关键词:
Design Space Exploration;
Domain-Specific Modeling Languages;
69.
Managing Related Models in Vehicle Control Software Development
机译:
管理车辆控制软件开发中的相关模型
作者:
Rick Salay
;
Shige Wang
;
Vivien Suen
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
70.
Do Professional Developers Benefit from Design Pattern Documentation? A Replication in the Context of Source Code Comprehension
机译:
专业开发人员是否受益于设计模式文档?源代码理解的背景下的复制
作者:
Carmine Gravino
;
Michele Risi
;
Giuseppe Scanniello
;
Genoveffa Tortora
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
关键词:
Design Patterns;
Controlled Experiment;
Maintenance;
Replications;
Software Models;
Source Code Comprehension;
71.
Experiences of Applying UML/MARTE on Three Industrial Projects
机译:
在三个工业项目中应用UML / MARTE的经验
作者:
Muhammad Zohaib Iqbal
;
Shaukat Ali
;
Tao Yue
;
Lionel Briand
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
关键词:
UML;
MARTE;
Real-time Embedded Systems;
Architecture Modeling;
Model-based Testing;
72.
FacadeMetamodel: Masking UML
机译:
Facademetamodel:掩盖UML
作者:
Florian Noyrit
;
Sebastien Gerard
;
Bran Selic
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
73.
Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions
机译:
迈为基于UML的丰富服务描述的自动服务发现
作者:
Zille Huma
;
Christian Gerth
;
Gregor Engels
;
Oliver Juwig
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
74.
Cost Estimation for Model-Driven Engineering
机译:
模型驱动工程的成本估算
作者:
Sagar Sunkle
;
Vinay Kulkarni
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
关键词:
Model-driven Engineering;
Cost Estimation;
COCOMO II;
75.
Detecting Specification Errors in Declarative Languages with Constraints
机译:
用约束检测声明性语言的规范错误
作者:
Ethan K. Jackson
;
Wolfram Schulte
;
Nikolaj Bjorner
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
76.
On Integrating Structure and Behavior Modeling with OCL
机译:
关于与OCL的结构和行为建模集成
作者:
Lars Hamann
;
Oliver Hofrichter
;
Martin Gogolla
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
关键词:
Structure modeling;
Behavior modeling;
UML;
OCL;
Protocol state machine;
State invariant;
Guard;
Transition postcondition;
77.
An Approach for Synchronizing UML Models and Narrative Text in Literate Modeling
机译:
一种与识字建模中UML模型和叙事文本同步的方法
作者:
Gunnar Schulze
;
Joanna Chimiak-Opoka
;
Jim Arlow
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
78.
A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study
机译:
一种产品线建模和配置方法,以支持基于模型的测试:工业案例研究
作者:
Shaukat Ali
;
Tao Yue
;
Lionel Briand
;
Suneth Walawege
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
关键词:
Aspect-Oriented Modeling;
Product Line Engineering;
Behavioral Variability;
Model-based Testing;
UML State Machine;
79.
Generation of Operational Transformation Rules from Examples of Model Transformations
机译:
从模型转换的例子中产生操作转换规则
作者:
Hajer Saada
;
Xavier Dolques
;
Marianne Huchard
;
Clementine Nebut
;
Houari Sahraoui
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
80.
The Coroutine Model of Computation
机译:
计算计算模型
作者:
Chris Shaver
;
Edward A. Lee
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
81.
Assume-Guarantee Scenarios: Semantics and Synthesis
机译:
假设 - 保证方案:语义和综合
作者:
Shahar Maoz
;
Yaniv Saar
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
82.
Matching Business Process Workflows across Abstraction Levels
机译:
匹配跨抽象级别的业务流程工作流程
作者:
Moises Castelo Branco
;
Javier Troya
;
Krzysztof Czarnecki
;
Jochen Kuster
;
Hagen Volzer
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
关键词:
BPMN Matching;
Consistency Management;
Change Extraction;
83.
A Modeling Approach to Support the Similarity-Based Reuse of Configuration Data
机译:
一种支持基于相似性的配置数据的建模方法
作者:
Razieh Behjati
;
Tao Yue
;
Lionel Briand
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
关键词:
Product configuration;
Internal similarities;
Model-based software engineering;
UML/OCL;
Feature Modeling;
84.
An Exploratory Study of Forces and Frictions Affecting Large-Scale Model-Driven Development
机译:
影响大规模模型驱动发展的力量与摩擦的探索性研究
作者:
Adrian Kuhn
;
Gail C. Murphy
;
C. Albert Thompson
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
85.
Incremental Consistency Checking for Complex Design Rules and Larger Model Changes
机译:
复杂设计规则的增量一致性检查和更大的模型变化
作者:
Alexander Reder
;
Alexander Egyed
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
关键词:
Consistency checking;
Performance;
Incremental checking;
86.
From UML and OCL to Relational Logic and Back
机译:
从UML和OCL到关系逻辑和背部
作者:
Mirco Kuhlmann
;
Martin Gogolla
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
87.
Sensitivity Analysis in Model-Driven Engineering
机译:
模型驱动工程中的敏感性分析
作者:
James R. Williams
;
Frank R. Burton
;
Richard F. Paige
;
Fiona A. C. Polack
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
88.
Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System
机译:
基于组件的软件系统容错解决方案的模型驱动配置
作者:
Yihan Wu
;
Gang Huang
;
Hui Song
;
Ying Zhang
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
关键词:
Fault tolerance;
Component-based system;
Dynamic configuration;
Mode driven approach;
Software architecture;
89.
On Verifying ATL Transformations Using 'off-the-shelf' SMT Solvers
机译:
使用“现成”SMT求解器验证ATL转换
作者:
Fabian Buttner
;
Marina Egea
;
Jordi Cabot
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
90.
An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements
机译:
Eclipse建模框架替代,以满足模型@运行时要求
作者:
Francois Fouquet
;
Gregory Nain
;
Brice Morin
;
Erwan Daubert
;
Olivier Barais
;
Noel Plouzeau
;
Jean-Marc Jezequel
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
关键词:
Model@Runtime;
EMF;
Adaptation;
91.
Cross-Language Support Mechanisms Significantly Aid Software Development
机译:
跨语言支持机制可显着辅助软件开发
作者:
Rolf-Helge Pfeiffer
;
Andrzej Wasowski
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
92.
A Model-Driven Approach to Support Engineering Changes in Industrial Robotics Software
机译:
一种支持工业机器人软件工程变化的模型驱动方法
作者:
Yu Sun
;
Jeff Gray
;
Karlheinz Bulheller
;
Nicolaus von Baillou
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
关键词:
Domain-Specific Modeling;
Robotics;
Software Maintenance;
Digital Factory;
Digital Master;
93.
Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines
机译:
通过在子产品线上建模权重产生更好的部分覆盖阵列
作者:
Martin Fagereng Johansen
;
Oystein Haugen
;
Franck Fleurey
;
Anne Grete Eldegard
;
Torbjorn Syversen
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
关键词:
Product Lines;
Software;
Hardware;
Testing;
Combinatorial Interaction Testing;
Evolution;
94.
Evaluating the Effort of Composing Design Models: A Controlled Experiment
机译:
评估撰写设计模型的努力:受控实验
作者:
Kleinner Farias
;
Alessandro Garcia
;
Jon Whittle
;
Christina Chavez
;
Carlos Lucena
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
关键词:
Model composition effort;
Empirical studies;
Effort measurement;
95.
ATLTest: A White-Box Test Generation Approach for ATL Transformations
机译:
ATLTEST:用于ATL转换的白盒测试生成方法
作者:
Carlos A. Gonzalez
;
Jordi Cabot
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
96.
Evaluating the Impact of Aspects on Inconsistency Detection Effort: A Controlled Experiment
机译:
评估方面对不一致检测工作的影响:一个受控实验
作者:
Kleinner Farias
;
Alessandro Garcia
;
Carlos Lucena
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
关键词:
Aspect-Oriented Modeling;
Model Composition;
Inconsistency;
Developer Effort;
Empirical Studies;
97.
An Industrial System Engineering Process Integrating Model Driven Architecture and Model Based Design
机译:
一种整合模型驱动架构和基于模型设计的工业系统工程过程
作者:
Andrea Sindico
;
Marco Di Natale
;
Alberto Sangiovanni-Vincentelli
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
关键词:
System Engineering;
Model-Driven Architecture;
Model-Based Design;
Platform-Based Design;
98.
Transition to Model-Driven Engineering What Is Revolutionary, What Remains the Same?
机译:
过渡到模型驱动的工程是什么是革命性的,什么保持不变?
作者:
Jorge Aranda
;
Daniela Damian
;
Arber Borici
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
99.
Dynamic Evolution of Context-Aware Systems with Models at Runtime
机译:
运行时模型的语境感知系统的动态演变
作者:
German H. Alferez
;
Vicente Pelechano
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
100.
Quantitative Reactive Models
机译:
定量反应模型
作者:
Thomas A. Henzinger
会议名称:
《International Conference on Model Driven Engineering Languages and Systems》
|
2012年
意见反馈
回到顶部
回到首页