掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Conference on Software Engineering
International Conference on Software Engineering
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
GlueQoS: Middleware to Sweeten Quality-of-Service Policy Interactions
机译:
Glueqos:中间件,以甜蜜的服务质量政策互动
作者:
Eric Wohlstadter
;
Stefan Tai
;
Thomas Mikalsen
;
Isabelle Rouvellou
;
Premkumar Devanbu
会议名称:
《International Conference on Software Engineering》
|
2004年
2.
Grid small and large: distributed systems and global communities
机译:
网格小型和大型:分布式系统和全球社区
作者:
Foster I.
会议名称:
《International Conference on Software Engineering》
|
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;
3.
An Empirical Comparison of Dynamic Impact Analysis Algorithms
机译:
动态影响分析算法的经验比较
作者:
Alessandro Orso
;
Taweesup Apiwattanapong
;
James Law
;
Gregg Rothermel
;
Mary Jean Harrold
会议名称:
《International Conference on Software Engineering》
|
2004年
4.
Verifying DAML+OIL and beyond in Z/EVES
机译:
验证Daml +油及以外的Z / EVES
作者:
Jing Song Dong
;
Chew Hung Lee
;
Yuan Fang Li
;
Hai Wang
会议名称:
《International Conference on Software Engineering》
|
2004年
关键词:
semantic Web;
specification languages;
formal languages;
formal specification;
programming language semantics;
DAML+OIL verification;
Z/EVES;
remote intelligent agents;
ontology languages;
reasoning tools;
verification tools;
software modeling languages;
software modeling tools;
Z language;
formal modeling language;
software system specification;
proof tool;
Z semantics;
ontology language;
semantic model;
Z section daml2zin;
Web ontology verification;
ontology documents;
Z code transformation;
military plan ontologies;
reasoning tasks;
semantic Web modeling;
semantic Web reasoning;
5.
Software Modeling Techniques and the Semantic Web
机译:
软件建模技术和语义网络
作者:
Jin Song Dong
会议名称:
《International Conference on Software Engineering》
|
2004年
6.
Software visualization for object-oriented program comprehension
机译:
面向对象程序理解的软件可视化
作者:
Pacione M.J.
会议名称:
《International Conference on Software Engineering》
|
2004年
关键词:
object-oriented programming;
program visualisation;
software engineering;
software visualization;
software modelling;
software processes;
object-oriented software;
object-oriented program;
information extraction;
7.
DMS: Program Transformations for Practical Scalable Software Evolution
机译:
DMS:用于实际可扩展软件演进的程序转换
作者:
Ira D. Baxter
;
Christopher Pidgeon
;
Michael Mehlich
会议名称:
《International Conference on Software Engineering》
|
2004年
8.
Workshop on Directions in Software Engineering Environments (WoDiSEE)
机译:
软件工程环境中的方向研讨会(WODISEE)
作者:
John Grundy
;
Ray Welland
;
Hermann Stoeckle
会议名称:
《International Conference on Software Engineering》
|
2004年
9.
A Flexible Software Process Model
机译:
灵活的软件过程模型
作者:
Diana Kirk
会议名称:
《International Conference on Software Engineering》
|
2004年
10.
Toward a software testing and reliability early warning metric suite
机译:
朝着软件测试和可靠性预警度量套件
作者:
Nagappan N.
会议名称:
《International Conference on Software Engineering》
|
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;
11.
Formal Concept Analysis in Software Engineering
机译:
软件工程中的正式概念分析
作者:
Paolo Tonella
会议名称:
《International Conference on Software Engineering》
|
2004年
12.
JDBC checker: a static analysis tool for SQL/JDBC applications
机译:
JDBC检查器:用于SQL / JDBC应用程序的静态分析工具
作者:
Gould C.
;
Zhendong Su
;
Devanbu P.
会议名称:
《International Conference on Software Engineering》
|
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;
13.
Assumed-guarantee Verification of Source Code with Design-Level Assumptions
机译:
假设 - 保证源代码验证设计级别假设
作者:
Dimitra Giannakopoulou
;
Corina S. Pasareanu
;
Jamieson M. Cobleigh
会议名称:
《International Conference on Software Engineering》
|
2004年
14.
Requirements engineering tools go mobile
机译:
要求工程工具GO MOBILE
作者:
Seyff N.
;
Grunbacher P.
;
Maiden N.
;
Tosar A.
会议名称:
《International Conference on Software Engineering》
|
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;
15.
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.
会议名称:
《International Conference on Software Engineering》
|
2004年
关键词:
software engineering;
multi-agent systems;
Internet;
open systems;
software engineering;
multiagent systems;
Internet;
SELMAS04;
16.
Getting results from search-based approaches to software engineering
机译:
从基于搜索的软件工程方法获取结果
作者:
Harman M.
;
Wegener J.
会议名称:
《International Conference on Software Engineering》
|
2004年
关键词:
search problems;
software engineering;
optimising compilers;
search-based software engineering;
optimization;
search-based testing;
software development life cycle;
17.
An empirical comparison of dynamic impact analysis algorithms
机译:
动态影响分析算法的经验比较
作者:
Orso A.
;
Apiwattanapong T.
;
Law J.
;
Rothermel G.
;
Harrold M.J.
会议名称:
《International Conference on Software Engineering》
|
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;
18.
Software Architecture Reconstruction
机译:
软件架构重建
作者:
Arie van Deursen
;
Claudio Riva
会议名称:
《International Conference on Software Engineering》
|
2004年
19.
The 3rd International Workshop on Global Software Development
机译:
全球软件开发的第三届国际研讨会
作者:
Daniela Damian
;
Filippo Lanubile
会议名称:
《International Conference on Software Engineering》
|
2004年
20.
Team-based fault content estimation in the software inspection process
机译:
软件检测过程中基于团队的故障内容估算
作者:
Thelin T.
会议名称:
《International Conference on Software Engineering》
|
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;
21.
Mining version histories to guide software changes
机译:
挖掘版本历史指导软件更改
作者:
Zimmermann T.
;
Weibgerber P.
;
Diehl S.
;
Zeller A.
会议名称:
《International Conference on Software Engineering》
|
2004年
关键词:
data mining;
configuration management;
software management;
software maintenance;
program diagnostics;
version histories;
software changes;
data mining;
program analysis;
ROSE;
22.
Comparison of software product line architecture design methods: COPA, FAST, FORM, KobrA and QADA
机译:
软件产品线架构设计方法的比较:COPA,FAST,FORM,KOBRA和QADA
作者:
Matinlassi M.
会议名称:
《International Conference on Software Engineering》
|
2004年
关键词:
software architecture;
software standards;
software product line;
architecture design;
product line architectures;
COPA;
FAST;
FORM;
KobrA;
QADA;
software standards;
software engineering;
23.
Making resource decisions for software projects
机译:
为软件项目进行资源决策
作者:
Fenton N.
;
Marsh W.
;
Neil M.
;
Cates P.
;
Forey S.
;
Tailor M.
会议名称:
《International Conference on Software Engineering》
|
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;
24.
Workshop on Software Engineering for High Performance Computing System (HPCS) Applications
机译:
高性能计算系统(HPCS)应用软件工程研讨会
作者:
Philip Johnson
会议名称:
《International Conference on Software Engineering》
|
2004年
25.
Parametric analysis of real-time embedded systems with abstract approximation interpretation
机译:
具有抽象近似解释的实时嵌入式系统的参数分析
作者:
Eun Young Kang
会议名称:
《International Conference on Software Engineering》
|
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;
26.
Architectures and Technologies for Enterprise Application Integration
机译:
企业应用集成的架构和技术
作者:
Ian Gorton
;
Anna Liu
会议名称:
《International Conference on Software Engineering》
|
2004年
27.
Polyphony in architecture
机译:
在建筑中的多骨
作者:
van der Raadt B.
;
Soetendal J.
;
Perdeck M.
;
van Vliet H.
会议名称:
《International Conference on Software Engineering》
|
2004年
关键词:
software architecture;
architectural thinking;
IT;
architecture maturity;
architecture alignment;
business alignment;
28.
An open framework for dynamic reconfiguration
机译:
用于动态重新配置的开放框架
作者:
Hillman J.
;
Warren I.
会议名称:
《International Conference on Software Engineering》
|
2004年
关键词:
software maintenance;
configuration management;
management of change;
dynamic reconfiguration;
reconfiguration algorithm;
OpenRec;
comparative analysis;
change management;
run-time change;
29.
Testing object-oriented software
机译:
测试面向对象的软件
作者:
Pezze M.
;
Young M.
会议名称:
《International Conference on Software Engineering》
|
2004年
关键词:
program testing;
object-oriented programming;
software testing;
object-oriented software;
system testing;
acceptance testing;
30.
Elaborating security requirements by construction of intentional anti-models
机译:
通过建造故意反模型来阐述安全要求
作者:
van Lamsweerde A.
会议名称:
《International Conference on Software Engineering》
|
2004年
关键词:
formal specification;
security of data;
Internet;
bank data processing;
security requirements;
requirements engineering;
formal specification;
goal satisfaction;
formal analysis;
Web-based banking;
31.
Empirical Studies on Requirement Management Measures
机译:
要求管理措施的实证研究
作者:
Annabella Loconsole
会议名称:
《International Conference on Software Engineering》
|
2004年
32.
Themes An Approach for Aspect-Oriented Analysis and Design
机译:
主题面向方面的分析和设计方法
作者:
Elisa Baniassad
;
Siobhan Clarke
会议名称:
《International Conference on Software Engineering》
|
2004年
33.
Verifying DAML+OIL and Beyond in Z/EVES
机译:
验证Daml +油及以外的Z / EVES
作者:
Jin Song Dong
;
Chew Hung Lee
;
Yuan Fang Li
;
Hai Wang
会议名称:
《International Conference on Software Engineering》
|
2004年
34.
Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision
机译:
使用降低的有序二进制决策有效地向正常计算动态切片
作者:
Xiangyu Zhang
;
Rajiv Gupta
;
Youtao Zhang
会议名称:
《International Conference on Software Engineering》
|
2004年
35.
Bridging the Gaps II; Bridging the Gaps Between Software Engineering and Human-Computer Interaction
机译:
弥合差距II;弥合软件工程与人机互动之间的差距
作者:
Rick Kazman
;
Len Bass
;
Bonnie John
会议名称:
《International Conference on Software Engineering》
|
2004年
36.
Software Visualisation for Object-Oriented Program Comprehension
机译:
面向对象程序理解的软件可视化
作者:
Michael J. Pacione
会议名称:
《International Conference on Software Engineering》
|
2004年
37.
Compositional verification of middleware-based software architecture descriptions
机译:
基于中间件的软件架构描述的组成验证
作者:
Caporuscio M.
;
Inverardi P.
;
Pelliccione P.
会议名称:
《International Conference on Software Engineering》
|
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;
38.
Controlling the Complexity of Software Designs
机译:
控制软件设计的复杂性
作者:
Karl J. Lieberherr
会议名称:
《International Conference on Software Engineering》
|
2004年
39.
Breaking the Ice for Agile Development of Embedded Software: An Industry Experience Report
机译:
打破冰川融合软件的冰:行业经验报告
作者:
Peter Manhart
;
Kurt Schneider
会议名称:
《International Conference on Software Engineering》
|
2004年
40.
Design and implementation of distributed crosscutting features with DADO
机译:
DADO分布式横切特征的设计与实现
作者:
Wohlstadter E.
;
Jackson S.
;
Devanbu P.
会议名称:
《International Conference on Software Engineering》
|
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;
41.
Behavior Capture and Test for Verifying Evolving Component-Based Systems
机译:
用于验证不断发展的基于组件的系统的行为捕获和测试
作者:
Leonardo Mariani
会议名称:
《International Conference on Software Engineering》
|
2004年
42.
Efficient forward computation of dynamic slices using reduced ordered binary decision diagrams
机译:
使用减少的订购二进制决策图高效前进计算动态切片
作者:
Xiangyu Zhang
;
Gupta R.
;
Youtao Zhang
会议名称:
《International Conference on Software Engineering》
|
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;
43.
Getting Results from Search-Based Approaches to Software Engineering
机译:
从基于搜索的软件工程方法获取结果
作者:
Mark Harman
;
Joachim Wegener
会议名称:
《International Conference on Software Engineering》
|
2004年
44.
An Open Framework for Dynamic Reconfiguration
机译:
用于动态重新配置的开放框架
作者:
Jamie Hillman
;
Ian Warren
会议名称:
《International Conference on Software Engineering》
|
2004年
45.
Testing object-oriented software
机译:
测试面向对象的软件
作者:
Pezze M.
;
Young M.
会议名称:
《International Conference on Software Engineering》
|
2004年
关键词:
program testing;
object-oriented programming;
software testing;
object-oriented software;
system testing;
acceptance testing;
46.
Heuristic-based model refinement for FLAVERS
机译:
味道的启发式模型细化
作者:
Jianbin Tan
;
George S. Avrunin
;
Lori A. Clarke
会议名称:
《International Conference on Software Engineering》
|
2004年
47.
Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report
机译:
基于特征的归纳证明分解应用于实时航空电子软件:经验报告
作者:
Vu Ha
;
Murali Rangarajan
;
Darren Gofer
;
Harald Ruess
;
Bruno Dutertre
会议名称:
《International Conference on Software Engineering》
|
2004年
48.
Testing Object Oriented Software
机译:
测试面向对象的软件
作者:
Mauro Pezze
;
Michal Young
会议名称:
《International Conference on Software Engineering》
|
2004年
49.
Automated Generation of Test Programs From Closed Specifications of Classes and Test Cases
机译:
从封闭规范的类和测试用例自动生成测试程序
作者:
Wee Kheng Leow
;
Siau Cheng Khoo
;
Yi Sun
会议名称:
《International Conference on Software Engineering》
|
2004年
50.
Generating tests from counterexamples
机译:
从Conterexamples生成测试
作者:
Beyer D.
;
Chlipala A.J.
;
Majumdar R.
会议名称:
《International Conference on Software Engineering》
|
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;
51.
A Hybrid Architectural Style for Distributed Parallel Processing of Generic Date Streams
机译:
用于通用日期流的分布式并行处理的混合架构风格
作者:
Alexandra R. J. Francis
会议名称:
《International Conference on Software Engineering》
|
2004年
52.
A tool for writing and debugging algebraic specifications
机译:
用于写作和调试代数规格的工具
作者:
Henkel J.
;
Diwan A.
会议名称:
《International Conference on Software Engineering》
|
2004年
关键词:
software tools;
algebraic specification;
Java;
program debugging;
algebraic specification writing tool;
algebraic specification debugging tool;
formal specifications;
software tool;
Java class;
53.
SNIAFL: towards a static non-interactive approach to feature location
机译:
SNIAFL:朝着特征位置的静态非交互式方法
作者:
Wei Zhao
;
Lu Zhang
;
Yin Liu
;
Jiasu Sun
;
Fuqing Yang
会议名称:
《International Conference on Software Engineering》
|
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;
54.
DMS/spl reg/: program transformations for practical scalable software evolution
机译:
DMS / SPL REG /:用于实际可扩展软件演进的程序转换
作者:
Baxter I.D.
;
Pidgeon C.
;
Mehlich M.
会议名称:
《International Conference on Software Engineering》
|
2004年
关键词:
software maintenance;
program diagnostics;
knowledge acquisition;
software prototyping;
systems re-engineering;
DMS/spl reg/;
program transformations;
software evolution;
program analysis;
space management;
knowledge acquisition;
software reengineering;
design maintenance;
55.
Oil and water? High performance garbage collection in Java with MMTk
机译:
油和水? Java的高性能垃圾收集与MMTK
作者:
Blackburn S.M.
;
Cheng P.
;
McKinley K.S.
会议名称:
《International Conference on Software Engineering》
|
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;
56.
Elaborating Security Requirements by Construction of Intentional Anti-Models
机译:
通过建造故意反模型来阐述安全要求
作者:
Axel van Lamsweerde
会议名称:
《International Conference on Software Engineering》
|
2004年
57.
4th International Workshop on Adoption-Centric Software Engineering
机译:
第四届国际软件工程研讨会
作者:
Bob Balzer
;
Marin Litoiu
;
Hausi Muller
;
Dennis Smith
;
Margaret-Anne Storey
;
Scott Tilley
;
Kenny Wong
会议名称:
《International Conference on Software Engineering》
|
2004年
关键词:
Adoption-centric;
COTS;
Middleware;
Software engineering;
Tools;
58.
Static checking of dynamically generated queries in database applications
机译:
在数据库应用程序中动态生成查询的静态检查
作者:
Gould C.
;
Su Z.
;
Devanbu P.
会议名称:
《International Conference on Software Engineering》
|
2004年
关键词:
program diagnostics;
query processing;
SQL;
Java;
static checking;
database querying;
database server;
Java servlet;
SQL query strings;
selection query;
program analysis;
software engineering;
59.
Visual Timed Event Scenarios
机译:
视觉定时事件方案
作者:
A. Alfonso
;
V. Braberman
;
N. Kicillof
;
A. Olivero
会议名称:
《International Conference on Software Engineering》
|
2004年
60.
Research Abstract: Semantic Concepts for the Specification of Non-functional Properties of Component-Based Software
机译:
研究摘要:基于组件软件的非功能性质规范的语义概念
作者:
Steffen Zschaler
会议名称:
《International Conference on Software Engineering》
|
2004年
61.
A flexible software process model
机译:
灵活的软件过程模型
作者:
Kirk D.
会议名称:
《International Conference on Software Engineering》
|
2004年
关键词:
software process improvement;
software development management;
digital simulation;
decision making;
software process modelling;
software product development;
software process simulation;
management decision making;
62.
A hybrid architectural style for distributed parallel processing of generic data streams
机译:
一种用于通用数据流的分布式并行处理的混合架构风格
作者:
Francois A.R.J.
会议名称:
《International Conference on Software Engineering》
|
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;
63.
Collaboration, Conflict and Control: The 4th Workshop on Open Source Software Engineering
机译:
协作,冲突与控制:开源软件工程的第四次研讨会
作者:
Joseph Feller
;
Brian Fitzgerald
;
Scott Hissam
;
Karim Lakhani
会议名称:
《International Conference on Software Engineering》
|
2004年
64.
A constraint architectural description approach to self-organising component-based software systems
机译:
基于自组织组件的软件系统的约束架构描述方法
作者:
Waewsawangwong P.
会议名称:
《International Conference on Software Engineering》
|
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;
65.
Toward a Software Testing and Reliability Early Warning Metric Suite
机译:
朝着软件测试和可靠性预警度量套件
作者:
Nachiappan Nagappan
会议名称:
《International Conference on Software Engineering》
|
2004年
66.
Calculating architectural reliability via modeling and analysis
机译:
通过建模和分析计算架构可靠性
作者:
Roshandel R.
会议名称:
《International Conference on Software Engineering》
|
2004年
关键词:
systems analysis;
software architecture;
software reliability;
modelling;
stochastic processes;
architectural reliability;
software architecture;
system reliability;
stochastic processes;
systems analysis;
67.
Oil and Water? High Performance Garbage Collection in Java with MMTk
机译:
油和水? Java的高性能垃圾收集与MMTK
作者:
Stephen M Blackburn
;
Perry Cheng
;
Kathryn S McKinley
会议名称:
《International Conference on Software Engineering》
|
2004年
68.
Revisiting Statechart Synthesis with an Algebraic Approach
机译:
用代数方法重新审视StateChart合成
作者:
Tewfik Ziadi
;
Loic Helouet
;
Jean-Marc Jezequel
会议名称:
《International Conference on Software Engineering》
|
2004年
69.
GAMMATELLA: visualization of program-execution data for deployed software
机译:
Gammatella:部署软件的程序执行数据的可视化
作者:
Orso A.
;
Jones J.A.
;
Harrold M.J.
;
Stasko J.
会议名称:
《International Conference on Software Engineering》
|
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;
70.
SNIAFL: Towards a Static Non-Interactive Approach to Feature Location
机译:
SNIAFL:朝着特征位置的静态非交互式方法
作者:
Wei Zhao
;
Lu Zhang
;
Yin Liu
;
Jiasu Sun
;
Fuqing Yang
会议名称:
《International Conference on Software Engineering》
|
2004年
71.
Research abstract: semantic concepts for the specification of non-functional properties of component-based software
机译:
研究摘要:基于组件软件的非功能性质规范的语义概念
作者:
Zschaler S.
会议名称:
《International Conference on Software Engineering》
|
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;
72.
Developing New Approaches for Software Design Quality Improvement Based on Subjective Evaluations
机译:
基于主观评估的软件设计质量改进开发新方法
作者:
Mika V. Mantyla
会议名称:
《International Conference on Software Engineering》
|
2004年
73.
/spl chi/-SCTL/MUS: a formal methodology to evolve multi-perspective software requirements specifications
机译:
/ spl chi / -sctl / mus:一种正式的方法,可以发展多视角软件要求规格
作者:
Barragans Martinez A.B.
;
Pazos Arias J.J.
会议名称:
《International Conference on Software Engineering》
|
2004年
关键词:
formal specification;
software prototyping;
/spl chi/-SCTL/MUS;
software development;
requirements refinement;
specification evolution;
formal methodology;
multi-perspective software requirements specifications;
74.
Tutorials An Overview of UML 2.0
机译:
教程概述UML 2.0
作者:
Bran Selic
会议名称:
《International Conference on Software Engineering》
|
2004年
75.
Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'04
机译:
大型多功能系统软件工程 - Selmas'04
作者:
Ricardo Choren
;
Alessandro Garcia
;
Carlos Lucena
;
Martin Griss
;
David Kung
;
Naftaly Musky
;
Alexander Romanovsky
会议名称:
《International Conference on Software Engineering》
|
2004年
76.
Statestep: A Tool for Systematic, Incremental Specification
机译:
starestep:系统,增量规格的工具
作者:
Michael Breen
会议名称:
《International Conference on Software Engineering》
|
2004年
77.
Finding latent code errors via machine learning over program executions
机译:
通过机器学习通过程序执行来查找潜在代码错误
作者:
Yuriy Brun
;
Michael D. Ernst
会议名称:
《International Conference on Software Engineering》
|
2004年
78.
Traits: tools and methodology
机译:
特征:工具和方法
作者:
Black A.P.
;
Scharli N.
会议名称:
《International Conference on Software Engineering》
|
2004年
关键词:
object-oriented programming;
object-oriented languages;
inheritance;
object-oriented programming language;
inheritance hierarchy;
traits browser;
programming methodology;
79.
Efficient Decentralized Monitoring of Safety in Distributed Systems
机译:
高效分散系统安全监控
作者:
Koushik Sen
;
Abhay Vardhan
;
Gul Agha
;
Grigore Rosu
会议名称:
《International Conference on Software Engineering》
|
2004年
80.
Extending the Representational State Transfer (REST) architectural style for decentralized systems
机译:
扩展分散系统的代表状态转移(REST)架构风格
作者:
Khare R.
;
Taylor R.N.
会议名称:
《International Conference on Software Engineering》
|
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;
81.
Precise Modeling of Design Patterns in UML
机译:
UML中设计模式的精确建模
作者:
Jeffrey K. H. Mak
;
Clifford S. T. Choy
;
Daniel P. K. Lun
会议名称:
《International Conference on Software Engineering》
|
2004年
82.
Design of Large-Scale Polylingual Systems
机译:
大规模折叠系统设计
作者:
Mark Grechanik
;
Don Batory
;
Dewayne E. Perry
会议名称:
《International Conference on Software Engineering》
|
2004年
83.
Using Compressed Bytecode Traces for Slicing Java Programs
机译:
使用压缩虚拟码跟踪来切割Java程序
作者:
Tao Wang
;
Abhik Roychoudhury
会议名称:
《International Conference on Software Engineering》
|
2004年
84.
JDBC checker: a static analysis tool for SQL/JDBC applications
机译:
JDBC检查器:用于SQL / JDBC应用程序的静态分析工具
作者:
Gould C.
;
Zhendong Su
;
Devanbu P.
会议名称:
《International Conference on Software Engineering》
|
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;
85.
Object-Oriented Reengineering Patterns
机译:
面向对象的再造模式
作者:
Oscar Nierstrasz
;
Serge Demeyer
会议名称:
《International Conference on Software Engineering》
|
2004年
86.
Skoll: Distributed Continuous Quality Assurance
机译:
Skoll:分布式连续质量保证
作者:
A. Memon
;
A. Porter
;
C. Yilmaz
;
A. Nagarajan
;
D. Schmidt
;
B. Natarajan
会议名称:
《International Conference on Software Engineering》
|
2004年
87.
Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart
机译:
基于StateChart使用模拟来验证调查测试覆盖标准
作者:
L. C. Briand
;
Y. Labiche
;
Y. Wang
会议名称:
《International Conference on Software Engineering》
|
2004年
88.
Models and Processes for the Evaluation of COTS Components
机译:
COTS组件评估的模型和过程
作者:
Eric Dubois
;
Xavier Franch
会议名称:
《International Conference on Software Engineering》
|
2004年
89.
Static Checking of Dynamically Generated Queries in Database Applications
机译:
在数据库应用程序中动态生成查询的静态检查
作者:
Carl Gould
;
Zhendong Su
;
Premkumar Devanbu
会议名称:
《International Conference on Software Engineering》
|
2004年
90.
MSR 2004 International Workshop on Mining Software Repositories
机译:
MSR 2004矿业软件存储库国际研讨会
作者:
Ahmed E. Hassan
;
Richard C. Holt
;
Audris Mockus
会议名称:
《International Conference on Software Engineering》
|
2004年
91.
Empirical studies on requirement management measures
机译:
要求管理措施的实证研究
作者:
Loconsole A.
会议名称:
《International Conference on Software Engineering》
|
2004年
关键词:
formal specification;
software metrics;
software management;
requirement management measures;
requirement stability;
requirement volatility;
requirements engineering;
empirical research;
software measurement;
92.
Imposing a memory management discipline on software deployment
机译:
对软件部署实施内存管理学科
作者:
Dolstra E.
;
Visser E.
;
de Jonge M.
会议名称:
《International Conference on Software Engineering》
|
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;
93.
Adding High Availability and Autonomic Behavior to Web Services
机译:
向Web服务添加高可用性和自主行为
作者:
Ken Birman
;
Robbert van Renesse
;
Werner Vogels
会议名称:
《International Conference on Software Engineering》
|
2004年
94.
Software engineering challenges in bioinformatics
机译:
生物信息学的软件工程挑战
作者:
Jonathan Barker
;
Janet Thornton
会议名称:
《International Conference on Software Engineering》
|
2004年
95.
Making Resource Decisions for Software Projects
机译:
为软件项目进行资源决策
作者:
Norman Fenton
;
William Marsh
;
Martin Neil
;
Patrick Cates
;
Simon Forey
;
Manesh Tailor
会议名称:
《International Conference on Software Engineering》
|
2004年
96.
Team-based Fault Content Estimation in the Software Inspection Process
机译:
软件检测过程中基于团队的故障内容估算
作者:
Thomas Thelin
会议名称:
《International Conference on Software Engineering》
|
2004年
关键词:
Capture-recapture;
Subjective estimation;
Software inspection;
97.
Usability-supporting Architectural Patterns
机译:
可用性支持的架构模式
作者:
Len Bass
;
Bonnie E. John
;
Natalia Juristo
;
Maria-Isabel
;
Sanchez-Segura
会议名称:
《International Conference on Software Engineering》
|
2004年
98.
A Model Driven Approach for Software Systems Reliability
机译:
一种用于软件系统可靠性的模型驱动方法
作者:
Genaina Nunes Rodrigues
会议名称:
《International Conference on Software Engineering》
|
2004年
99.
Usability-supporting architectural patterns
机译:
可用性支持的架构模式
作者:
Bass L.
;
John B.E.
;
Juristo N.
;
Sanchez-Segura M.-I.
会议名称:
《International Conference on Software Engineering》
|
2004年
关键词:
software architecture;
user interfaces;
Java;
software usability;
architectural patterns;
software architecture;
user interface;
J2EE Model View Controller;
100.
DMS/spl reg/: program transformations for practical scalable software evolution
机译:
DMS / SPL REG /:用于实际可扩展软件演进的程序转换
作者:
Baxter I.D.
;
Pidgeon C.
;
Mehlich M.
会议名称:
《International Conference on Software Engineering》
|
2004年
关键词:
software maintenance;
program diagnostics;
knowledge acquisition;
software prototyping;
systems re-engineering;
DMS/spl reg/;
program transformations;
software evolution;
program analysis;
space management;
knowledge acquisition;
software reengineering;
design maintenance;
意见反馈
回到顶部
回到首页