掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
Workshop on Model-Based Development of Computer-Based Systems
Workshop on Model-Based Development of Computer-Based Systems
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Concepts for abstracting away object reification at the level of platform independent models (PIMs)
机译:
在平台独立模型(PIMS)的平台水平下抽象对象冻结的概念
作者:
Delanote G.
;
Steegmans E.
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
关键词:
Unified Modeling Language;
object-oriented languages;
object-oriented programming;
software architecture;
Object Constraint Language;
Unified Modeling Language;
model driven architecture;
object reification abstraction;
object-oriented software development;
platf;
2.
Design method support for domain specific SoC design
机译:
域特定SoC设计的设计方法支持
作者:
Alanen M.
;
Lilius J.
;
Porres I.
;
Trascan D.
;
Oliver I.
;
Sandstrom K.
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
关键词:
logic CAD;
system-on-chip;
design method support;
domain specific SoC design;
language definitions;
methodware;
model transformations;
3.
Design Method Support for Domain Specific SoC design
机译:
域特定SoC设计的设计方法支持
作者:
Marcus Alanen
;
Johan Lilius
;
Ivan Porres
;
Dragos Truscan
;
Ian Oliver
;
Kim Sandstrom
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
4.
Component-oriented modeling of hybrid dynamic systems using the generic modeling environment
机译:
使用通用建模环境的组件导向混合动态系统的建模
作者:
Manders E.-J.
;
Biswas G.
;
Mahadevan N.
;
Karsai G.
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
关键词:
formal specification;
object-oriented programming;
software libraries;
specification languages;
visual programming;
bond graph modeling language;
component-oriented modeling;
coupled multitank system;
generic modeling environment;
hybrid dynamic systems;
hydraulic;
5.
A generic MOF metamodel for aspect-oriented modelling
机译:
面向方面建模的通用MOF元模型
作者:
Lidia Fuentes
;
Pablo Sanchez
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
6.
Model-Based System Development for Embedded Mobile Platforms
机译:
基于模型的嵌入式移动平台的系统开发
作者:
Bertalan Forstner
;
Laszlo Lengyel
;
Tihamer Levendovszky
;
Gergely Mezei
;
Imre Kelenyi
;
Hassan Charaf
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
7.
Intelligent Instrument Design With ArchWare ADL
机译:
智能仪器设计与archware ADL
作者:
Jerome Revillard
;
Sorana Cimpan
;
Eric Benoit
;
Flavio Oquendo
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
8.
SODA: not just a drink! From an object-centered to a balanced object-process model-based enterprise systems development
机译:
苏打水:不只是一杯!从对象中心到基于平衡的对象模型的企业系统开发
作者:
Dori D.
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
关键词:
object-oriented programming;
software architecture;
balanced object-process model-based enterprise systems development;
object-oriented software development;
service-oriented architecture;
service-oriented enterprise systems development;
software system lifecy;
9.
Concepts for Abstracting away Object Reification at the level of Platform Independent Models (PIMs)
机译:
在平台独立模型(PIMS)的平台水平下抽象对象冻结的概念
作者:
Geert Delanote
;
Eric Steegmans
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
10.
CMOF-model semantics and language mapping for MOF 2.0 implementations
机译:
CMOF-Model语义和语言映射,适用于MOF 2.0实现
作者:
Scheidgen M.
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
关键词:
Java;
object-oriented programming;
specification languages;
CMOF-model semantics;
Java language mapping;
MOF 2.0 implementations;
metamodelling programming;
object-oriented metamodels;
11.
From Code Centric to Model Centric Software Engineering: Practical case study of MDD infusion in a Systems Integration Company
机译:
从CODE COMETRIC到MODED COMENTIC的软件工程:系统集成公司MDD输液的实际案例研究
作者:
Margarida Afonso
;
Regis Vogel
;
Jose Teixeira
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
关键词:
Model Driven Development (MDD);
Model Driven Architecture (MDA);
Knowledge Management (KM);
Actor-Network Theory (ANT);
Software Engineering;
Software Development;
Software Maintenance;
System Integration;
Case Study;
12.
From code centric to model centric software engineering: practical case study of MDD infusion in a systems integration company
机译:
从CODE COMETRIC到MODED COMENTIC的软件工程:系统集成公司MDD输液的实际案例研究
作者:
Afonso M.
;
Vogel R.
;
Teixeira J.
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
关键词:
DP industry;
human factors;
integrated software;
knowledge management;
software architecture;
software development management;
ActorO Network technological change;
actor network theory;
code centric software engineering;
knowledge management;
model centric softwar;
13.
Model-driven development of real-time systems with UML 2.0 and C
机译:
使用UML 2.0和C的实时系统的模型驱动开发
作者:
Khan M.U.
;
Geihs K.
;
Gutbrodt F.
;
Gohner P.
;
Trauter R.
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
关键词:
C language;
Unified Modeling Language;
real-time systems;
software engineering;
C language;
UML 2.0;
model-driven development;
real-time systems;
14.
Model-based specification and validation of automotive electronics
机译:
基于模型的汽车电子规范和验证
作者:
Schultz T.
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
关键词:
Unified Modeling Language;
automotive electronics;
electronic engineering computing;
ergonomics;
formal specification;
haptic interfaces;
speech-based user interfaces;
GUI prototype construction;
UML specifications;
automotive electronics;
ergonomics;
executable mo;
15.
Model-Based Specification and Validation of Automotive Electronics
机译:
基于模型的汽车电子规范和验证
作者:
Torsten Schultz
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
16.
An EDOC-based Approach for Specific Middleware Services Development
机译:
基于EDOC的特定中间件服务开发方法
作者:
Rita Suzana Pitangueira Maciel
;
Bruno Carreiro da Silva
;
Leandro Abreu Mascarenhas
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
关键词:
Model-based Development;
Model Transformation;
MDA;
EDOC;
Specific Middleware Services;
17.
Modelling and verification of BPEL business processes
机译:
BPEL业务流程的建模与验证
作者:
Marina Mongiello
;
Daniela Castelluccia
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
18.
Towards Weaving Software Architecture Models
机译:
朝向织造软件架构模型
作者:
Davide Di Ruscio
;
Patrizio Pelliccione
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
19.
Comparison of model-driven architecture and software factories in the context of model-driven development
机译:
模型驱动架构和软件工厂在模型驱动开发背景下的比较
作者:
Demir A.
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
关键词:
software architecture;
model-driven architecture;
model-driven development;
software factories;
20.
Model-Driven Development of Real-Time Systems with UML 2.0 and C
机译:
使用UML 2.0和C的实时系统的模型驱动开发
作者:
Mohammad Ullah Khan
;
Kurt Geihs
;
Felix Gutbrodt
;
Peter Gohner
;
Roland Trauter
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
21.
CMOF-Model Semantics and Language Mapping for MOF 2.0 Implementations
机译:
CMOF-Model语义和语言映射,适用于MOF 2.0实现
作者:
Markus Scheidgen
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
22.
Model Patterns for Model Transformations in Model Driven Development
机译:
模型驱动开发中模型变换模型模式
作者:
Markus Scheidgen
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
23.
Towards weaving software architecture models
机译:
朝向织造软件架构模型
作者:
Di Ruscio D.
;
Muccini H.
;
Pierantonio A.
;
Pelliccione P.
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
关键词:
Unified Modeling Language;
software architecture;
UML metamodels;
directed weaving operations;
model-driven architecture;
software architecture models;
software development;
24.
Component-oriented modeling of hybrid dynamic systems using the Generic Modeling Environment
机译:
使用通用建模环境的组件导向混合动态系统的建模
作者:
Eric-J. Manders
;
Gautam Biswas
;
Nagabhushan Mahadevan
;
Gabor Karsai
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
25.
From an Object-Centered to a Balanced Object-Process Model-Based Enterprise Systems Development
机译:
从对象中心到基于平衡的对象模型的企业系统开发
作者:
Dov Dori
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
26.
Model-Based Engineering of Embedded Control Software
机译:
基于模型的嵌入式控制软件工程
作者:
Bernhard Schatz
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
27.
An EDOC-based approach for specific middleware services development
机译:
基于EDOC的特定中间件服务开发方法
作者:
Maciel R.S.P.
;
da Silva B.C.
;
Mascarenhas L.A.
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
关键词:
Unified Modeling Language;
distributed object management;
middleware;
software reusability;
EDOC-based approach;
OMG UML profile;
RM-ODP concepts;
distributed applications;
distributed objects-and-components-based systems;
middleware services development;
middlewa;
28.
Model patterns for model transformations in model driven development
机译:
模型驱动开发中模型变换模型模式
作者:
Scheidgen M.
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
关键词:
Java;
formal specification;
object-oriented programming;
Java programming language;
computer based systems;
formal semantics;
formal syntax;
model driven development;
model patterns;
model transformations;
transformation implementation language Mopa;
29.
Intelligent instrument design with ArchWare ADL
机译:
智能仪器设计与archware ADL
作者:
Revillard J.
;
Cimpan S.
;
Benoit E.
;
Oquendo F.
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
关键词:
computerised instrumentation;
control engineering computing;
software architecture;
specification languages;
ArchWare ADL;
architecture-centric development;
formal specific design language;
intelligent instrument design;
30.
A generic MOF metamodel for aspect-oriented modelling
机译:
面向方面建模的通用MOF元模型
作者:
Fuentes L.
;
Sanchez P.
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
关键词:
object-oriented programming;
software architecture;
aspect-oriented modelling;
aspect-oriented software development;
design languages;
generic MOF 2.0 metamodel;
meta object facility metamodels;
model-driven architecture;
model-driven software development;
31.
Modelling and verification of BPEL business processes
机译:
BPEL业务流程的建模与验证
作者:
Mongiello M.
;
Castelluccia D.
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
关键词:
Internet;
business data processing;
formal specification;
formal verification;
B2B domain;
B2C domain;
BPEL business process modelling;
BPEL business process verification;
Business Process Execution Language for Web Services;
NuSMV model checker;
Web service;
abstr;
32.
Model-based system development for embedded mobile platforms
机译:
基于模型的嵌入式移动平台的系统开发
作者:
Forstner B.
;
Lengyel L.
;
Levendovszky T.
;
Mezei G.
;
Kelenyi I.
;
Charaf H.
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
关键词:
embedded systems;
mobile computing;
program compilers;
rewriting systems;
software architecture;
software packages;
software reusability;
specification languages;
Domain Specific Modeling Language;
Visual Modeling and Transformation System software package;
embedd;
33.
Model-based engineering of embedded control software
机译:
基于模型的嵌入式控制软件工程
作者:
Schatz B.
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
关键词:
control engineering computing;
data flow analysis;
embedded systems;
software engineering;
data flow-oriented modeling;
embedded control software;
interaction-oriented modeling;
model-based engineering;
34.
Comparison of Model-Driven Architecture and Software Factories in the Context of Model-Driven Development
机译:
模型驱动架构和软件工厂在模型驱动开发背景下的比较
作者:
Ahmet Demir
会议名称:
《Workshop on Model-Based Development of Computer-Based Systems》
|
2006年
意见反馈
回到顶部
回到首页