掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Conference on the Unified Modeling Language
International Conference on the Unified Modeling Language
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Extending UML for Object-Relational Database Design
机译:
扩展UML以获取对象关系数据库设计
作者:
E. Marcos
;
B. Vela
;
J. M. Cavero
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
关键词:
UML extensions;
stereotypes;
database design;
Object-Relational databases;
design methodology;
UML;
SQL:1999;
oracle8i;
2.
Integrating the ConcernBASE Approach with SADL
机译:
与SADL集成CAMENTBASE方法
作者:
Valentin Crettaz
;
Mohamed Mancona Kande
;
Shane Sendall
;
Alfred Strohmeier
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
关键词:
description;
SADL;
advanced separation of concerns;
3.
UML for Agent-Oriented Software Development: The Tropos Proposal
机译:
uml面向代理的软件开发:Tropos提案
作者:
John Mylopoulos
;
Manuel Kolp
;
Jaelson Castro
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
4.
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model
机译:
基于规则的基于UML Meta-Model的行为一致性规范
作者:
Gregor Engels
;
Reiko Heckel
;
Jochen Malte Kuster
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
关键词:
meta modeling;
model verification;
behavioral consistency;
5.
UML Modelling and Performance Analysis of Mobile Software Architectures
机译:
移动软件架构的UML建模与性能分析
作者:
Vincenzo Grassi
;
Raffaela Mirandola
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
关键词:
distributed systems;
architecture modelling;
extensions;
performance analysis;
mobile components;
6.
iState: A Statechart Translator
机译:
Istate:一个StateChart翻译
作者:
Emil Sekerinski
;
Rafik Zurob
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
7.
A UML-Based Approach to System Testing
机译:
基于UML的系统测试方法
作者:
Lionel Briand
;
Yvan Labiche
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
8.
Understanding UML - Pains and Rewards
机译:
了解UML - 痛苦和奖励
作者:
Werner Damm
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
9.
An Execution Algorithm for UML Activity Graphs
机译:
UML活动图的执行算法
作者:
Rik Eshuis
;
Roel Wieringa
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
10.
On Associations in the Unified Modelling Language
机译:
关于统一建模语言的关联
作者:
Perdita Stevens
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
11.
Representing Embedded System Sequence Diagrams as a Formal Language
机译:
表示嵌入式系统序列图作为正式语言
作者:
Elizabeth Latronico
;
Philip Koopman
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
12.
On Querying UML Data Models with OCL
机译:
用OCL查询UML数据模型
作者:
D. H. Akehurst
;
B. Bordbar
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
13.
Formalization of UML-Statecharts
机译:
UML-StateCharts的形式化
作者:
Michael von der Beeck
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
14.
A Specification Model for Interface Suites
机译:
界面套件的规范模型
作者:
E. E. Roubtsova
;
L. C. M. van Gool
;
R. Kuiper
;
H. B. M. Jonkers
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
15.
Semantics of the Minimum Multiplicity in Ternary Associations in UML
机译:
UML中三元关联中最小多重性的语义
作者:
Gonzalo Genova
;
Juan Llorens
;
Paloma Martinez
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
16.
The Preacher at Arrakeen
机译:
阿拉克的传教士
作者:
Jim Rumbaugh
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
17.
Timing Analysis of UML Activity Diagrams
机译:
UML活动图的时序分析
作者:
Li Xuandong
;
Cui Meng
;
Pei Yu
;
Zhao Jianhua
;
Zheng Guoliang
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
18.
UML Support for Designing Software Systems as a Composition of Design Patterns
机译:
UML支持设计软件系统作为设计模式的构成
作者:
Sherif M. Yacoub
;
Hany H. Ammar
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
关键词:
pattern-oriented design;
design patterns;
pattern composition;
19.
A Visualization of OCL Using Collaborations
机译:
使用合作的可视化OCL
作者:
Paolo Bottoni
;
Manuel Koch
;
Francesco Parisi-Presicce
;
Gabriele Taentzer
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
20.
The Essence of Multilevel Metamodeling
机译:
多级元模拟的本质
作者:
Colin Atkinson
;
Thomas Kuhne
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
21.
The Message Paradigm in Object-Oriented Analysis
机译:
面向对象分析中的消息范例
作者:
Frank Devos
;
Eric Steegmans
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
22.
UML Activity Diagrams as a Workflow Specification Language
机译:
UML活动图作为工作流规范语言
作者:
Marlon Dumas
;
Arthur H. M. ter Hofstede
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
23.
Against Use Case Interleaving
机译:
反对用例交织
作者:
Pierre Metz
;
John OBrien
;
Wolfgang Weber
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
24.
A Formal Semantics of UML State Machines Based on Structured Graph Transformation
机译:
基于结构图转换的UML状态机的正式语义
作者:
Sabine Kuske
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
25.
Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML
机译:
使用OCL和UML指定并发系统行为和时序约束
作者:
Shane Sendall
;
Alfred Strohmeier
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
关键词:
unified modeling language (UML);
object constraint language (OCL);
pre- and postcondition;
software system specification;
concurrent programming;
timing constraints;
26.
A New UML Profile for Real-Time System Formal Design and Validation
机译:
一种新的UML配置文件,用于实时系统正式设计和验证
作者:
L. Apvrille
;
P. de Saqui-Sannes
;
C. Lohr
;
P. Senac
;
J.-P. Courtiat
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
27.
A Formal Semantics for OCL 1.4
机译:
OCL 1.4的正式语义
作者:
Maria Victoria Cengarle
;
Alexander Knapp
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
28.
Refactoring UML Models
机译:
重构UML模型
作者:
Gerson Sunye
;
Damien Pollet
;
Yves Le Traon
;
Jean-Marc Jezequel
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
29.
Mapping between Levels in the Metamodel Architecture
机译:
Metomodel架构中的级别之间的映射
作者:
Jose M. Alvarez
;
Andy Evans
;
Paul Sammut
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
30.
Estimating Software Development Effort Based on Use Cases-Experiences from Industry
机译:
估算基于使用案例的软件开发工作 - 来自行业的经验
作者:
Bente Anda
;
Hege Dreiem
;
Dag I. K. Sjoberg
;
Magne Jorgensen
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
关键词:
use cases;
estimation;
industrial experience;
31.
Scenario-Based Monitoring and Testing of Real-Time UML Models
机译:
基于场景的实时UML模型的监控和测试
作者:
Marc Lettrari
;
Jochen Klose
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
32.
An Action Semantics for MML
机译:
MML的动作语义
作者:
Jose M. Alvarez
;
Tony Clark
;
Andy Evans
;
Paul Sammut
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
33.
Extending UML to Support Ontology Engineering for the Semantic Web
机译:
扩展UML以支持语义网络的本体工程
作者:
Kenneth Baclawski
;
Mieczyslaw K. Kokar
;
Paul A. Kogut
;
Lewis Hart
;
Jeffrey Smith
;
William S. Holmes III
;
Jerzy Letkowski
;
Michael L. Aronson
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
34.
A UML Meta-model for Contract Aware Components
机译:
合同意识组件的UML元模型
作者:
Torben Weis
;
Christian Becker
;
Kurt Geihs
;
Noel Plouzeau
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
35.
OCL as a Specification Language for Business Rules in Database Applications
机译:
OCL作为数据库应用程序中的业务规则的规范语言
作者:
Birgit Demuth
;
Heinrich Hussmann
;
Sten Loecher
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
36.
Workshops and Tutorials at the UML 2001 Conference
机译:
UML 2001会议的研讨会和教程
作者:
Heinrich Hussmann
会议名称:
《International Conference on the Unified Modeling Language》
|
2001年
意见反馈
回到顶部
回到首页