掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International conference on Software engineering
International conference on Software engineering
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Estimating software fault-proneness for tuning testing activities
机译:
估计软件故障倾向以调整测试活动
作者:
Giovanni Denaro
会议名称:
《International conference on Software engineering》
|
2000年
2.
Inference of message sequence charts
机译:
消息顺序图的推断
作者:
Rajeev Alur
;
Kousha Etessami
;
Mihalis Yannakakis
;
PKousha Etessami
;
PMihalis Yannakakis
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
synthesis;
3.
Generating statechart designs from scenarios
机译:
从场景中生成状态图设计
作者:
Jon Whittle
;
Johann Schumann
;
PJon Whittle
;
PJohann Schumann
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
scenarios;
4.
Supporting dynamic distributed work processes with a component and event based approach
机译:
通过基于组件和事件的方法支持动态分布式工作流程
作者:
Peter J. Kammer
会议名称:
《International conference on Software engineering》
|
2000年
5.
Action Language
机译:
动作语言
作者:
Tevfik Bultan
;
PTevfik Bultan
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
specification languages;
6.
Object model resurrection --- an object oriented maintenance activity
机译:
对象模型的复活---面向对象的维护活动
作者:
Gokul V. Subramaniam
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
process models;
7.
Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems
机译:
无限状态实时系统ASTRAL符号模型检查的三种近似技术
作者:
Zhe Dang
;
Richard A. Kemmerer
;
PZhe Dang
;
PRichard A. Kemmerer
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
timing requirements;
8.
Component design of retargetable program analysis tools that reuse intermediate representations
机译:
重用中间表示的可重定位程序分析工具的组件设计
作者:
James Hayes
;
William G. Griswold
;
Stuart Moskovics
会议名称:
《》
|
2000年
关键词:
software tools;
9.
Light-weight context recovery for efficient and accurate program analyses
机译:
轻量级上下文恢复,可进行高效,准确的程序分析
作者:
Donglin Liang
;
Mary Jean Harrold
;
PMary Jean Harrold
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
slicing;
10.
Implementing incremental code migration with XML
机译:
使用XML实现增量代码迁移
作者:
Wolfgang Emmerich
;
Cecilia Mascolo
;
Anthony Finkelstein
;
PWolfgang Emmerich
;
PCecilia Mascolo
;
PAnthony Finkelstein
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
incremental code migration;
11.
European experiences with software process improvement
机译:
欧洲在软件流程改进方面的经验
作者:
Fran OHara
;
Fran OHara
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
software process improvement;
12.
A replicated assessment and comparison of common software cost modeling techniques
机译:
通用软件成本建模技术的重复评估和比较
作者:
Lionel C. Briand
;
Tristen Langley
;
Isabella Wieczorek
;
PLionel C. Briand
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
replication;
13.
Characterization of risky projects based on project managers' evaluation
机译:
基于项目经理的评估来表征风险项目
作者:
Osamu Mizuno
;
Tohru Kikuno
;
Yasunari Takagi
;
Keishi Sakamoto
;
PTohru Kikuno
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
software risk management;
14.
Principled design of the modern Web architecture
机译:
现代Web架构的原理设计
作者:
Roy T. Fielding
;
Richard N. Taylor
;
PRichard N. Taylor
会议名称:
《》
|
2000年
关键词:
software architecture;
15.
A study on exception detection and handling using aspect-oriented programming
机译:
面向方面编程的异常检测与处理研究
作者:
Martin Lippert
;
Cristina Videira Lopes
;
PMartin Lippert
;
PCristina Videira Lopes
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
exceptions;
16.
Bandera
机译:
旗
作者:
James C. Corbett
;
Matthew B. Dwyer
;
John Hatcliff
;
Shawn Laubach
;
Corina S. Pasareanu
;
Robby
;
Hongjun Zheng
;
PJames C. Corbett
;
PJohn Hatcliff
;
PRobby
;
PHongjun Zheng
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
slicing;
17.
A case study in root cause defect analysis
机译:
根本原因缺陷分析的案例研究
作者:
Marek Leszak
;
Dewayne E. Perry
;
Dieter Stoll
;
PMarek Leszak
;
PDewayne E. Perry
;
PDieter Stoll
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
root cause analyis;
18.
Quickly detecting relevant program invariants
机译:
快速检测相关程序不变式
作者:
Michael D. Ernst
;
Adam Czeisler
;
William G. Griswold
;
David Notkin
;
PMichael D. Ernst
;
PDavid Notkin
会议名称:
《International conference on Software engineering》
|
2000年
19.
Grow fast, grow global
机译:
快速成长,全球成长
作者:
Barry Murphy
会议名称:
《International conference on Software engineering》
|
2000年
20.
Object-oriented inspection in the face of delocalisation
机译:
面对本地化的面向对象检查
作者:
Alastair Dunsmore
;
Marc Roper
;
Murray Wood
;
PMarc Roper
;
PMurray Wood
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
object-oriented;
21.
Verification of time partitioning in the DEOS scheduler kernel
机译:
验证DEOS调度程序内核中的时间分区
作者:
John Penix
;
Willem Visser
;
Eric Engstrom
;
Aaron Larson
;
Nicholas Weininger
;
PJohn Penix
;
PWillem Visser
会议名称:
《International conference on Software engineering》
|
2000年
22.
An inheritance-based technique for building simulation proofs incrementally
机译:
基于继承的技术,用于逐步构建模拟证明
作者:
Idit Keidar
;
Roger Khazan
;
Nancy Lynch
;
Alex Shvartsman
;
PIdit Keidar
;
PRoger Khazan
;
PNancy Lynch
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
system modeling/verification;
23.
Graphical animation of behavior models
机译:
行为模型的图形动画
作者:
Jeff Magee
;
Nat Pryce
;
Dimitra Giannakopoulou
;
Jeff Kramer
;
PJeff Magee
;
PNat Pryce
;
PDimitra Giannakopoulou
;
PJeff Kramer
会议名称:
《》
|
2000年
关键词:
labeled transition system;
24.
Towards the principled design of software engineering diagrams
机译:
走向软件工程图的原则性设计
作者:
Corin Gurr
;
Konstantinos Tourlas
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
software diagrams;
25.
From MCC and CMM
机译:
来自MCC和CMM
作者:
Bill Curtis
;
PBill Curtis
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
technology transfer;
26.
Fraunhofer
机译:
弗劳恩霍夫
作者:
Dieter Rombach
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
technology transfer;
27.
Software development engineer in Microsoft
机译:
微软软件开发工程师
作者:
Martin Orsted
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
software development engineer;
28.
Software needs engineering
机译:
软件需求工程
作者:
Jane B. Grimson
;
Hans-Jurgen Kugler
;
PJane B. Grimson
;
PHans-Jurgen Kugler
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
software;
29.
Is software education narrow-minded?
机译:
软件教育思想狭窄吗?
作者:
Peter Morrogh
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
software testing;
30.
An approach to architectural analysis of product lines
机译:
产品线架构分析的一种方法
作者:
Gerald C. Gannod
;
Robyn R. Lutz
;
PRobyn R. Lutz
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
software archtecture;
31.
Software process improvement by object technology (ESSI PIE 27785 --- SPOT)
机译:
通过对象技术改进软件过程(ESSI PIE 27785 --- SPOT)
作者:
Antonio Calio
;
Massimo Autiero
;
Giuseppe Bux
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
unified modelling language UML;
32.
Daily build and feature development in large distributed projects
机译:
大型分布式项目的日常构建和功能开发
作者:
Even-Andre Karlsson
;
Lars-Goran Andersson
;
Per Leion
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
integrated product teams;
33.
Component-based software engineering and the issue of trust
机译:
基于组件的软件工程与信任问题
作者:
Bill Councill
;
Janet S. Flynt
;
Alok Mehta
;
John R. Speed
;
Mary Shaw
;
George T. Heineman
;
PJohn R. Speed
;
PMary Shaw
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
trusted component;
34.
Shortages of qualified software engineering faculty and practitioners (panel session)
机译:
合格的软件工程教师和从业人员的短缺(小组会议)
作者:
Gunther Ruhe
;
Donald J. Bagert
;
Helen Edwards
;
Michael Ryan
;
Nancy R. Mead
;
PHossein Saiedian
;
PGunther Ruhe
;
PDonald J. Bagert
;
PHelen Edwards
;
PMichael Ryan
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
software engineering education;
35.
Can quality graduate software engineering courses really be delivered asynchronously on-line?
机译:
高质量的研究生软件工程课程真的可以在线异步授课吗?
作者:
Stephen Edwards
;
PStephen Edwards
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
video conferencing;
36.
Multibook's test environment
机译:
Multibook的测试环境
作者:
Nathalie Poerwantoro
;
Abdulmotaleb El Saddik
;
Bernd Kramer
;
Ralf Steinmetz
;
PAbdulmotaleb El Saddik
;
PBernd Kramer
;
PRalf Steinmetz
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
user profile;
37.
An interactive multimedia software house simulation for postgraduate software engineers
机译:
面向研究生软件工程师的交互式多媒体软件仓库模拟
作者:
Helen Sharp
;
Pat Hall
;
PHelen Sharp
;
PPat Hall
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
educational multimedia;
38.
The ICSE2000 doctoral workshop
机译:
ICSE2000博士研讨会
作者:
Jeff Magee
;
Mauro Pezze
;
PJeff Magee
会议名称:
《International conference on Software engineering》
|
2000年
39.
Algorithmic cost estimation for software evolution
机译:
软件演进的算法成本估算
作者:
Juan F. Ramil
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
software;
40.
Formal verification applied to Java concurrent software
机译:
正式验证应用于Java并发软件
作者:
Radu Iosif
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
temporal logic;
41.
Platform-independent and tool-neutral test descriptions for automated software testing
机译:
独立于平台且与工具无关的测试描述,用于自动化软件测试
作者:
Chang Liu
;
PChang Liu
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
test description;
42.
Dot com versus bricks and mortar --- the impact of portal technology (invited presentation) (abstract only)
机译:
点对点与实体-门户技术的影响(邀请演示)(仅摘要)
作者:
Chris Horn
;
PChris Horn
会议名称:
《International conference on Software engineering》
|
2000年
43.
Is the new economy socially sustainable? (invited presentation) (abstract only)
机译:
新经济在社会上可持续吗? (邀请演讲)(仅摘要)
作者:
Manuel Castells
;
PManuel Castells
会议名称:
《International conference on Software engineering》
|
2000年
44.
The future of software (invited presentation) (abstract only)
机译:
软件的未来(邀请演示)(仅摘要)
作者:
Grady Booch
;
PGrady Booch
会议名称:
《International conference on Software engineering》
|
2000年
45.
Requirements engineering in the year 00
机译:
00年的需求工程
作者:
Axel van Lamsweerde
;
PAxel van Lamsweerde
会议名称:
《International conference on Software engineering》
|
2000年
46.
Investigating and improving a COTS-based software development
机译:
研究和改进基于COTS的软件开发
作者:
M. Morisio
;
C. B. Seaman
;
A. T. Parra
;
V. R. Basili
;
S. E. Kraft
;
S. E. Condon
;
PM. Morisio
;
PC. B. Seaman
;
PV. R. Basili
;
PS. E. Kraft
;
PS. E. Condon
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
software development process;
47.
A case study
机译:
案例研究
作者:
Ivica Crnkovic
;
Magnus Larsson
;
PIvica Crnkovic
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
standard components;
48.
PPT
机译:
PPT
作者:
L. David Balk
;
Ann Kedia
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
software engineering;
49.
Supporting diversity with component frameworks as architectural elements
机译:
使用组件框架作为架构元素来支持多样性
作者:
Jan Gerben Wijnstra
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
product family architecture;
50.
Requirements engineering for product families
机译:
产品系列的需求工程
作者:
Juha Kuusela
;
Juha Savolainen
;
PJuha Savolainen
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
requirements engineering;
51.
Extending requirement specifications using analogy
机译:
使用类比扩展需求规范
作者:
Yusuf Pisan
;
PYusuf Pisan
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
specification-reuse;
52.
Testing levels for object-oriented software
机译:
面向对象软件的测试级别
作者:
Y. Labiche
;
P. Thevenod-Fosse
;
H. Waeselynck
;
M.-H. Durand
;
PY. Labiche
;
PP. Thevenod-Fosse
;
PH. Waeselynck
;
PM.-H. Durand
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
tool;
53.
Software evolution in componentware using requirements/assurances contracts
机译:
使用需求/保证合同的组件软件的软件开发
作者:
Andreas Rausch
;
PAndreas Rausch
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
software evolution;
54.
Data mining library reuse patterns using generalized association rules
机译:
使用广义关联规则的数据挖掘库重用模式
作者:
Amir Michail
;
PAmir Michail
会议名称:
《International conference on Software engineering》
|
2000年
关键词:
software libraries;
意见反馈
回到顶部
回到首页