掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Workshop on Rapid Integration of Software Engineering Techniques
International Workshop on Rapid Integration of Software Engineering Techniques
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Combining System Development and System Test in a Model-Centric Approach
机译:
以模型为中心的方法结合系统开发和系统测试
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2005年
2.
My Favorite Editor Anywhere
机译:
我最喜欢的编辑到任何地方
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2005年
3.
An Exception Monitoring System for Java
机译:
Java的异常监控系统
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2005年
关键词:
java;
exception propagation;
exception analysis;
4.
A Model Based Approach to Design Applications for Network Processor
机译:
基于模型的网络处理器设计应用方法
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2005年
5.
A Methodology and a Framework for Model-Based Testing
机译:
一种基于模型测试的方法和框架
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2005年
6.
Modelling SystemC Process Behavior by the UML Method State Machines
机译:
UML方法状态机建模系统管理流行
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2005年
7.
A MOF-Based Metamodel for SA/RT
机译:
SA / RT的基于MOF基元模型
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2005年
8.
Distributed Exception Handling: Ideas, Lessons and Issues with Recent Exception Handling Systems
机译:
分布式异常处理:近期异常处理系统的想法,课程和问题
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2005年
9.
Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report
机译:
通过使用架构,过程和人员管理集成软件工程技术:经验报告
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2005年
10.
Supporting Virtual Interaction Objects with Polymorphic Platform Bindings in a User Interface Programming Language
机译:
在用户界面编程语言中支持具有多态平台绑定的虚拟交互对象
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2005年
11.
Automatic Translation of Service Specification to a Behavioral Type Language for Dynamic Service Verification
机译:
自动将服务规范转换为动态服务验证的行为类型语言
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2005年
12.
A Symbolic Model Checker for tccp Programs
机译:
TCCP程序的符号模型检查器
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2005年
关键词:
lightweight formal methods;
model checking;
timed concurrent constraint programs;
DDDs;
13.
Towards a Methodology for Component-Driven Design
机译:
朝向组件驱动设计的方法
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2005年
14.
Type-Driven Automatic Quotation of Concrete Object Code in Meta Programs
机译:
在元程序中类型驱动的具体对象代码的自动引用
作者:
J.J. Vinju
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2006年
15.
Software Testing with Evolutionary Strategies
机译:
具有进化策略的软件测试
作者:
Enrique Alba
;
J. Francisco Chicano
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2006年
16.
Rapid System Development Via Product Line Architecture Implementation
机译:
通过产品线架构实现快速系统开发
作者:
Mauro Caporuscio
;
Henry Muccini
;
Patrizio Pelliccione
;
Ezio Di Nisio
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2006年
17.
A Technique to Represent Product Line Core Assets in MDA/PIM for Automation
机译:
代表MDA / PIM的产品线核心资产的技术
作者:
Hyun Gi Min
;
Soo Dong Kim
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2006年
18.
Synthesized UML, a Practical Approach to Map UML to VHDL
机译:
合成UML,将UML映射到VHDL的实用方法
作者:
Medard Rieder
;
Rico Steiner
;
Cathy Berthouzoz
;
Francois Corthay
;
Thomas Sterren
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2006年
19.
Can Aspects Implement Contracts?
机译:
方面实施合同吗?
作者:
Stephanie Balzer
;
Patrick Th. Eugster
;
Bertrand Meyer
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2006年
20.
An Improved Case-Based Approach to LTL Model Checking
机译:
一种改进的基于案例的LTL模型检查方法
作者:
Fei Pu
;
Wenhui Zhang
;
Shaochun Wang
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2006年
21.
Modeling Safety Case Evolution – Examples from the Air Traffic Management Domain
机译:
建模安全案例进化 - 来自空中交通管理域的示例
作者:
Massimo Felici
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2006年
22.
Extreme89: An XP War Game
机译:
Extreme89:XP战争游戏
作者:
Jerzy Nawrocki
;
Adam Wojciechowski
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2006年
23.
Using Stepwise Feature Introduction in Practice: An Experience Report
机译:
在实践中使用逐步功能介绍:体验报告
作者:
Ralph-Johan Back
;
Johannes Eriksson
;
Luka Milovanov
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2006年
24.
Balancing Agility and Discipline with XPrince
机译:
平衡敏捷和纪律与Xprince
作者:
Jerzy Nawrocki
;
Lukasz Olek
;
Michal Jasinski
;
Bartosz Paliswiat
;
Bartosz Walter
;
Blazej Pietrzak
;
Piotr Godek
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2006年
25.
Formal Development of Reactive Fault Tolerant Systems
机译:
反应性容错系统的正式发展
作者:
Linas Laibinis
;
Elena Troubitsyna
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2006年
26.
Aspects-Classes Integration Testing Strategy: An Incremental Approach
机译:
方面 - 类集成测试策略:增量方法
作者:
Philippe Massicotte
;
Linda Badri
;
Mourad Badri
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2006年
关键词:
AOST;
Aspects;
Classes;
Interactions;
Sequences;
Criteria;
Generation;
Verification;
Testing Coverage;
27.
Prototyping Domain Specific Languages with COOPN
机译:
使用robn的原型域特定语言
作者:
Luis Pedro
;
Levi Lucio
;
Didier Buchs
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2006年
28.
Dynamic Imperative Languages for Runtime Extensible Semantics and Polymorphic Meta-Programming
机译:
运行时扩展语义和多态元编程的动态命令语言
作者:
Anthony Savidis
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2006年
29.
Context-Aware Service Composition in Pervasive Computing Environments
机译:
普遍计算环境中的上下文感知服务组合
作者:
Sonia Ben Mokhtar
;
Damien Fournier
;
Nikolaos Georgantas
;
Valérie Issarny
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2006年
30.
Doing More with Contracts: Towards Automatic Tests and Proofs
机译:
用合同做更多的事情:迈向自动测试和证明
作者:
Bertrand Meyer
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2006年
31.
Towards Service-Based Business Process Modeling, Prototyping and Integration
机译:
迈向基于服务的业务流程建模,原型化和集成
作者:
Ang Chen
;
Didier Buchs
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2006年
32.
User Centred Rapid Application Development
机译:
用户居中快速应用开发
作者:
Edward Lank
;
Ken Withee
;
Lisa Schile
;
Tom Parker
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2006年
33.
Network Structure and Traffic Modeling and Simulation with CO-OPN
机译:
与CO-OPN的网络结构和流量建模与仿真
作者:
David Hurzeler
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2006年
34.
Transformations of UML 2 Models Using Concrete Syntax Patterns
机译:
使用具体语法模式的UML 2模型的转换
作者:
Markus Schmidt
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2007年
关键词:
Model Transformations;
Patterns;
UML 2 Profiles;
35.
Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS
机译:
大型软件项目的构建,配置,集成和测试工具:EtiCS
作者:
Marc-Elian Bégin
;
Guillermo Diez-Andino Sancho
;
Alberto Di Meglio
;
Enrico Ferro
;
Elisabetta Ronchieri
;
Matteo Selmi
;
Marian Zurek
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2007年
36.
Development of Extensible and Flexible Collaborative Applications Using a Web Service-Based Architecture
机译:
使用基于Web服务的架构开发可扩展和灵活的协作应用程序
作者:
Mario Anzures-García
;
Miguel J. Hornos
;
Patricia Paderewski-Rodríguez
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2007年
37.
SketchiXML: A Design Tool for Informal User Interface Rapid Prototyping
机译:
Sketchixml:非正式用户界面的设计工具快速原型设计
作者:
Adrien Coyette
;
Jean Vanderdonckt
;
Quentin Limbourg
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2007年
38.
Systematic Generation of XML Instances to Test Complex Software Applications
机译:
系统生成XML实例以测试复杂软件应用程序
作者:
Antonia Bertolino
;
Jinghua Gao
;
Eda Marchetti
;
Andrea Polini
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2007年
39.
A UML 2.0 Profile for Architecting B3G Applications
机译:
用于架构B3G应用程序的UML 2.0配置文件
作者:
Mauro Caporuscio
;
Valerie Issarny
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2007年
40.
Architectural Verification of Black-Box Component-Based Systems
机译:
基于黑匣子组件的系统的架构验证
作者:
Antonia Bertolino
;
Henry Muccini
;
Andrea Polini
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2007年
41.
Graphical Composition of Grid Services
机译:
网格服务的图形组成
作者:
Kenneth J. Turner
;
Koon Leai Larry Tan
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2007年
42.
Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping
机译:
朝着用于控制系统交互原型的正式模型的框架
作者:
Matteo Risoldi
;
Vasco Amaral
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2007年
43.
RTDWD: Real-Time Distributed Wideband-Delphi for User Stories Estimation
机译:
RTDWD:用于用户故事的实时分布式宽带 - Delphi
作者:
Giovanni Aiello
;
Marco Alessi
;
Massimo Cossentino
;
Alfonso Urso
;
Giuseppe Vella
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2007年
44.
Trust Strategies and Policies in Complex Socio-technical Safety-Critical Domains: An Analysis of the Air Traffic Management Domain
机译:
复杂的社会技术安全关键域中的信任策略和政策:空中交通管理领域的分析
作者:
Massimo Felici
会议名称:
《International Workshop on Rapid Integration of Software Engineering Techniques》
|
2007年
意见反馈
回到顶部
回到首页