掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Software Engineering, 2004. ICSE 2004. Proceedings
Software Engineering, 2004. ICSE 2004. Proceedings
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
A constraint architectural description approach to self-organising component-based software systems
机译:
自组织基于组件的软件系统的约束体系结构描述方法
作者:
Waewsawangwong P.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
object-oriented programming;
software architecture;
specification languages;
computational complexity;
software prototyping;
self-adjusting systems;
constraint handling;
component-based software;
selforganising software architecture;
constraint-based description language;
software evolution;
NP-complete problem;
constraint satisfaction;
2.
A fast assembly level reverse execution method via dynamic slicing
机译:
动态切片的快速装配级逆向执行方法
作者:
Akgul T.
;
Mooney V.J. III
;
Pande S.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
program slicing;
program debugging;
reverse engineering;
reverse execution;
dynamic slicing;
program debugging;
debugging aids;
bug location;
code parts;
program point;
execution history;
memory overhead reduction;
repetitive program restarts;
3.
A flexible software process model
机译:
灵活的软件流程模型
作者:
Kirk D.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software process improvement;
software development management;
digital simulation;
decision making;
software process modelling;
software product development;
software process simulation;
management decision making;
4.
A hybrid architectural style for distributed parallel processing of generic data streams
机译:
通用数据流的分布式并行处理的混合体系结构样式
作者:
Francois A.R.J.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
interactive programming;
distributed processing;
parallel processing;
multimedia computing;
middleware;
software engineering;
hybrid architectural style;
distributed parallel processing;
generic data streams;
immersive applications;
interactive applications;
on-line processing;
multimedia data streams;
multimedia data structures;
Immersipresence vision;
system integration;
SAI;
software architecture model;
asynchronous parallel processing;
software engineering;
open source middleware;
MFSM;
integrated interactive systems;
distributed interactive systems;
5.
A model driven approach for software systems reliability
机译:
模型驱动的软件系统可靠性方法
作者:
Rodrigues G.N.
;
Rosenblum D.
;
Emmerich W.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software architecture;
object-oriented programming;
software reliability;
software systems reliability;
model-driven approach;
software development;
model driven architecture;
MDA;
design models;
6.
A tool for writing and debugging algebraic specifications
机译:
编写和调试代数规范的工具
作者:
Henkel J.
;
Diwan A.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software tools;
algebraic specification;
Java;
program debugging;
algebraic specification writing tool;
algebraic specification debugging tool;
formal specifications;
software tool;
Java class;
7.
A weakly constrained approach to software change coordination
机译:
一种弱约束的软件变更协调方法
作者:
OReilly C.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
configuration management;
software development management;
software maintenance;
software prototyping;
software change coordination;
software development;
software maintenance;
software evolution;
weakly constrained coordination;
constraint checking;
software configuration management;
agile methods;
8.
AcmeStudio: supporting style-centered architecture development
机译:
AcmeStudio:支持以样式为中心的架构开发
作者:
Schmerl B.
;
Garlan D.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software architecture;
software tools;
software quality;
AcmeStudio;
style-centered architecture development;
software architecture;
high-quality software;
tool support;
domain-specific architectural styles;
style-neutral architecture development;
architectural design;
9.
Adding high availability and autonomic behavior to Web services
机译:
向Web服务添加高可用性和自主行为
作者:
Birman K.
;
van Renesse R.
;
Vogels W.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software architecture;
Internet;
safety-critical software;
software fault tolerance;
Web services architecture;
object-oriented architecture;
mission-critical Web Services;
Web service reliability;
IBM;
Web services systems;
autonomic system;
self-configuring system;
fault-diagnosing system;
self-managing system;
10.
Agile development: evaluation and experience
机译:
敏捷开发:评估和经验
作者:
Tichy W.F.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software engineering;
program testing;
agile development;
Extreme Programming;
Crystal;
Scrum;
software specification;
program documentation;
scheduling;
software incremental delivery;
face-to-face communication;
test-driven development;
automated regression testing;
11.
Agile process tailoring and problem analysis (APTLY)
机译:
敏捷流程定制和问题分析(适用)
作者:
Keenan F.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software architecture;
software process improvement;
software quality;
software standards;
agile process tailoring;
problem analysis;
software development;
process standards;
CMMI;
ISO 9000;
extreme programming;
XP;
SCRUM;
Crystal Methodologies;
12.
An empirical comparison of dynamic impact analysis algorithms
机译:
动态影响分析算法的经验比较
作者:
Orso A.
;
Apiwattanapong T.
;
Law J.
;
Rothermel G.
;
Harrold M.J.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
program debugging;
program testing;
software maintenance;
program diagnostics;
dynamic impact analysis algorithms;
software system;
software engineering;
software maintenance;
regression testing;
CoverageImpact;
PathImpact;
operational profile data;
program behavior;
program debugging;
13.
An empirical study of software reuse vs. defect-density and stability
机译:
关于软件重用与缺陷密度和稳定性的关系的实证研究
作者:
Mohagheghi P.
;
Conradi R.
;
Killi O.M.
;
Schwarz H.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software reusability;
object-oriented programming;
data mining;
data analysis;
software reuse;
defect-density;
stability;
historical data;
data mining;
large-scale telecom system;
Ericsson;
component reuse;
defect reporting system;
data analysis;
14.
An experimental, pluggable infrastructure for modular configuration management policy composition
机译:
用于模块化配置管理策略组合的实验性,可插拔基础结构
作者:
van der Lingen R.
;
van der Hoek A.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
configuration management;
software reusability;
configuration management;
data structures;
experimental infrastructure;
pluggable infrastructure;
MCCM;
policy composition;
15.
An introduction to computing system dependability
机译:
计算系统可靠性简介
作者:
Knight J.C.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software reliability;
software fault tolerance;
software maintenance;
systems analysis;
computing system dependability;
software reliability;
software dependability;
16.
An open framework for dynamic reconfiguration
机译:
动态重新配置的开放框架
作者:
Hillman J.
;
Warren I.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software maintenance;
configuration management;
management of change;
dynamic reconfiguration;
reconfiguration algorithm;
OpenRec;
comparative analysis;
change management;
run-time change;
17.
Architecting in the face of uncertainty: an experience report
机译:
面对不确定性的架构:经验报告
作者:
Gorton I.
;
Haack J.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software architecture;
formal specification;
project management;
functional requirements;
nonfunctional requirements;
client requirements;
application architecture;
software engineering practices;
18.
Architectures and technologies for enterprise application integration
机译:
企业应用程序集成的体系结构和技术
作者:
Gorton I.
;
Liu A.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
information systems;
systems analysis;
software architecture;
enterprise application integration;
information systems;
World Wide Web;
legacy applications;
service-oriented architectures;
19.
Assume-guarantee verification of source code with design-level assumptions
机译:
具有设计级假设的源代码的保证保证验证
作者:
Giannakopoulou D.
;
Pasareanu C.S.
;
Cobleigh J.M.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
program verification;
software architecture;
aerospace computing;
assume-guarantee verification;
design-level assumptions;
model checking;
state explosion problem;
system development;
abstract behavioral models;
component assumption generation;
design artifacts;
source code reasoning;
system verification;
NASA application;
safety property violation;
20.
Automated generation of test programs from closed specifications of classes and test cases
机译:
根据封闭的类和测试用例规范自动生成测试程序
作者:
Wee Kheng Leow
;
Siau Cheng Khoo
;
Yi Sun
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
program testing;
automatic programming;
formal specification;
object-oriented programming;
data structures;
tree searching;
automatic test pattern generation;
automated test program generation;
program testing;
classes specifications;
test cases specifications;
software testing;
automated specification-based testing;
test validation;
object-oriented classes;
tree-search algorithm;
Omega Calculator library;
21.
Automated support for development, maintenance, and testing in the presence of implicit flow control
机译:
在存在隐式流控制的情况下,自动支持开发,维护和测试
作者:
Sinha S.
;
Orso A.
;
Harrold M.J.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software maintenance;
automatic programming;
program testing;
data flow analysis;
object-oriented languages;
automated support;
software development;
software maintenance;
software testing;
implicit flow control;
object-oriented languages;
exception handling;
polymorphism;
software-engineering tasks;
22.
Autonomous adaptation to dynamic availability using a service-oriented component model
机译:
使用面向服务的组件模型自主适应动态可用性
作者:
Cervantes H.
;
Hall R.S.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
object-oriented programming;
software engineering;
ubiquitous computing;
resource allocation;
dynamic availability;
service-oriented component model;
Gravity project;
component interaction;
abstract composition;
ubiquitous computing;
multifidelity applications;
service composition;
resource allocation;
23.
Balancing agility and discipline: evaluating and integrating agile and plan-driven methods
机译:
平衡敏捷性和纪律性:评估和集成敏捷性和计划驱动的方法
作者:
Boehm B.
;
Turner R.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software engineering;
software process improvement;
ISO standards;
software standards;
software criticality;
CMMI;
ISO-15288;
UK-DefStan-00-55;
agile development;
24.
Behavior capture and test for verifying evolving component-based systems
机译:
行为捕获和测试,以验证不断发展的基于组件的系统
作者:
Mariani L.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
object-oriented programming;
program testing;
program verification;
software reusability;
component-based systems;
system evolution;
system reusability;
system adaptability;
quality assessment;
run-time verification;
25.
Bi-criteria models for all-uses test suite reduction
机译:
减少所有用途的测试套件的双标准模型
作者:
Black J.
;
Melachrinoudis E.
;
Kaeli D.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
program testing;
error detection;
linear programming;
data flow analysis;
minimisation;
integer programming;
test suite reduction;
bicriteria decision making;
test suite minimization;
error detection;
data flow testing;
integer programming;
linear programming;
software testing;
26.
Breaking the ice for agile development of embedded software: an industry experience report
机译:
打破嵌入式软件敏捷开发的冰河:行业经验报告
作者:
Manhart P.
;
Schneider K.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
embedded systems;
software process improvement;
automobile industry;
manufacturing data processing;
agile software development;
embedded software;
software engineering;
software quality;
software flexibility;
agile process improvement;
27.
Calculating architectural reliability via modeling and analysis
机译:
通过建模和分析计算架构可靠性
作者:
Roshandel R.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
systems analysis;
software architecture;
software reliability;
modelling;
stochastic processes;
architectural reliability;
software architecture;
system reliability;
stochastic processes;
systems analysis;
28.
Case studies for software engineers
机译:
软件工程师案例研究
作者:
Perry D.E.
;
Sim S.E.
;
Easterbrook S.M.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software engineering;
software engineering;
empirical research;
case studies;
software engineers;
29.
Comparison of software product line architecture design methods: COPA, FAST, FORM, KobrA and QADA
机译:
软件产品线体系结构设计方法的比较:COPA,FAST,FORM,KobrA和QADA
作者:
Matinlassi M.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software architecture;
software standards;
software product line;
architecture design;
product line architectures;
COPA;
FAST;
FORM;
KobrA;
QADA;
software standards;
software engineering;
30.
Component-based self-adaptability in peer-to-peer architectures
机译:
对等体系结构中基于组件的自适应
作者:
Alda S.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
object-oriented programming;
exception handling;
distributed programming;
software architecture;
distributed processing;
component-based self-adaptability;
peer-to-peer architectures;
DeEvolve;
component-based peer services;
component technology;
composition languages;
HCI;
human computer interaction;
31.
Compositional verification of middleware-based software architecture descriptions
机译:
基于中间件的软件体系结构描述的组成验证
作者:
Caporuscio M.
;
Inverardi P.
;
Pelliccione P.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software architecture;
formal verification;
middleware;
program verification;
software quality;
compositional verification;
middleware-based software architecture descriptions;
software system development;
software application;
middleware;
verification techniques;
model checking;
software life-cycle;
software quality;
assume-guarantee methodology;
32.
Controlling the complexity of software designs
机译:
控制软件设计的复杂性
作者:
Lieberherr K.J.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software metrics;
object-oriented programming;
automata theory;
software process improvement;
software design complexity;
software refactoring;
LoD;
aspect-oriented software development;
AOSD;
Law of Demeter for Concerns;
LoDC;
separation of concerns;
software processes;
language mechanisms;
automata theory;
33.
Design and implementation of distributed crosscutting features with DADO
机译:
使用DADO设计和实现分布式横切功能
作者:
Wohlstadter E.
;
Jackson S.
;
Devanbu P.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
middleware;
object-oriented programming;
distributed crosscutting features;
DADO;
nonfunctional features;
extrafunctional features;
programming languages;
distributed heterogeneous systems;
data sharing;
event sharing;
DH middleware;
type-checked interactions;
adaptlets;
34.
Design of large-scale polylingual systems
机译:
大型多语言系统设计
作者:
Grechanik M.
;
Batory D.
;
Perry D.E.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
application program interfaces;
software maintenance;
software prototyping;
software architecture;
open systems;
large-scale polylingual systems;
system design;
API;
language interoperability;
system development;
system maintenance;
system evolution;
recursive type systems;
application programming interface;
35.
Developing new approaches for software design quality improvement based on subjective evaluations
机译:
开发基于主观评估的软件设计质量改进新方法
作者:
Mantyla M.V.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software architecture;
software quality;
software maintenance;
software performance evaluation;
software design quality;
design quality improvement;
subjective evaluations;
design quality evaluations;
software lifecycle;
tool analysis;
organizational learning;
36.
DiscoTect: a system for discovering architectures from running systems
机译:
DiscoTect:一种用于从正在运行的系统中发现体系结构的系统
作者:
Hong Yan
;
Garlan D.
;
Schmerl B.
;
Aldrich J.
;
Kazman R.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software architecture;
software tools;
system monitoring;
DiscoTect;
architecture discovery;
software development;
architectural design;
abstract architectural operations;
software architecture;
37.
Dynamic configuration of resource-aware services
机译:
动态配置资源感知服务
作者:
Poladian V.
;
Sousa J.P.
;
Garlan D.
;
Shaw M.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
configuration management;
ubiquitous computing;
formal specification;
resource allocation;
dynamic configuration;
resource-aware services;
computing systems;
resource allocation;
reconfiguration decisions;
resource assignments;
user specification;
ubiquitous computing;
38.
Efficient decentralized monitoring of safety in distributed systems
机译:
分布式系统中对安全性的有效分散监控
作者:
Sen K.
;
Vardhan A.
;
Agha G.
;
Rosu G.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
distributed programming;
algorithm theory;
temporal logic;
security of data;
decentralized monitoring;
distributed system safety;
distributed systems;
distributed program;
program execution monitoring;
PT-DTL;
past time linear temporal logic;
Knowledge Vector;
DIANA tool;
39.
Efficient forward computation of dynamic slices using reduced ordered binary decision diagrams
机译:
使用缩减的有序二进制决策图进行动态切片的高效前向计算
作者:
Xiangyu Zhang
;
Gupta R.
;
Youtao Zhang
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software maintenance;
program slicing;
binary decision diagrams;
program debugging;
reduced ordered binary decision diagrams;
program statements;
program execution;
program slicing;
program variables;
LP backward computation algorithm;
dynamic slicing algorithm;
dynamic slices computation;
40.
Elaborating security requirements by construction of intentional anti-models
机译:
通过构造有意的反模型来详细说明安全性要求
作者:
van Lamsweerde A.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
formal specification;
security of data;
Internet;
bank data processing;
security requirements;
requirements engineering;
formal specification;
goal satisfaction;
formal analysis;
Web-based banking;
41.
Empirical studies on requirement management measures
机译:
需求管理措施的实证研究
作者:
Loconsole A.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
formal specification;
software metrics;
software management;
requirement management measures;
requirement stability;
requirement volatility;
requirements engineering;
empirical research;
software measurement;
42.
Evaluating object-oriented designs with link analysis
机译:
通过链接分析评估面向对象的设计
作者:
Chatzigeorgiou A.
;
Xanthos S.
;
Stephanides G.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
object-oriented programming;
eigenvalues and eigenfunctions;
matrix algebra;
search problems;
Internet;
object-oriented designs;
link analysis;
hyperlink;
topic search algorithm;
information retrieval;
World Wide Web;
message exchanging;
eigenvectors;
adjacency matrix;
43.
Evidence-based software engineering
机译:
循证软件工程
作者:
Kitchenham B.A.
;
Dyba T.
;
Jorgensen M.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
medical computing;
software engineering;
evidence-based software engineering;
evidence-based medicine;
EBM;
software engineeringskill factor;
software engineeringlifecycle factor;
EBSE;
44.
Extending the Representational State Transfer (REST) architectural style for decentralized systems
机译:
扩展分散式系统的代表性状态转移(REST)架构样式
作者:
Khare R.
;
Taylor R.N.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software architecture;
distributed programming;
Internet;
object-oriented methods;
Representational State Transfer;
REST architectural style;
decentralized systems;
notification transmission;
independent agencies;
network latency;
World Wide Web;
distributed systems;
45.
Fault localization using visualization of test information
机译:
使用测试信息可视化进行故障定位
作者:
Jones J.A.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
program visualisation;
software maintenance;
software fault tolerance;
program debugging;
software quality;
fault localization;
test information visualization;
software faults;
software debugging;
software development;
software maintenance;
46.
Feature-based decomposition of inductive proofs applied to real-time avionics software: an experience report
机译:
基于特征的归纳证明应用于实时航空电子软件的分解:一份经验报告
作者:
Vu Ha
;
Rangarajan M.
;
Cofer D.
;
Rue H.
;
Duterte B.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
avionics;
aerospace control;
safety-critical software;
real-time systems;
program verification;
formal verification;
operating systems (computers);
theorem proving;
feature-based decomposition;
inductive proofs;
real-time avionics software;
aircraft control systems;
formal verification;
formal methods;
complex software;
safety-critical software;
test-based verification;
model checking;
time partitioning property verification;
Deos real-time operating system;
embedded avionics;
theorem proving;
PVS theorem prover;
Deos scheduler analysis;
inductive proof;
time partitioning invariant;
feature-based technique;
state-transition system modeling;
inductive invariant formulation;
47.
Feature-oriented programming and the AHEAD tool suite
机译:
面向功能的编程和AHEAD工具套件
作者:
Batory D.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software tools;
object-oriented programming;
feature-oriented programming;
AHEAD tool suite;
application synthesis;
application analysis;
application optimization;
target application;
FOP technology;
declarative specifications;
48.
Finding latent code errors via machine learning over program executions
机译:
通过机器学习程序执行查找潜在的代码错误
作者:
Brun Y.
;
Ernst M.D.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
program diagnostics;
learning (artificial intelligence);
support vector machines;
decision trees;
C language;
Java;
fault diagnosis;
machine learning models;
program properties;
user-written code;
program analysis;
fault invariant classifier;
dynamic invariant detection;
support vector machine;
decision tree learning tools;
C programs;
Java programs;
fault-revealing properties;
latent code errors;
program executions;
49.
Formal concept analysis in software engineering
机译:
软件工程中的形式概念分析
作者:
Tonella P.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
reverse engineering;
program diagnostics;
program slicing;
systems analysis;
formal specification;
software engineering;
concept analysis;
concept lattice;
code restructuring;
class candidates;
dynamic analysis;
class hierarchies reengineering;
module restructuring;
design pattern inference;
impact analysis;
decomposition slicing;
systems analysis;
50.
GAMMATELLA: visualization of program-execution data for deployed software
机译:
GAMMATELLA:可视化已部署软件的程序执行数据
作者:
Orso A.
;
Jones J.A.
;
Harrold M.J.
;
Stasko J.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
program visualisation;
data visualisation;
program testing;
Java;
system monitoring;
GAMMATELLA;
data visualization;
program-execution data;
software systems;
statement level;
file level;
system level;
source code;
SeeSoft system;
treemaps;
coloring technique;
fault-localization;
data retrieval;
Java programs;
coverage tool;
data collection daemon;
program visualizer;
51.
Generating tests from counterexamples
机译:
从反例生成测试
作者:
Beyer D.
;
Chlipala A.J.
;
Henzinger T.A.
;
Jhala R.
;
Majumdar R.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
program verification;
automatic programming;
program testing;
C language;
test generation;
counterexamples;
software model checker;
BLAST;
test suite generation;
C program;
target predicate;
program locations;
program execution;
test vector generation;
52.
Getting results from search-based approaches to software engineering
机译:
从基于搜索的软件工程方法中获取结果
作者:
Harman M.
;
Wegener J.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
search problems;
software engineering;
optimising compilers;
search-based software engineering;
optimization;
search-based testing;
software development life cycle;
53.
GlueQoS: middleware to sweeten quality-of-service policy interactions
机译:
GlueQoS:中间件,以改善服务质量策略交互
作者:
Wohlstadter E.
;
Tai S.
;
Mikalsen T.
;
Rouvellou I.
;
Devanbu P.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
quality of service;
software reusability;
middleware;
object-oriented programming;
distributed object management;
GlueQoS;
middleware;
quality-of-service policy interactions;
component-based software engineering;
distributed systems;
component-based systems;
service-oriented e-business;
Web services;
peer-to-peer computing;
nonfunctional requirements;
middleware-based approach;
dynamically changing QoS requirements;
software component management;
54.
Grid small and large: distributed systems and global communities
机译:
大型和小型网格:分布式系统和全球社区
作者:
Foster I.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
grid computing;
software engineering;
distributed systems;
global communities;
collaborative problem solving;
resource sharing;
distributed virtual organizations;
multiorganizational virtual organizations;
grid environments;
software development;
software reliability;
software performance;
software security;
55.
Heuristic-based model refinement for FLAVERS
机译:
基于启发式的FLAVORS模型优化
作者:
Tan J.
;
Avrunin G.S.
;
Clarke L.A.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
program verification;
finite state machines;
constraint handling;
heuristic programming;
model refinement;
FLAVERS;
finite-state verification;
constraint selection;
task automaton constraints;
task interactions;
56.
Imposing a memory management discipline on software deployment
机译:
对软件部署施加内存管理规范
作者:
Dolstra E.
;
Visser E.
;
de Jonge M.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software engineering;
storage management;
Unix;
Java;
memory management;
software deployment;
software components;
programming languages;
language independent;
dependency verification;
Nix deployment system;
Linux packages;
software installations;
deployment hazards;
pointer hazards;
component variants identification;
57.
Improving UML design tools by formal games
机译:
通过正式游戏改进UML设计工具
作者:
Tenzer J.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
specification languages;
formal specification;
formal verification;
game theory;
software tools;
object-oriented programming;
formal games;
Unified Modeling Language;
object-oriented software;
UML design tools;
game-based tool;
formal verification;
formal specification;
formal methods;
software design;
58.
JDBC checker: a static analysis tool for SQL/JDBC applications
机译:
JDBC检查器:用于SQL / JDBC应用程序的静态分析工具
作者:
Gould C.
;
Zhendong Su
;
Devanbu P.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
Java;
SQL;
query processing;
database management systems;
program diagnostics;
JDBC checker;
static analysis tool;
SQL application;
JDBC application;
implementation code;
database query strings;
Java servlet Web service;
SQL query strings;
JDBC connector;
SQL-compliant database;
static checking;
Java type system;
type error;
selection query;
SQL runtime exception;
59.
Making resource decisions for software projects
机译:
制定软件项目的资源决策
作者:
Fenton N.
;
Marsh W.
;
Neil M.
;
Cates P.
;
Forey S.
;
Tailor M.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software development management;
decision support systems;
software metrics;
Bayes methods;
estimation theory;
public domain software;
resource decisions;
software projects;
software metrics;
managerial decision making support;
regression-based models;
cost estimation;
causal model;
Bayesian network;
empirical data;
expert judgement;
decision-support tool;
project MODIST;
causal modelling;
project management tools;
resource estimation tools;
60.
Managing commitments and risks: challenges in distributed agile development
机译:
管理承诺和风险:分布式敏捷开发中的挑战
作者:
Kontio J.
;
Hoglund M.
;
Ryden J.
;
Abrahamsson P.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software engineering;
risk management;
distributed development;
risk management;
software development;
information sharing;
agile development;
61.
Mining version histories to guide software changes
机译:
挖掘版本历史记录以指导软件更改
作者:
Zimmermann T.
;
Weibgerber P.
;
Diehl S.
;
Zeller A.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
data mining;
configuration management;
software management;
software maintenance;
program diagnostics;
version histories;
software changes;
data mining;
program analysis;
ROSE;
62.
Object-oriented reengineering patterns
机译:
面向对象的再造模式
作者:
Nierstrasz O.
;
Demeyer S.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
systems re-engineering;
software maintenance;
reverse engineering;
object-oriented programming;
object-oriented reengineering;
object-oriented development;
object-oriented systems;
legacy systems;
reengineering patterns;
reverse-engineering;
problem detection;
software redesign;
63.
Oil and water? High performance garbage collection in Java with MMTk
机译:
油和水?使用MMTk的Java中的高性能垃圾收集
作者:
Blackburn S.M.
;
Cheng P.
;
McKinley K.S.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
storage management;
Java;
C++ language;
high level languages;
software performance evaluation;
garbage collection;
Java language;
C# language;
MMTk;
memory management toolkit;
design patterns;
compiler cooperation;
software performance evaluation;
high-level languages;
systems development;
64.
One more step in the direction of modularized integration concerns
机译:
朝着模块化集成的方向迈出的又一步
作者:
Rajan H.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software architecture;
software prototyping;
software maintenance;
object-oriented programming;
modularized integration concerns;
component integration requirements;
software design;
software evolution;
software development;
65.
Parametric analysis of real-time embedded systems with abstract approximation interpretation
机译:
具有抽象近似解释的实时嵌入式系统的参数分析
作者:
Eun Young Kang
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
embedded systems;
formal verification;
formal specification;
parametric analysis;
real-time embedded systems;
abstract approximation interpretation;
formal analysis;
verification algorithm;
real-time model checking;
abstract interpretation;
state-space exploration;
66.
Polyphony in architecture
机译:
建筑中的复音
作者:
van der Raadt B.
;
Soetendal J.
;
Perdeck M.
;
van Vliet H.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software architecture;
architectural thinking;
IT;
architecture maturity;
architecture alignment;
business alignment;
67.
Precise modeling of design patterns in UML
机译:
UML中设计模式的精确建模
作者:
Mak J.K.H.
;
Choy C.S.T.
;
Lun D.P.K.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
specification languages;
object-oriented programming;
formal specification;
program verification;
computer aided software engineering;
design pattern precise modeling;
Unified Modeling Language;
object-oriented design patterns;
precise specification;
design pattern specification;
automation support;
user-defined design patterns;
CASE tools;
pattern structure specification;
specification language;
pattern structures;
over-specification problem;
Action semantics;
UML 1.5 meta-model;
UML Profile approach;
UML 2.0;
68.
Precise service level agreements
机译:
精确的服务水平协议
作者:
Skene J.
;
Davide Lamanna D.
;
Emmerich W.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
quality of service;
contracts;
XML;
specification languages;
Internet;
programming language semantics;
precise service level agreements;
SLAng;
XML language;
service level agreement definition;
Internet service;
quality attributes;
programming language semantics;
UML;
programming language model;
behavioural constraints;
OCL;
semantic description;
SLA compatibility;
69.
Requirements engineering tools go mobile
机译:
需求工程工具可以移动
作者:
Seyff N.
;
Grunbacher P.
;
Maiden N.
;
Tosar A.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
mobile computing;
notebook computers;
software tools;
computer aided software engineering;
requirements engineering;
software tools;
software engineering tools;
mobile tools;
mobile devices;
personal digital assistants;
PDA;
mobile computing;
70.
Research abstract: semantic concepts for the specification of non-functional properties of component-based software
机译:
研究摘要:语义概念,用于规范基于组件的软件的非功能属性
作者:
Zschaler S.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
specification languages;
object-oriented programming;
formal specification;
semantic concepts;
component-based software;
component-based systems;
functional specifications;
nonfunctional specifications;
nonfunctional properties;
analysis algorithms;
language definition;
71.
Responsibilities and rewards: specifying design patterns
机译:
责任与回报:指定设计模式
作者:
Soundarajan N.
;
Hallstrom J.O.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
formal specification;
object-oriented programming;
design patterns;
pattern characterization;
pattern specification;
rewards component;
pattern formalization;
72.
Revisiting statechart synthesis with an algebraic approach
机译:
用代数方法重新研究状态图综合
作者:
Ziadi T.
;
Helouet L.
;
Jezequel J.-M.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
specification languages;
formal specification;
algebraic specification;
statechart synthesis;
algebraic approach;
poor expressive power;
first generation scenario languages;
UML 1.x sequence diagrams;
ad hoc tricks;
composition operators;
UML 2.0 sequence diagrams;
algebraic framework;
statechart composition;
algebraic structure;
direct algorithm;
73.
Skoll: distributed continuous quality assurance
机译:
Skoll:分布式连续质量保证
作者:
Memon A.
;
Porter A.
;
Yilmaz C.
;
Nagarajan A.
;
Schmidt D.
;
Natarajan B.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software quality;
quality assurance;
distributed programming;
program verification;
software performance evaluation;
Skoll;
distributed continuous quality assurance;
software testing;
software profiling;
software performance evaluation;
software quality;
distributed continuous QA;
around-the-world QA process;
around-the-clock QA process;
1MLOC+ software package;
ACE+TAO;
74.
SNIAFL: towards a static non-interactive approach to feature location
机译:
SNIAFL:朝着静态的非交互式方法进行特征定位
作者:
Wei Zhao
;
Lu Zhang
;
Yin Liu
;
Jiasu Sun
;
Fuqing Yang
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software maintenance;
software prototyping;
feature extraction;
information retrieval;
SNIAFL;
static noninteractive approach;
feature location;
software maintenance;
software evolution;
dynamic approaches;
interactive approaches;
static method;
noninteractive method;
information retrieval;
source code;
static representation;
BRCG;
75.
Software architecture reconstruction
机译:
软件架构重建
作者:
van Deursen A.
;
Riva C.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software architecture;
reverse engineering;
software architecture reconstruction;
reverse engineering;
design recovery;
software systems development;
76.
Software engineering challenges in bioinformatics
机译:
生物信息学中的软件工程挑战
作者:
Barker J.
;
Thornton J.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
biology computing;
software engineering;
data analysis;
software engineering;
bioinformatics;
biological research;
data storage;
data analysis;
biological data;
data integration;
data presentation;
77.
Software engineering for large-scale multi-agent systems - SELMAS'04
机译:
大型多代理系统的软件工程-SELMAS'04
作者:
Choren R.
;
Garcia A.
;
Lucena C.
;
Griss M.
;
Kung D.
;
Minsky N.
;
Romanovsky A.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software engineering;
multi-agent systems;
Internet;
open systems;
software engineering;
multiagent systems;
Internet;
SELMAS04;
78.
Software modeling techniques and the semantic Web
机译:
软件建模技术和语义Web
作者:
Jin Song Dong
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
semantic Web;
formal specification;
formal verification;
knowledge representation;
software engineering;
software agents;
software modeling;
semantic Web;
XML;
intelligent software agents;
knowledge representation;
software engineering;
consistency checking;
79.
Software variability management
机译:
软件可变性管理
作者:
Bosch J.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software reusability;
software management;
software variability management;
software artefact;
software customization;
80.
Software visualization for object-oriented program comprehension
机译:
面向对象程序理解的软件可视化
作者:
Pacione M.J.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
object-oriented programming;
program visualisation;
software engineering;
software visualization;
software modelling;
software processes;
object-oriented software;
object-oriented program;
information extraction;
81.
Statestep: a tool for systematic, incremental specification
机译:
Statestep:系统的,增量式规范的工具
作者:
Breen M.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
formal specification;
program verification;
finite state machines;
user interfaces;
software tools;
Statestep;
systematic specification;
incremental specification;
editing specifications;
checking specifications;
finite state machine;
user interfaces;
audio CD recorders;
interactive tool;
82.
Static checking of dynamically generated queries in database applications
机译:
静态检查数据库应用程序中动态生成的查询
作者:
Gould C.
;
Su Z.
;
Devanbu P.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
program diagnostics;
query processing;
SQL;
Java;
static checking;
database querying;
database server;
Java servlet;
SQL query strings;
selection query;
program analysis;
software engineering;
83.
Statistical techniques for software engineering practice
机译:
软件工程实践的统计技术
作者:
Card D.N.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software engineering;
statistical analysis;
statistical techniques;
software engineering;
84.
Supporting reflective practitioners
机译:
支持反思型从业者
作者:
Redmiles D.
;
Nakakoji K.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software engineering;
human factors;
reflective practitioner support;
Donald Schon writing;
professional practice;
design decision;
85.
Team-based fault content estimation in the software inspection process
机译:
软件检查过程中基于团队的故障内容估计
作者:
Thelin T.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
program testing;
estimation theory;
software quality;
software fault tolerance;
team-based fault content estimation;
software inspection;
software fault detection;
software artifact;
software quality;
software product;
objective estimations;
subjective estimations;
capture-recapture;
86.
Testing object-oriented software
机译:
测试面向对象的软件
作者:
Pezze M.
;
Young M.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
program testing;
object-oriented programming;
software testing;
object-oriented software;
system testing;
acceptance testing;
87.
The CommUnity workbench
机译:
CommUnity工作台
作者:
Oliveira C.
;
Wermelinger M.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
formal specification;
software architecture;
program visualisation;
CommUnity workbench;
software architecture;
parallel program design language;
Unity programs;
Goguen categorical approach;
systems theory;
open systems;
reconfigurable systems;
graphical visualization;
textual specification;
88.
The Dublo architecture pattern for smooth migration of business information systems: an experience report
机译:
用于顺利迁移业务信息系统的Dublo架构模式:经验报告
作者:
Hasselbring W.
;
Reussner R.
;
Jaekel H.
;
Schlegelmilch J.
;
Teschke T.
;
Krieghoff S.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
business data processing;
information systems;
software architecture;
Dublo architecture pattern;
business information systems;
multitier architectures;
enterprise information systems;
legacy systems;
architectural migration;
business logic;
software architecture;
89.
The evaluation of large, complex UML analysis and design models
机译:
大型,复杂的UML分析和设计模型的评估
作者:
Berenbach B.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
specification languages;
heuristic programming;
systems analysis;
software performance evaluation;
formal verification;
large UML analysis evaluation;
complex UML analysis evaluation;
design model evaluation;
large UML models;
semantically correct UML analysis;
semantically correct UML design models;
DesignAdvisor research tool;
Siemens model analysis;
Unified Modeling Language;
90.
Theme: an approach for aspect-oriented analysis and design
机译:
主题:面向方面的分析和设计方法
作者:
Baniassad E.
;
Clarke S.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
formal specification;
object-oriented programming;
system documentation;
aspect-oriented analysis;
aspect-oriented design;
requirements documentation;
crosscutting behavior;
91.
Toward a software testing and reliability early warning metric suite
机译:
迈向软件测试和可靠性预警指标套件
作者:
Nagappan N.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software quality;
program testing;
software reliability;
software metrics;
software testing;
software reliability;
software quality;
software development;
software metrics;
product quality;
product reliability;
software processes;
empirical software engineering;
early warning metric suite;
92.
Towards safe distributed application development
机译:
致力于安全的分布式应用程序开发
作者:
Eugster P.T.
;
Damm C.H.
;
Guerraoui R.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
distributed programming;
data encapsulation;
programming languages;
Java;
safe distributed application development;
dynamic composition;
distributed components;
static safety;
type safety;
data encapsulation;
distributed interaction;
general-purpose programming language features;
distributed component interaction;
stock market application;
type-based publish/subscribe;
software library;
Java language;
TPS library;
distributed programming abstractions;
.NET;
93.
Traits: tools and methodology
机译:
特性:工具和方法
作者:
Black A.P.
;
Scharli N.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
object-oriented programming;
object-oriented languages;
inheritance;
object-oriented programming language;
inheritance hierarchy;
traits browser;
programming methodology;
94.
Tutorial: an overview of UML 2.0
机译:
教程:UML 2.0概述
作者:
Selic B.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
specification languages;
reviews;
UML 2.0;
Unified Modeling Language;
95.
Unifying artifacts and activities in a visual tool for distributed software development teams
机译:
在可视化工具中为分布式软件开发团队统一工件和活动
作者:
Froehlich J.
;
Dourish P.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
distributed programming;
program visualisation;
public domain software;
software tools;
visual tool;
distributed software development teams;
complexity management;
Augur;
visualization tool;
visual representations;
software artifacts;
open source software developers;
96.
Usability-supporting architectural patterns
机译:
可用性支持的架构模式
作者:
Bass L.
;
John B.E.
;
Juristo N.
;
Sanchez-Segura M.-I.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
software architecture;
user interfaces;
Java;
software usability;
architectural patterns;
software architecture;
user interface;
J2EE Model View Controller;
97.
Using compressed bytecode traces for slicing Java programs
机译:
使用压缩的字节码跟踪对Java程序进行切片
作者:
Tao Wang
;
Roychoudhury A.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
program slicing;
Java;
data compression;
data flow analysis;
program debugging;
compressed bytecode traces;
Java program slicing;
program debugging;
program statements;
execution trace;
dependence graph;
control flow;
data flow;
data compression;
sequential Java programs;
space savings;
representation data addresses;
memory reference bytecodes;
trace representation;
dynamic slicing algorithms;
compact traces;
program execution;
98.
Using data versioning in database application development
机译:
在数据库应用程序开发中使用数据版本控制
作者:
Chatterjee R.
;
Arun G.
;
Agarwal S.
;
Speckhard B.
;
Vasudevan R.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
database management systems;
enterprise resource planning;
customer relationship management;
program testing;
software engineering;
data versioning;
database application development;
enterprise resource planning systems;
customer relationship management systems;
software systems;
software development;
software testing;
long transaction management;
99.
Using event-based translation to support dynamic protocol evolution
机译:
使用基于事件的翻译来支持动态协议演进
作者:
Ryan N.D.
;
Wolf A.L.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
distributed programming;
program interpreters;
software prototyping;
transport protocols;
formal specification;
event-based translation;
dynamic protocol evolution;
distributed components;
protocols;
inter-component communication;
protocol syntax;
tokens;
message structures;
message sequences;
HTTP;
100.
Using simulation to empirically investigate test coverage criteria based on statechart
机译:
使用仿真基于状态图对调查覆盖率标准进行实证研究
作者:
Briand L.C.
;
Labiche Y.
;
Wang Y.
会议名称:
《Software Engineering, 2004. ICSE 2004. Proceedings》
|
2004年
关键词:
program testing;
simulation;
finite state machines;
test coverage criteria;
state machines;
simulation;
statechart-based testing;
cost detection;
fault detection;
意见反馈
回到顶部
回到首页