掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)
International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
互联网周刊
测试技术学报
微处理机
计算机工程与设计
电脑知识与技术(数字社区与智能家居)
计算机科学与探索
模式识别与人工智能
传感器与微系统
软件与光盘
计算机研究与发展
更多>>
相关外文期刊
International Journal of Uncertainty, Fuzziness, and Knowledge-based Systems
International journal of computational vision and robotics
Foundations and Trends in Computer Graphics and Vision
Software Testing, Verification and Reliability
CIO
International journal of parallel programming
Mobile Information Systems
International journal of advanced pervasive and ubiquitous computing
International Journal on Document Analysis and Recognition
New Generation Computing
更多>>
相关中文会议
第二十四届测试与故障诊断技术研讨会
第十一届全国化学传感器学术会议
第十四届全国管理信息系统学术年会
全国第十一届可拓学年会
2012全国计算机网络与通信学术会议
2012年江苏省仪器仪表学会学术年会
第20届全国计算机新科技与计算机教育学术大会
2013中国计算机大会
中国气象学会网络安全技术的开发应用学术会议
第二届板形测量与控制学术研讨会
更多>>
相关外文会议
Integrated circuit and system design : Power and timing modeling, optimization and simulation
Proceedings of the 4th ACM European conference on Computer systems
Small-Satellite Technology and Applications
Image and signal processing for remote sensing XX
International Conference on Logic Programming(ICLP 2005); 20051002-05; Sitges(ES)
Proceedings of the ACM workshop on Frontiers in computer communications technology
Ultrasonics Symposium, 1999. Proceedings
International Conference on Computer for People with Special Needs(CPSN'05); 20050620-23; Las Vegas,NV(US)
Proceedings of the Second International Workshop on Incorporating COTS Software into Software Systems: Tools and Techniques
2009 Second International Workshop on Requirements Engineering and Law (RELAW'09)
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
1.
Specification and Implementation of Autonomic Large-Scale System Behaviors Using Domain Specific Modeling Language Tools
机译:
使用领域特定的建模语言工具来规范和实现自主大规模系统行为
作者:
Di Yao
;
Sandeep Neema
;
Steve Nordstrom
;
Shikha Ahuja
;
Shwetta Shetty
;
Ted Bapty
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
autonomic systems;
fault tolerant;
large-scale embedded systems;
model integrated computing;
real-time;
software generation;
2.
Self-~* Properties in NASA Missions
机译:
NASA任务中的自我〜*属性
作者:
Roy Sterritt
;
Christopher Rouff
;
James Rash
;
Walter Truszkowski
;
Michael Hinchey
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
self-~*;
selfware;
autonomous systems;
autonomic systems;
multi-agent technology;
intelligent systems;
spacecraft;
3.
Supporting the Development of Adaptable and Secure Software Systems: An NFR Approach
机译:
支持适应性和安全性软件系统的开发:一种NFR方法
作者:
Nary Subramanian
;
Lawrence Chung
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
security;
adaptability;
framework;
software architecture;
windows;
worm;
malware;
4.
Strengthening Software Integrity through Privacy and Security Requirements Modelling
机译:
通过隐私和安全需求建模来增强软件完整性
作者:
Matthew Nicolas Kreeger
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
requirements;
privacy;
security;
modelling;
5.
Specification and Performance Metrics for Parallel Programs
机译:
并行程序的规范和性能指标
作者:
Brian J. dAuriol
;
Juan Ulloa
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
specification;
performance;
software metrics;
parallel programming;
6.
Meta-Modeling Approach to Tool Support for Model Transformation to Validate Dynamic Behavior of Systems
机译:
用于模型转换以验证系统动态行为的工具支持的元建模方法
作者:
Michel E. Shin
;
Marta E. Calderon
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
meta-modeling;
model transformation;
validation;
tool support;
7.
A Fuzzy Logic-based Approach for Requirements Elicitation Techniques Selection
机译:
基于模糊逻辑的需求启发技术选择方法
作者:
Semahegn Abebe
;
Yirsaw Ayalew
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
requirements engineering;
requirements elicitation;
techniques selection;
8.
A Framework for Reuse and Parallelization of Large-Scale Scientific Simulation Code
机译:
大规模科学仿真代码的重用和并行化框架
作者:
Manolo E. Sherrill
;
Roberto C. Mancini
;
Frederick C. Harris Jr.
;
Sergiu M. Dascalu
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
laser ablation;
software framework;
9.
A Domain Composition Approach
机译:
域组合方法
作者:
Jacky Estublier
;
Anca Daniela Ionita
;
German Vega
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
model composition;
reuse;
domain engineering;
MDE;
10.
A Cultural Shift in Teaching CS Programming Courses and Improving Software Quality
机译:
CS编程课程教学中的文化转变和提高软件质量
作者:
Syed M Rahman
;
Akram Salah
;
Mohammed Gomaa
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
software testing;
software bugs;
programming courses;
test-driven development;
11.
A Complete Automation of Unit Testing for Java Programs
机译:
Java程序的单元测试的完全自动化
作者:
Yoonsik Cheon
;
Myoung Yee Kim
;
Ashaveena Perumandla
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
12.
Software Architecture Evolution : Description and Management process
机译:
软件体系结构演变:描述和管理过程
作者:
Nassima Sadou
;
Mourad Oussalah
;
Dalila Tamzalit
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
software architecture;
evolution model;
evolution operations;
evolution rules;
reuse;
abstraction;
13.
SPAACE :: Self- Properties for an Autonomous Autonomic Computing Environment
机译:
SPACE ::自主和自主计算环境的自属性
作者:
Roy Sterritt
;
Mike Hinchey
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
self-managing systems;
selfware;
self-~*;
autonomic computing;
autonomic systems;
autonomy;
14.
Pseudo-Random System Testing: Coverage Estimation and Enhancement
机译:
伪随机系统测试:覆盖率估计和增强
作者:
Ali Y. Duale
;
Theodore J. Bohizic
;
Dennis W. Wittig
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
random testing;
test coverage;
computer architecture;
15.
Performance Assessment of Architectural Options on Intelligent Distributed Systems
机译:
智能分布式系统上体系结构选项的性能评估
作者:
Carlos Juiz
;
Ramon Puigjaner
;
Joachim Zottl
;
Guenter Haring
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
performance evaluation;
distributed software performance engineering;
context-awareness;
ambient intelligence;
mobile devices;
16.
Using Architectural Modeling for Integration Testing
机译:
使用架构建模进行集成测试
作者:
Hassan Reza
;
Emanuel S. Grant
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
software architecture;
hierarchical predicate transition nets (HPrTNs);
software testing;
architectural description languages (ADLs);
17.
UML-based Beowulf Cluster Availability Modeling
机译:
基于UML的Beowulf集群可用性建模
作者:
Hertong Song
;
Chokchai Leangsuksun
;
Raja Nassar
;
Yudan Liu
;
Christian Engelmann
;
Stephen L. Scott
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
UML (unified modeling language);
cluster system;
markov chain specification;
availability;
18.
UML 2.0 Consistency Rules Identification
机译:
UML 2.0一致性规则识别
作者:
Jean-Pierre SEUMA VIDAL
;
Hugues MALGOUYRES
;
Gilles MOTET
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
UML;
consistency rules;
checking;
verification;
19.
Towards Arguing the Cost-effectiveness of Coloured Petri Nets
机译:
争辩有色陪替氏网的成本效益
作者:
Jens Back Jorgensen
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
modelling;
coloured petri nets;
integration of methods;
prototyping;
20.
Model Reuse in MDA
机译:
MDA中的模型重用
作者:
Salim Bouzitouna
;
Marie-Pierre Gervais
;
Xavier Blanc
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
model-driven architecture;
enterprise java bean;
21.
Implementing Multiple Priorities in a Publish- Subscribe System for Netcentric Applications
机译:
为Netcentric应用程序在发布-订阅系统中实现多个优先级
作者:
M. M. McMahon
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
publish-subscribe;
netcentric applications;
22.
Executable Visual Software Modeling - The ZOOM Approach
机译:
可执行的视觉软件建模-ZOOM方法
作者:
Xiaoping Jia
;
Adam Steele
;
Lizhang Qin
;
Jordan Liu
;
Chris Jones
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
visual modeling;
UML;
model integration;
model animation;
23.
GUI Test Case Generation from UML
机译:
从UML生成GUI测试用例
作者:
Yachai Limpiyakorn
;
Petnamkang Wongsuttipakorn
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
GUI testing;
test case generation;
UML;
24.
Giving Feedback on MASCOTime Simulation Results
机译:
提供有关MASCOTime仿真结果的反馈
作者:
Pere P. Sancho
;
Carlos Juiz
;
Ramon Puigjaner
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
25.
Graph Theory in the Control Flow Analysis of the large time critical Aplications
机译:
图论在控制流分析中的大时限应用
作者:
Sergej Alekseev
;
Guenther Stiege
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
graph and networks;
testing and debuging;
time critical object oriented software;
26.
Electronic Voting Systems Security Requirements Engineering
机译:
电子投票系统安全需求工程
作者:
Kevin Daimi
;
Clarence Wilson
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
electronic voting systems;
requirements engineering;
security requirements classification;
software security requirements;
security requirements process;
27.
Discrete Time Modelling In Software Reliability-A Unified Approach
机译:
软件可靠性中的离散时间建模-统一方法
作者:
Omar Shatnawi
;
Nazar Sarhan
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
software engineering;
software testing;
software reliability;
test cases;
fault severity;
28.
Component + Aspect = an Extensible and Adaptable System Software
机译:
组件+方面=可扩展和适应性强的系统软件
作者:
Paniti Netinant
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
adaptability;
aspect-oriented framework;
extensibility;
system software;
29.
Autonomous and Autonomic Swarms
机译:
自主和自主群
作者:
Michael G. Hinchey
;
James L. Rash
;
Walter F. Truszkowski
;
Christopher A. Rouff
;
Roy Sterritt
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
30.
A New Approach to Combine Models and Code in Model Driven Development
机译:
在模型驱动开发中将模型与代码结合的新方法
作者:
S. Sarstedt
;
J. Kohlmeyer
;
A. Raschke
;
M. Schneiderhan
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
31.
A Software Architecture Intended to Design High Quality Groupware Applications
机译:
旨在设计高质量群件应用程序的软件体系结构
作者:
Jose L. Garrido
;
Patricia Paderewski
;
Maria L. Rodriguez
;
Miguel J. Hornos
;
Manuel Noguera
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
CSCW;
groupware architecture;
requirements engineering;
software quality;
UML;
32.
A Process Model for Development and Utilization of Reusable Test Assets
机译:
可重复使用测试资产开发和利用的过程模型
作者:
Annukka Maentyniemi
;
Pekka Maeki-Asiala
;
Matti Kaerki
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
software testing;
software quality;
software reuse;
33.
An Attack Packet Simulator for Performance Test of Information Security Systems
机译:
用于信息安全系统性能测试的攻击包模拟器
作者:
Wooyoung Soh
;
Junsang Jeon
;
Younseo Jeong
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
performance test;
packet simulator;
information security;
attack scenario;
34.
Metainterfaces Support Structural and Object- Oriented Software Composition
机译:
元接口支持结构化和面向对象的软件组合
作者:
Enn Tyugu
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
model-based software engineering;
metaclasses;
software composition;
35.
Privacy Aware Identity Information Sharing Protocol
机译:
隐私感知身份信息共享协议
作者:
Taesung Kim
;
Jong hyuk Roh
;
Seung-Hyun Kim
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
identity management;
privacy;
36.
Progressive Autonomy - An Incremental Agent-based Approach
机译:
渐进式自治-基于增量Agent的方法
作者:
Walt Truszkowski
;
Christopher Rouff
;
Sidney Bailin
;
Mike Rilee
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
37.
Research on Software Requirement Analysis Method Based on Five-Key Elements Arrange
机译:
基于五要素安排的软件需求分析方法研究
作者:
Wei Fu
;
Guoqiang Cai
;
Limin Jia
;
Ye Zhang
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
requirement analysis;
five-key elements arrange;
software engineering;
38.
On a GUI based editor for the Z Notation
机译:
在基于Z表示法的GUI编辑器上
作者:
Hiroshi Ishikawa
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
Z notation;
LATEX;
XML;
GUI based editor;
java;
39.
Novel Obfuscation Algorithms for Software Security
机译:
用于软件安全性的新型混淆算法
作者:
Levent Ertaul
;
Suma Venkatesh
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
software security;
software protection techniques;
code obfuscation;
40.
V-FIRE: Virtual Fire in Realistic Environments
机译:
V-FIRE:现实环境中的虚拟火灾
作者:
Frederick C. Harris
;
Michael A. Penick
;
Grant M. Kelly
;
Juan C. Quiroz
;
Sergiu M. Dascalu
;
Brian T. Westphal
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
virtual environment;
fire simulation;
requirements specification;
software design;
prototype user interface;
41.
The Effect of Object-Oriented Data Structure Design and Implementation on Lifecycle Effort: A Case Study
机译:
面向对象的数据结构设计和实现对生命周期努力的影响:一个案例研究
作者:
Jack K. Horner
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
software engineering;
software estimation;
REVIC;
software project management;
42.
Test Case Prioritization for GUI Testing
机译:
GUI测试的测试用例优先级
作者:
Yachai Limpiyakorn
;
Pisak Kurusathian
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
GUI testing;
prioritization;
43.
The Views of Quality for the Requirements Document
机译:
需求文档的质量观点
作者:
Bernard Wong
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
requirements engineering;
requirements documentation;
quality;
cognitive structures;
44.
Scope Equivalence of Concurrent Systems Based on Bipartite Directed Acyclic Graph
机译:
基于二部有向无环图的并发系统的范围等价
作者:
Masaki Murakami
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
45.
Modeling QoS through Architectural Reflection
机译:
通过架构反射对QoS建模
作者:
Francesca Arcelli
;
Claudia Raibulet
;
Francesco Tisato
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
software architecture;
reflection;
QoS;
strategies;
46.
Interface Descriptions for Enterprise Architecture
机译:
企业体系结构的接口说明
作者:
Aditya Garg
;
Rick Kazman
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
47.
Integration of Wrapper Preprocessor into C/C++ IDE for Implementing Reusable Components
机译:
将包装程序预处理器集成到C / C ++ IDE中以实现可重用组件
作者:
Hisham M. Haddad
;
Walter Fortner
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
pre-processing reusable code;
component reuse;
atomic domain;
wrappers;
48.
JfleX: A Dynamic Model Driven Architecture
机译:
JfleX:动态模型驱动的体系结构
作者:
Gautam Shroff
;
Puneet Agarwal
;
Abhiram Gandhe
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
UML;
model driven architecture;
flexible software architecture;
meta-model;
49.
Experimenting with an Evolving Ground/Space-ased Software Architecture to Enable Sensor Webs
机译:
试验不断发展的地面/空间相关软件体系结构以启用传感器网
作者:
Daniel Mandl
;
Stuart Frye
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
50.
GUI State-based Accessibility Control in Hierarchical State Machines
机译:
分层状态机中基于GUI状态的可访问性控制
作者:
Mingtian Ni
;
Stephen E. Reichenbach
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
graphical user interface;
state-based accessibility control;
hierarchical state machine;
51.
Generation of OCL Constraints from B Abstract Machines
机译:
从B抽象机生成OCL约束
作者:
Isabelle Jacques
;
Bruno Tatibouet
;
Jean-Christophe Voisinet
会议名称:
《》
|
2005年
关键词:
B formal method;
UML notation;
object constraint language;
integration of formal and semi-formal methods;
52.
Evaluating Off-The-Shelf Architectural Components
机译:
评估现成的建筑组件
作者:
Kendra Cooper
;
Lawrence Chung
;
Weimin Ma
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
evaluating;
architecture;
off-the-shelf component;
53.
Detection of Anomalies in a Software Architectural Style with Connectors: Position Paper
机译:
带有连接器的软件体系结构样式中的异常检测:立场文件
作者:
Michael E. Shin
;
Yan Xu
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
anomaly detection;
software architecture;
54.
ANALYSIS OF OPEN SOURCE DEFECT TRACKING TOOLS FOR USE IN DEFECT ESTIMATION
机译:
用于缺陷估计的开源缺陷跟踪工具的分析
作者:
Catherine V. Stringfellow
;
Dileep Potnuri
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
software tools;
defect analysis;
metrics;
55.
Applying Design Patterns in Distributing a Genetic Algorithm Application
机译:
设计模式在分布式遗传算法中的应用
作者:
Nick Burns
;
Mike Bradley
;
Mei-Ling L. Liu
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
design patterns;
distributed system;
genetic algorithms;
robocode;
GALib;
56.
Using Semantic Metrics to Assess Consistency between Design and Implementation of Software
机译:
使用语义度量来评估软件设计与实现之间的一致性
作者:
Cara Stein
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
design specification;
project management;
object-oriented software;
semantic metrics;
57.
Verification of Workflow Authorization Reasonability
机译:
验证工作流程授权的合理性
作者:
OUYANG Yu
;
LIU Yushu
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
workflow;
access control;
authorization;
constraint;
verification;
58.
Maturity of the MDA tool-assisted development process using business archetypes: a case study
机译:
使用业务原型的MDA工具辅助开发过程的成熟度:一个案例研究
作者:
Blanca Gil
;
Eric Lefebvre
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
MDA development process;
MDA-oriented tools;
model transformation;
business archetypes;
59.
Meta-Model Search: Using XPath to Search Domain-Specific Models
机译:
元模型搜索:使用XPath搜索特定于域的模型
作者:
Rajesh Sudarsan
;
Jeff Gray
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
XPath;
domain-specific models;
GME;
model search;
60.
A Model-based Approach to Controlling the ST-5 Constellation Lights-Out Using the GMSEC Message Bus and Simulink
机译:
使用GMSEC消息总线和Simulink控制ST-5星座熄灯的基于模型的方法
作者:
Kenneth J. Witt
;
Robert Shendock
;
Jason Stanley
;
Daniel Mandl
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
61.
A Low Budget Approach to Distributed Automated Black-Box Testing
机译:
一种低成本的分布式自动化黑盒测试方法
作者:
Andreas Boklund
;
Christer Selvefors
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
distributed computing;
software testing;
black-box;
automatic;
cost-effective;
62.
A Transformation Approach for Modeling and Analysis of Complex UML Statecharts: A Case Study
机译:
复杂UML状态图建模和分析的转换方法:一个案例研究
作者:
Zhaoxia Hu
;
Sol M. Shatz
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
UML statecharts;
formal methods;
transformation;
petri nets;
model analysis;
63.
A Survey of Software Reliability Models and an Application of the Bayesian Belief Networks Model
机译:
软件可靠性模型综述及贝叶斯信念网络模型的应用
作者:
Qiaolan Wan
;
Mansur H. Samadzadeh
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
关键词:
software reliability models;
bayesian belief networks;
64.
Software Requirements Phase for a Resource Utilization and Scheduling Tool
机译:
资源利用和计划工具的软件需求阶段
作者:
Jayathi S. Raghavan
;
Massood Towhidnejad
会议名称:
《International Conference on Software Engineering Research and Practice(SERP'05) vol.1; 20050627-29; Las Vegas,NV(US)》
|
2005年
意见反馈
回到顶部
回到首页