掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
Software Engineering - Companion Volume, 2009. ICSE-Companion 2009
Software Engineering - Companion Volume, 2009. ICSE-Companion 2009
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
首都信息化
计算技术与自动化
电脑爱好者
计算机系统应用
中国信息技术教育
中国自动识别技术
信息与电脑
高性能计算技术
计算机辅助工程
电脑开发与应用
更多>>
相关外文期刊
The T C T magazine
Computer architecture news
Control & automation
Machine Vision and Applications
Performance Evaluation
Journal of defense modeling and simulatio
International Journal of Mobile Human Computer Interaction
Computing & Control Engineering Journal
C - C++ Users Journal
International journal of information and coding theory
更多>>
相关中文会议
全国第三届信息隐藏学术研讨会
第九届中国智能机器人学术研讨会
全国冶金自动化信息网2014年年会
全国第17届计算机科学与技术应用(CACIS)学术会议
中国中文信息学会汉字编码专业委员会第八届年会
全国抗恶劣环境计算机第十八届学术年会
中国计算机用户协会网络应用分会2011年第十五届网络新技术与应用年会
全国第三届冶金自动化科技交流学术会
第七届全国多媒体技术学术会议
第七届人-机-环境系统工程学术会议
更多>>
相关外文会议
2008 Sino-European Workshop on Intelligent Robots and Systems(SEIROS'08)(第一届中欧智能系统及机器人国际学术研讨会)
Advances in Information and Computer Security; Lecture Notes in Computer Science; 4266
2018 IEEE International Conference on Smart Internet of Things
Workshop on bio-inspired algorithms for distributed systems 2010
2014 IEEE Winter Conference on Applications of Computer Vision
Adaptive multimedia retrieval : understanding media and adapting to the user
International symposium on distributed computing and artificial intelligence
Software for electrical engineering analysis and design
Logics in artificial intelligence
Optical Communication, 1996. ECOC '96
更多>>
热门会议
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
)
清除
导出
共
126
条结果
1.
Improving the reliability of mobile software systems through continuous analysis and proactive reconfiguration
机译:
通过连续分析和主动重新配置来提高移动软件系统的可靠性
作者:
Malek S.
;
Roshandel R.
;
Kilgore D.
;
Elhag I.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
mobile computing;
software reliability;
continuous analysis;
desktop software system;
mobile software system;
software reliability analysis;
2.
Deployment automation with BLITZ
机译:
使用BLITZ进行部署自动化
作者:
Dougherty B.
;
White J.
;
Balasubramanian J.
;
Thompson C.
;
Schmidt D.C.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
bin packing;
distributed processing;
embedded systems;
minimisation;
object-oriented programming;
processor scheduling;
resource allocation;
BLITZ;
algorithmic deployment technique;
computing infrastructure;
deployment automation;
distributed real-time embedded system deployment;
flight avionics DRE system;
hardware processors;
harmonic period heuristic;
processor minimization;
real-time deadlines;
real-time scheduling;
resource location;
scheduling constraints;
software components;
3.
Integrating sustainability in decision-making processes: A modelling strategy
机译:
将可持续性纳入决策过程:一种建模策略
作者:
Cabot J.
;
Easterbrook S.
;
Horkoff J.
;
Lessard L.
;
Liaskos S.
;
Mazon J.-N.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
decision making;
formal specification;
formal verification;
sustainable development;
systems analysis;
decision making process;
software requirements analysis;
software requirements modeling;
4.
Configuration and adaptation of binary software components
机译:
二进制软件组件的配置和改编
作者:
Kell S.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
high level languages;
software engineering;
Cake;
binary representations;
binary software components;
black-box adaptation techniques;
configuration language;
language-specific;
overly invasive;
white-box techniques;
5.
An environment for synchronous software development
机译:
同步软件开发的环境
作者:
Hattori L.
;
Lanza M.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
groupware;
software engineering;
collaboration aspects;
complex software systems;
fine-grained change tracking mechanism;
negative distance effects;
synchronous software development;
6.
Towards safer composition
机译:
迈向更安全的构图
作者:
Classen A.
;
Heymans P.
;
Tuny T.T.
;
Nuseibeh B.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
product development;
software reusability;
feature diagram;
merge operation;
safer composition;
software product line engineering;
7.
Increasing usability of preprocessing for feature management in product lines with queries
机译:
带有查询的产品线中用于功能管理的预处理的可用性不断提高
作者:
Jarzabek S.
;
Hongyu Zhang
;
Youpeng Lee
;
Yinxing Xue
;
Shaikh N.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
XML;
product development;
query languages;
software reusability;
XML-based variant configuration language;
base program;
common preprocessing problem;
feature code management;
frame query language;
query-based environment;
software product line development;
8.
A compositional approach to bidirectional model transformation
机译:
双向模型转换的组合方法
作者:
Hidaka S.
;
Hu Z.
;
Kato H.
;
Nakano K.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
query languages;
reverse engineering;
software engineering;
UnQL;
bidirectional model transformation;
bidirectional semantics;
compositional approach;
domain-specific bidirectionalization method;
graph querying language;
model synchronization;
multiple-view software development;
round-trip engineering;
software evolution;
9.
Notes
机译:
笔记
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
10.
Selective backtracking of model changes
机译:
模型变更的选择性回溯
作者:
Groher I.
;
Egyed A.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
backtracking;
software engineering;
chronological backtracking;
multiview modeling;
selective backtracking;
software modeling;
11.
Towards a framework for supporting software modeling activities through novel interaction and visualization techniques
机译:
建立一个通过新颖的交互和可视化技术支持软件建模活动的框架
作者:
Frisch M.
;
Dachselt R.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
Unified Modeling Language;
computer displays;
data visualisation;
graphical user interfaces;
software tools;
PhD thesis;
UML;
diagrams handling;
multitouch displays;
novel interaction technique;
software development process;
software modeling tools;
visualization technique;
zoomable user interfaces;
12.
Software Engineering for the Next Internet
机译:
下一代互联网的软件工程
作者:
Zave P.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
Internet;
middleware;
software engineering;
next Internet;
13.
Improving conflict resolution in model versioning systems
机译:
改进模型版本控制系统中的冲突解决方案
作者:
Brosch P.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
groupware;
software engineering;
collaborative software development;
conflict detection;
conflict resolution improvement;
intelligent conflict resolution;
model versioning systems;
14.
10 most powerful ideas in software engineering
机译:
软件工程中的10个最强大的构想
作者:
McConnell S.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
programming;
software engineering;
extreme programming;
software development;
software engineering practice;
waterfall model;
15.
SecondWATCH: A workspace awareness tool based on a 3-D virtual world
机译:
SecondWATCH:基于3D虚拟世界的工作区感知工具
作者:
En Ye
;
Neiman L.A.
;
Dinh H.Q.
;
Chang Liu
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
avatars;
configuration management;
groupware;
program debugging;
software development management;
3-D online virtual world;
SecondWATCH;
avatar;
bug tracking system;
collaborative work;
coworker information;
group awareness;
software artifact;
software development team;
version control repository;
workspace awareness tool;
16.
Codebook: Social networking over code
机译:
代码簿:基于代码的社交网络
作者:
Begel A.
;
DeLine R.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
Web services;
social networking (online);
software engineering;
user interfaces;
Codebook;
Web interface;
Web service;
social networking system;
task dependency;
work artifact;
17.
A specification idiom for reactive systems
机译:
反应系统的规范用法
作者:
Sridhar N.
;
Hallstrom J.O.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
formal specification;
software libraries;
TinyOS library;
component library;
embedded system;
event-driven application;
interrupt-driven application;
out-of-context callback;
reactive system behavior;
sensor network application;
specification idiom;
split-phase operation;
18.
Murphy: A Web 2.0 approach for proactive risk management in hardware/software co-design
机译:
Murphy:一种Web 2.0方法,用于在硬件/软件协同设计中进行主动风险管理
作者:
Blagojevic V.
;
Codenie W.
;
Dedecker J.
;
Gonzalez-Deleito N.
;
Deleu J.
;
Boucart N.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
hardware-software codesign;
risk management;
software reliability;
Murphy;
Web 2.0 approach;
collective risk intelligence;
continuous risk monitoring;
hardware/software codesign;
proactive risk management;
product failure;
software-intensive product builders;
19.
The comment density of open source software code
机译:
开源软件代码的注释密度
作者:
Arafat O.
;
Riehle D.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
public domain software;
software engineering;
source coding;
comment density;
open source projects;
open source software code;
20.
Can peer code reviews be exploited for later information needs?
机译:
可以利用对等代码审查来满足以后的信息需求吗?
作者:
Sutherland A.
;
Venolia G.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
program debugging;
program diagnostics;
software quality;
Microsoft;
collocated development environment;
electronic communication;
face-to-face communication;
information needs;
knowledge exchange;
peer code review;
software product team;
21.
Design tests: An approach to programmatically check your code against design rules
机译:
设计测试:一种根据设计规则以编程方式检查代码的方法
作者:
Brunet J.
;
Guerrero D.
;
Figueiredo J.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
Java;
application program interfaces;
formal specification;
program testing;
program verification;
software quality;
API;
DesignWizard;
JUnit test case;
Java program;
code checking;
design test;
functional requirement;
software quality assurance;
22.
Notes
机译:
笔记
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
23.
Genetics as a role model for software variability management
机译:
遗传学作为软件变异性管理的榜样
作者:
Dhungana D.
;
Groher I.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
software development management;
genetic variability;
software engineering;
software product line engineering research;
software variability management;
24.
Using Bayesian statistical methods to determine the level of error in large spreadsheets
机译:
使用贝叶斯统计方法确定大型电子表格中的错误级别
作者:
Bradley L.
;
McDaid K.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
Bayes methods;
word processing;
Bayesian statistical methods;
Microsoft Excel;
Sarbanes-Oxley Act;
spreadsheets;
25.
Visual exploration of large-scale evolving software
机译:
大规模开发软件的可视化探索
作者:
Wettel R.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
C++ language;
Java;
Smalltalk;
program visualisation;
project management;
public domain software;
reverse engineering;
software maintenance;
software metrics;
software quality;
3D visualization;
CodeCity;
design quality assessment;
industrial-size software project;
open-source system;
program comprehension;
software complexity;
software development;
software evolution;
software system;
26.
InstantApps: A WYSIWYG model driven interpreter for web applications
机译:
InstantApps:用于Web应用程序的WYSIWYG模型驱动的解释器
作者:
Shroff G.
;
Agarwal P.
;
Devanbu P.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
Internet;
business data processing;
database management systems;
Google MapReduce abstraction;
InstantApps;
WYSIWYG model driven interpreter;
Web based database oriented application;
27.
A framework for raising the level of abstraction of explicit parallelization
机译:
一个提高显式并行化抽象水平的框架
作者:
Arora R.
;
Bangalore P.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
middleware;
object-oriented programming;
parallel programming;
abstraction level;
design pattern;
explicit parallelization;
framework-for-synthesizing parallel application;
generative programming technique;
high performance computing;
middleware component;
parallel programming approach;
sequential application;
28.
On the evaluation and improvement of feature-based configuration techniques in software product lines
机译:
关于软件产品线中基于功能的配置技术的评估和改进
作者:
Hubaux A.
;
Heymans P.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
DP industry;
formal specification;
software performance evaluation;
feature diagrams;
feature-based configuration technique;
formal analysis;
open source development project;
software product line engineering process;
29.
Static ownership inference for reasoning against concurrency errors
机译:
静态所有权推断以针对并发错误进行推理
作者:
Milanova A.
;
Yin Liu
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
concurrency control;
object-oriented programming;
program diagnostics;
reasoning about programs;
concurrency error reasoning;
object-oriented program;
static ownership inference;
30.
Mining recurrent activities: Fourier analysis of change events
机译:
挖掘经常性活动:变化事件的傅立叶分析
作者:
Hindle A.
;
Godfrey M.W.
;
Holt R.C.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
Fourier analysis;
Fourier transforms;
data mining;
project management;
software engineering;
time series;
Fourier transform;
change-events extraction;
natural periodicities;
repeating events periodicity;
software development;
software project;
software repository mining;
source control system;
time-series analysis;
31.
Automated substring hole analysis
机译:
自动子串孔分析
作者:
Adler Y.
;
Farchi E.
;
Klausner M.
;
Pelleg D.
;
Raz O.
;
Shochat M.
;
Ur S.
;
Zlotnick A.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
program testing;
automated substring hole analysis;
code coverage;
drill-down capability;
huge data set;
raw data record;
software testing;
32.
Configuration aware prioritization techniques in regression testing
机译:
回归测试中具有配置意识的优先化技术
作者:
Xiao Qu
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
program testing;
software engineering;
configurable software;
configuration aware prioritization technique;
regression testing;
test selection;
33.
From system specifications to component behavioral models
机译:
从系统规格到组件行为模型
作者:
Krka I.
;
Edwards G.
;
Brun Y.
;
Medvidovic N.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
formal specification;
software packages;
systems analysis;
component behavioral models;
component-level modal transition system;
component-level partial models;
off-the-shelf components;
system analysis;
system specifications;
system-level behavior;
system-level scenario;
34.
Semi-automated traceability maintenance: An architectural overview of traceMaintainer
机译:
半自动可追溯性维护:traceMaintainer的体系结构概述
作者:
Mader P.
;
Gotel O.
;
Philippow I.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
software maintenance;
commercial software development tools;
semiautomated traceability maintenance;
traceMaintainer;
traceability relations;
Traceability;
development activity recognition;
rule-based traceability maintenance;
35.
DaTeC: Contextual data flow testing of java classes
机译:
DaTeC:Java类的上下文数据流测试
作者:
Denaro G.
;
Gorla A.
;
Pezze M.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
Java;
data flow analysis;
program testing;
software metrics;
software quality;
DaTeC;
Java classes;
contextual data flow testing;
development processes;
object oriented software;
quality monitoring;
state-based behavior;
structural coverage metrics;
36.
Deconstructing concurrency heisenbugs
机译:
解构并发heisenbug
作者:
Ball T.
;
Burckhardt S.
;
de Halleux J.
;
Musuvathi M.
;
Qadeer S.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
concurrency control;
multi-threading;
program debugging;
scheduling;
software tools;
ubiquitous computing;
CHESS tool;
Microsoft;
concurrency Heisenbug deconstruction;
thread scheduling;
37.
Goal and scenario modeling, analysis, and transformation with jUCMNav
机译:
使用jUCMNav进行目标和场景建模,分析和转换
作者:
Mussbacher G.
;
Amyot D.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
formal specification;
formal verification;
programming environments;
systems analysis;
goal modeling;
jUCMNav;
open-source Eclipse plug-in;
requirements engineering model;
scenario modeling;
user requirements notation;
38.
A-SCORE: Automatic software component recommendation using coding context
机译:
A-SCORE:使用编码上下文自动推荐软件组件
作者:
Shimada R.
;
Hayase Y.
;
Ichii M.
;
Matsushita M.
;
Inoue K.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
software quality;
software reusability;
automatic software component recommendation;
coding context;
component search systems;
39.
Software development governor: Automating governance in software development environments
机译:
软件开发调控器:软件开发环境中的自动化调控
作者:
Yaeli A.
;
Kofman A.
;
Dubinsky Y.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
IBM computers;
formal specification;
software engineering;
software tools;
IBM software development governor;
collaborative software development;
development artifacts life-cycle;
governance enactment;
governance specification;
rational team concert;
40.
Workshop on software Engineering in Health Care (SEHC)
机译:
卫生保健软件工程研讨会(SEHC)
作者:
Osterweil Leon J.
;
Paech Barbara
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
41.
Early Aspects at ICSE 2009: Workshop on aspect-oriented requirements engineering and architecture design
机译:
ICSE 2009的早期方面:面向方面的需求工程和体系结构设计研讨会
作者:
Chitchyan Ruzanna
;
Pinto Monica
;
Khan Safoora Shakil
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
42.
SE-CSE 2009: The second international workshop on software engineering for Computational Science and Engineering
机译:
SE-CSE 2009:第二届计算科学与工程软件工程国际研讨会
作者:
Carver Jeffrey C.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
43.
SEEUP 2009: Workshop on software engineering foundations for end-user programming
机译:
SEEUP 2009:面向最终用户编程的软件工程基础研讨会
作者:
Bass Len
;
Lewis Grace
;
Smith Dennis
;
Myers Brad
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
44.
Automated testing of healthcare document transformations in the PICASSO interoperability platform
机译:
PICASSO互操作性平台中的医疗文档转换自动化测试
作者:
Pascale M.
;
Roselli M.
;
Rugani U.
;
Bartolini C.
;
Bertolino A.
;
Lonetti F.
;
Marchetti E.
;
Polini A.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
XML;
electronic data interchange;
health care;
medical information systems;
open systems;
program testing;
HL7-V3;
PICASSO interoperability platform;
XML structure;
XSLT technology;
automated testing;
healthcare document transformations;
heterogenous information systems;
standardize data-exchange formats;
systematic black-box techniques;
45.
An open test bed for medical device integration and coordination
机译:
用于医疗设备集成和协调的开放式测试台
作者:
King A.
;
Procter S.
;
Andresen D.
;
Hatcliff J.
;
Warren S.
;
Spees W.
;
Jetley R.
;
Jones P.
;
Weininger S.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
Java;
biomedical equipment;
health care;
medical information systems;
message passing;
middleware;
program verification;
software architecture;
Java messaging service;
closed loop scenario;
electronic health record;
medical device coordination;
medical device industry integration;
monolithic unit;
open test bed;
publish-subscribe architecture;
software validation technique;
46.
Automatic GUI test generation for smartphone applications - an evaluation
机译:
自动生成智能手机应用程序的GUI测试-评估
作者:
Jaaskelainen A.
;
Katara M.
;
Kervinen A.
;
Maunumaa M.
;
Paakkonen T.
;
Takala T.
;
Virtanen H.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
automatic testing;
graphical user interfaces;
program testing;
S60 applications;
automatic GUI test generation;
graphical user interface;
smartphone applications;
test model library;
47.
Principles of engineering service oriented systems
机译:
面向工程服务的系统原理
作者:
Di Nitto Elisabetta
;
Dustdar Schahram
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
48.
Workshop on comparison and versioning of software models (CVSM 2009)
机译:
关于软件模型比较和版本控制的研讨会(CVSM 2009)
作者:
Ebert Jurgen
;
Kelter Udo
;
Systa Tarja
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
49.
Fourth international workshop on sharing and reusing architectural knowledge (SHARK 2009)
机译:
第四届分享和重用建筑知识的国际研讨会(SHARK 2009)
作者:
Lago Patricia
;
Avgeriou Paris
;
Kruchten Philippe
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
50.
Cooperative and human aspects of software engineering (CHASE 2009)
机译:
软件工程的合作和人为方面(CHASE 2009)
作者:
de Souza Cleidson
;
Sharp Helen
;
Dittrich Yvonne
;
Singer Janice
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
51.
Modeling in Software Engineering (MiSE 09)
机译:
软件工程中的建模(MiSE 09)
作者:
Baillargeon Robert
;
Rumpe Bernhard
;
Volkel Steven
;
France Robert
;
Georg Geri
;
Zschaler Steffen
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
52.
2
nd
workshop on software development governance (SDG)
机译:
第2届软件开发治理(SDG)研讨会
作者:
Dubinsky Yael
;
Kruchten Philippe
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
53.
Model-based Methodologies for Pervasive and Embedded Software
机译:
普及和嵌入式软件的基于模型的方法
作者:
Fernandes J.M.
;
Machado R.J.
;
Lamb L.C.
;
Wagner F.R.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
ubiquitous computing;
embedded software;
model-based methodology;
pervasive software;
54.
5
th
international workshop on Traceability in Emerging Forms of Software Engineering (TEFSE 2009)
机译:
第五届软件工程新兴形式可追溯性国际研讨会(TEFSE 2009)
作者:
Antoniol Giulio
;
Oliveto Rocco
;
Poshyvanyk Denys
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
55.
Experience with modularity in an advanced teleconferencing service deployment
机译:
具有高级电话会议服务部署中的模块化经验
作者:
Cheung E.
;
Smith T.M.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
Internet telephony;
software architecture;
software reusability;
telecommunication computing;
teleconferencing;
SIP Servlet applications;
Voice over IP;
advanced teleconferencing service;
distributed feature composition architecture;
software modularity;
software reuse;
56.
ICSE Cloud 09: First international workshop on software engineering challenges for Cloud Computing
机译:
ICSE Cloud 09:关于云计算软件工程挑战的第一次国际研讨会
作者:
Bhattacharya Kamal
;
Bichler Martin
;
Tai Stefan
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
57.
Reflecting on development processes in the video game industry
机译:
反思视频游戏行业的发展过程
作者:
Brownsword A.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
authoring systems;
computer games;
project management;
software maintenance;
consumer video game hardware;
content authoring practice;
multidisciplinary project team;
software development industry;
software evolution;
software tools;
video game development;
video game industry;
58.
Guided path exploration for regression test generation
机译:
引导路径探索以生成回归测试
作者:
Taneja K.
;
Tao Xie
;
Tillmann N.
;
de Halleux J.
;
Schulte W.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
program testing;
regression analysis;
dynamic symbolic execution;
guided path exploration approach;
program-state differences;
regression test generation;
state-of-the-art test generation technique;
59.
Multi-dimensional service compositions
机译:
多维服务组合
作者:
Baresi L.
;
Di Nitto E.
;
Guinea S.
;
Dustdar S.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
Internet;
object-oriented programming;
software reusability;
Internet of things;
component reusing;
multidimensional service assembly;
multidimensional service compositions;
programming paradigms;
software as a service paradigm;
60.
High-level multicore programming with XJava
机译:
使用XJava进行高级多核编程
作者:
Otto F.
;
Pankratius V.
;
Tichy W.F.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
Java;
Unix;
microprocessor chips;
multi-threading;
XJava;
data parallelism;
high-level multicore programming;
multicore chips;
software tools;
static analysis;
synchronization defects;
thread-based programming model;
61.
Early-stage software design for usability
机译:
早期软件设计的可用性
作者:
Golden E.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
software architecture;
software reusability;
A-PLUS;
architecture pattern language for usability support;
software architecture design;
software usability;
usability-supporting architecture pattern;
62.
How do system architectures affect software requirements?
机译:
系统架构如何影响软件需求?
作者:
Miller J.A.
;
Ferrari R.
;
Madhavji N.H.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
software architecture;
requirements characteristics;
software architectures;
software requirements;
system architectures;
63.
Better abstractions for reusable components u00026; architectures
机译:
可重用组件的更好抽象 u00026;建筑
作者:
Kloukinas C.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
software architecture;
software reusability;
connectors;
control logic;
first-class element;
model driven engineering;
reusable components;
64.
Search-based testing of complex simulink models containing stateflow diagrams
机译:
基于搜索的包含状态流图的复杂Simulink模型测试
作者:
Windisch A.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
optimisation;
program testing;
systems analysis;
Simulink models;
Stateflow diagrams;
model-based software design;
optimization problem;
search-based testing;
systematic model testing;
test case generation;
65.
Towards safety guarantees for service-oriented systems
机译:
为面向服务的系统争取安全保障
作者:
Becker B.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
embedded systems;
formal verification;
software architecture;
run-time changes;
run-time service evolution;
safety guarantees;
service behavior;
service-oriented embedded system;
structural changes;
verification technique;
66.
Model checking flight control systems: The Airbus experience
机译:
模型检查飞行控制系统:空中客车公司的经验
作者:
Bochot T.
;
Virelizier P.
;
Waeselynck H.
;
Wiels V.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
aerospace computing;
aerospace control;
aerospace simulation;
control system synthesis;
formal verification;
safety-critical software;
airbus experience;
model checking flight control system;
safety critical system;
67.
Footprinter: Round-trip engineering via scenario and state based models
机译:
足迹记录仪:通过基于方案和基于状态的模型进行往返工程
作者:
Goel A.
;
Sengupta B.
;
Roychoudhury A.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
distributed processing;
formal specification;
program testing;
code generation;
distributed system requirements;
formal behavioral model;
interprocess communication;
intraprocess behavior;
model driven software development;
roundtrip engineering;
scenario based model;
state based model;
test case generation;
tracing test execution;
68.
Towards a multi-level modeling language for testbed automation systems
机译:
面向测试平台自动化系统的多层次建模语言
作者:
Aschauer T.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
digital simulation;
simulation languages;
model reuse;
multilevel modeling language;
software intensive system models;
stepwise-refinement;
testbed automation systems;
69.
Towards the use of dynamic workflows for coordinating self-adaptation of software systems
机译:
致力于使用动态工作流来协调软件系统的自适应
作者:
da Silva C.E.
;
de Lemos R.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
program diagnostics;
workflow management software;
dynamic workflow generation;
self-adaptative software system;
software change;
70.
Models and algorithms for business value-driven adaptation of business processes and software infrastructure
机译:
用于业务价值驱动的业务流程和软件基础结构调整的模型和算法
作者:
Suleiman B.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
business data processing;
decision making;
software metrics;
software prototyping;
software tools;
automated analysis;
business processes;
business value metrics;
business value-driven adaptation;
decision-making support;
software infrastructure;
71.
A context-aware orchestrating and choreographic test framework for service-oriented applications
机译:
用于面向服务的应用程序的上下文感知编排和编排测试框架
作者:
Lijun Mei
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
Web services;
program testing;
ubiquitous computing;
Web service;
choreographic test framework;
context-aware orchestration;
service-oriented application;
software application development;
context-aware;
service-orientation;
software testing;
72.
The role of judgment in software estimation
机译:
判断在软件评估中的作用
作者:
Fraser S.
;
Boehm B.
;
Erdogmus H.
;
Jorgensen M.
;
Rifkin S.
;
Ross M.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
software engineering;
software quality;
software reliability;
operational reliability;
software development;
software estimation;
73.
Concurrencer: A tool for retrofitting concurrency into sequential java applications via concurrent libraries
机译:
Concurrencer:通过并发库将并发改造为顺序Java应用程序的工具
作者:
Dig D.
;
Marrero J.
;
Ernst M.D.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
Java;
software maintenance;
software packages;
concurrencer;
concurrency retrofitting;
concurrent libraries;
find-and-replace tool;
open-source developers;
parallel code;
sequential Java applications;
74.
Creating and evolving software by searching, selecting and synthesizing relevant source code
机译:
通过搜索,选择和综合相关的源代码来创建和发展软件
作者:
Poshyvanyk D.
;
Grechanik M.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
application program interfaces;
software maintenance;
application programming interface;
high-level concepts;
relevant source code;
software development;
75.
Automatic evaluation of API usability using complexity metrics and visualizations
机译:
使用复杂性指标和可视化功能自动评估API可用性
作者:
de Souza C.R.B.
;
Bentolila D.L.M.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
application program interfaces;
software engineering;
software metrics;
software performance evaluation;
API usability;
automatic evaluation;
complexity metrics;
visualizations;
76.
Foreword
机译:
前言
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
77.
Toward deeply adaptive societies of digital systems
机译:
迈向数字系统的深度适应社会
作者:
Carzaniga A.
;
Denaro G.
;
Pezze M.
;
Estublier J.
;
Wolf A.L.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
ergonomics;
cell phone;
deeply adaptive society;
digital system;
management information base;
self-adaptability;
self-adaptation operation;
software system;
train station;
train ticket online;
vending machine;
78.
Automated scalable test-suite augmentation for evolving software
机译:
自动化的可扩展测试套件,用于不断发展的软件
作者:
Santelices R.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
program testing;
systems analysis;
automated scalable test-suite augmentation;
software changes;
software testing;
79.
Using formal concept analysis to construct and visualise hierarchies of socio-technical relations
机译:
使用形式概念分析构建和可视化社会技术关系层次结构
作者:
Wermelinger M.
;
Yijun Yu
;
Strohmaier M.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
data flow analysis;
human factors;
software engineering;
Eclipse project;
formal concept analysis;
human aspects;
socio-technical relations;
software artefact repository;
80.
Improving bug tracking systems
机译:
改善错误追踪系统
作者:
Zimmermann T.
;
Premraj R.
;
Sillito J.
;
Breu S.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
interactive systems;
invasive software;
iterative methods;
bug tracking system;
interactive system;
iteration;
81.
Towards a framework for law-compliant software requirements
机译:
建立符合法律要求的软件要求的框架
作者:
Siena A.
;
Perini A.
;
Susi A.
;
Mylopoulos J.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
legislation;
software engineering;
goal-oriented requirements engineering;
law-compliant software requirements;
regulations;
requirements elicitation phase;
82.
A sense of community: A research agenda for software ecosystems
机译:
社区意识:软件生态系统研究议程
作者:
Jansen S.
;
Finkelstein A.
;
Brinkkemper S.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
DP industry;
intellectual property;
software ecosystems;
software industry;
software vendors;
83.
Detecting inefficient API usage
机译:
检测无效的API使用情况
作者:
Kawrykow D.
;
Robillard M.P.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
Java;
application program interfaces;
API;
Java open-source system;
application programming interface;
software project;
84.
Promoting evolution by abstracting over implementation structure
机译:
通过抽象实现结构促进发展
作者:
Lievens D.
;
Walsh T.
;
Dahlem D.
;
Harrison W.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
application program interfaces;
software architecture;
software maintenance;
Continuum design;
business application;
implementation structure;
language-based approach;
loosely-coupled network;
malleable software construction;
service-oriented architecture;
software development;
software engineering;
software evolution;
85.
Business insight toolkit: Flexible pre-requirements modeling
机译:
业务洞察力工具包:灵活的先决条件建模
作者:
Ossher H.
;
Bellamy R.
;
Amid D.
;
Anaby-Tavor A.
;
Callery M.
;
Desmond M.
;
de Vries J.
;
Fisher A.
;
Frauenhofer T.
;
Krasikov S.
;
Simmonds I.
;
Swart C.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
business data processing;
office automation;
Business Insight Toolkit;
flexible prerequirements modeling;
office tools;
86.
The marketplace of user interface real estate
机译:
用户界面房地产市场
作者:
Troiano L.
;
Canfora G.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
stock markets;
user interfaces;
UI design;
financial markets;
marketplace simulations;
user interface real estate;
87.
Slede: Framework for automatic verification of sensor network security protocol implementations
机译:
Slede:自动验证传感器网络安全协议实现的框架
作者:
Hanna Y.
;
Rajan H.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
cryptographic protocols;
formal verification;
telecommunication security;
wireless sensor networks;
Slede;
protocol-specific intruder model;
security protocol verification;
wireless sensor network;
88.
VCC: Contract-based modular verification of concurrent C
机译:
VCC:基于合同的并发C模块化验证
作者:
Dahlweid M.
;
Moskal M.
;
Santen T.
;
Tobies S.
;
Schulte W.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
C language;
formal verification;
program compilers;
program debugging;
software reliability;
Microsoft Hyper-V;
Microsoft visual studio;
annotated C;
contract-based modular verification;
log analyzer;
modular sound verification methodology;
real-world production code;
system level software;
system reliability;
system-level C code;
verification debugging;
verified C compiler;
89.
Exploiting the synergy between automated-test-generation and programming-by-contract
机译:
利用自动测试生成和按合同编程之间的协同作用
作者:
Barnett M.
;
Fahndrich M.
;
de Halleux P.
;
Logozzo F.
;
Tillmann N.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
object-oriented programming;
Pex;
automated-test-generation;
code contract;
object-oriented .NET program;
programming-by-contract;
runtime checking;
static checking;
90.
Demonstration of a medical device integration and coordination framework
机译:
演示医疗设备集成和协调框架
作者:
King A.
;
Procter S.
;
Andresen D.
;
Hatcliff J.
;
Warren S.
;
Spees W.
;
Jetley R.
;
Jones P.
;
Weininger S.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
biomedical equipment;
graphical user interfaces;
medical information systems;
clinical workflows;
device coordination tasks;
medical device integration;
model-driven component-based development;
multifaceted graphical user interface;
open source license;
91.
Tesseract: Interactive environment for exploration of project relationships
机译:
Tesseract:用于探索项目关系的交互式环境
作者:
Maccherone L.
;
Sarma A.
;
Wagstrom P.
;
Herbsleb J.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
interactive systems;
project management;
software development management;
user interfaces;
Tesseract user interface;
cross-linked display;
interactive environment;
software archive browser;
software project management;
92.
DYVISE: Performance analysis of production systems research demonstration
机译:
DYVISE:生产系统性能分析研究演示
作者:
Reiss S.P.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
client-server systems;
multi-threading;
program diagnostics;
user interfaces;
DYVISE;
cpu usage;
event handling;
memory utilization;
multithreaded server;
performance analysis;
production systems research demonstration;
user interface;
93.
An experimental platform to characterize software comprehension activities supported by visualization
机译:
一个实验平台,用于表征可视化支持的软件理解活动
作者:
de F. Carneiro G.
;
Mendonca M.
;
Magnavita R.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
data visualisation;
software engineering;
dynamic filtering;
experimental platform;
extensible multi-view software visualization;
querying view;
software comprehension activities;
software engineering tasks;
unfamiliar source code;
94.
Verifying networked programs using a model checker extension
机译:
使用模型检查器扩展来验证联网程序
作者:
Leungwattanakit W.
;
Artho C.
;
Hagiya M.
;
Tanabe Y.
;
Yamamoto M.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
Java;
cache storage;
client-server systems;
formal verification;
peer-to-peer computing;
scheduling;
software fault tolerance;
I/O-cache;
Java model checker;
WebDAV client;
cache module;
data streams;
execution schedule;
model checker extension;
networked programs verification;
peer processes;
software failures;
95.
LuMiNous—model-driven assertion generation for runtime failure detection
机译:
LuMiNous-用于运行时故障检测的模型驱动的断言生成
作者:
Pezze M.
;
Wuttke J.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
object-oriented programming;
program compilers;
program debugging;
software maintenance;
software quality;
system monitoring;
system recovery;
LuMiNous-model-driven code assertion generation;
autonomic software system;
runtime failure detection;
software debugging;
96.
RAIDE for engineering architecture-based self-adaptive systems
机译:
RAIDE用于基于工程架构的自适应系统
作者:
Shang-Wen Cheng
;
Garlan D.
;
Schmerl B.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
object-oriented programming;
software architecture;
RAIDE;
Rainbow framework;
Rainbow run-time components;
engineering architecture;
run-time closed-loop control;
self-adaptive systems;
97.
ClemanX: Incremental clone detection tool for evolving software
机译:
ClemanX:用于不断发展的软件的增量克隆检测工具
作者:
Tung Thanh Nguyen
;
Hoan Anh Nguyen
;
Pham N.H.
;
Al-Kofahi J.M.
;
Nguyen T.N.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
program diagnostics;
software maintenance;
ClemanX incremental clone detection tool;
code clone management;
real-world software project;
software evolution analysis;
98.
International workshop on multicore software engineering (IWMSE 2009)
机译:
多核软件工程国际研讨会(IWMSE 2009)
作者:
Porter Adam
;
Pankratius Victor
;
Votta Lawrence G.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
99.
QMetric - a metric tool suite for the evaluation of software process data
机译:
QMetric-用于评估软件过程数据的度量工具套件
作者:
Schackmann H.
;
Jansen M.
;
Lischkowitz C.
;
Lichter H.
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
关键词:
software process improvement;
software quality;
QMetric;
automatic evaluation;
change request management systems;
organization-specific quality models;
process quality;
software process data;
100.
Second international workshop on emerging trends in Free/Libre/Open Source Software research and development - FLOSS09
机译:
第二届国际自由/自由/开源软件研究与开发趋势国际研讨会-FLOSS09
作者:
Capiluppi Andrea
;
Robles Gregorio
会议名称:
《Software Engineering - Companion Volume, 2009. ICSE-Companion 2009》
|
2009年
上一页
1
2
下一页
意见反馈
回到顶部
回到首页