掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International conference on software engineering
International conference on software engineering
召开年:
1993
召开地:
Baltimore, MD(US)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
A language and environment for architecture-based software development and evolution
机译:
基于体系结构的软件开发和演化的语言和环境
作者:
Medvidovic N.
;
Rosenblum D.S.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
2.
Model-based testing in practice
机译:
基于模型的实践测试
作者:
Dalal S.R.
;
Jain A.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
3.
Pattern-based reverse-engineering of design components
机译:
基于模式的设计组件的逆向工程
作者:
Keller R.K.
;
Schauer R.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
4.
Explaining the cost of European space and military projects
机译:
解释欧洲空间和军事项目的成本
作者:
Briand L.C.
;
El Emam K.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
5.
Decoupling synchronization from local control for efficient symbolic model checking of statecharts
机译:
从局部控制解耦与StateCharts有效符号模型检查的同步
作者:
Chan W.
;
Anderson R.J.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
6.
An incremental flow- and context-sensitive pointer aliasing analysis
机译:
增量流和上下文敏感的指针混叠分析
作者:
Yur J.-S.
;
Ryder B.G.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
7.
Exploiting Smalltalk modules in a customizable programming environment
机译:
在可自定义的编程环境中利用SmallTalk模块
作者:
Woodman M.
;
Griffiths R.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
8.
A systematic approach to derive the scope of software product lines
机译:
一种系统的方法,可以推导软件产品线的范围
作者:
deBaud J.-M.
;
Schmid K.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
9.
Call-mark slicing: an efficient and economical way of reducing slice
机译:
呼叫标记切片:减少切片的有效和经济的方式
作者:
Nishimatsu A.
;
Jihira M.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
10.
System-dependence-graph-based slicing of programs with arbitrary interprocedural control flow
机译:
基于系统依赖性图形的程序的切片,具有任意的中转控制流程
作者:
Sinha S.
;
Harrold M.J.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
11.
Software engineering issues for ubiquitous computing
机译:
无处不在的软件工程问题
作者:
Abowd G.D.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
12.
Analysis of a scheduler for a CAD framework
机译:
分析CAD框架的调度程序
作者:
Keyes D.S.
;
Dillon L.K.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
13.
Experience with performing architecture tradeoff analysis
机译:
执行架构权衡分析的经验
作者:
Kazman R.
;
Barbacci M.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
14.
Generalizing perspective-based inspection to handle object-oriented development artifacts
机译:
概括基于透视的检查,处理面向对象的开发伪影
作者:
Laitenberger O.
;
Atkinson C.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
15.
Avoiding packaging mismatch with flexible packaging
机译:
避免用柔性包装包装不匹配
作者:
DeLine R.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
16.
Identifying objects using cluster and concept analysis
机译:
使用群集和概念分析识别对象
作者:
van Deursen A.
;
Kuipers T.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
17.
CHIME: customizable hyperlink insertion and maintenance engine for software engineering environments
机译:
CHIME:用于软件工程环境的可定制的超链接插入和维护引擎
作者:
Devanbu P.
;
Chen Y.-F.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
18.
Reusing single system requirements from application family requirements
机译:
从应用程序家庭要求重用单一系统要求
作者:
Mannion M.
;
Keepence B.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
19.
Using version control data to evaluate the impact of software tools
机译:
使用版本控制数据来评估软件工具的影响
作者:
Atkins D.
;
Ball T.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
20.
Using off-the-shelf middleware to implement connectors in distributed software architectures
机译:
使用现成的中间件来实现分布式软件架构中的连接器
作者:
Dashofy E.M.
;
Medvidovic N.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
21.
Patterns in property specifications for finite-state verification
机译:
有限状态验证的物业规范中的图案
作者:
Dwyer M.B.
;
Avrunin G.S.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
22.
Investigating quality factors in object-oriented designs: an industrial case study
机译:
调查面向对象设计中的质量因素:工业案例研究
作者:
Briand L.C.
;
Wust J.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
23.
A flexible approach to alliances of complex applications
机译:
灵活的复杂应用程序的方法
作者:
Kasik D.J.
;
Kimball C.E.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
24.
A specification matching based approach to reverse engineering
机译:
基于规范的逆向工程方法
作者:
Gannod G.C.
;
Cheng B.H.C.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
25.
Highly reliable upgrading of components
机译:
高度可靠的组件升级
作者:
Cook J.E.
;
Dage J.A.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
26.
Dynamic layout of distributed applications in FarGo
机译:
法戈分布式应用的动态布局
作者:
Holder O.
;
Ben-Shaul I.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
27.
An initial assessment of aspect-oriented programming
机译:
初步评估面向方面的编程
作者:
Walker R.J.
;
Baniassad E.L.A.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
28.
Polymorphism measures for early risk prediction
机译:
早期风险预测的多态性措施
作者:
Benlarbi S.
;
Melo W.L.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
29.
A practical method for verifying event-driven software
机译:
验证事件驱动软件的实用方法
作者:
Holzmann G.J.
;
Smith M.H.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
30.
Product-line architectures in industry: a case study
机译:
产业中的产品线架构:一个案例研究
作者:
Bosch J.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
31.
Splitting the organization and integrating the code: Conway's law revisited
机译:
分割组织并整合代码:再访康威的法律
作者:
Herbsleb J.D.
;
Grinter R.E.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
32.
An assessment and comparison of common software cost estimation modeling techniques
机译:
普通软件成本估算建模技术的评估与比较
作者:
Briand L.C.
;
El Emam K.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
33.
Data flow analysis for checking properties of concurrent Java programs
机译:
用于检查并发Java程序的属性的数据流分析
作者:
Naumovich G.
;
Avrunin G.S.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
34.
Dynamically discovering likely program invariants to support program evolution
机译:
动态发现可能的程序不变性以支持程序演变
作者:
Ernst M.D.
;
Cockrell J.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
35.
Agent system development method based on agent patterns
机译:
基于代理模式的代理系统开发方法
作者:
Tahara Y.
;
Ohsuga A.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
36.
N degrees of separation: multi-dimensional separation of concerns
机译:
n分的分离程度:关注的多维分离
作者:
Tarr P.
;
Ossher H.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
37.
MoHCA-Java: a tool for C++ to Java conversion support
机译:
Mocha-Java:用于Java转换支持的C ++的工具
作者:
Malabarba S.
;
Devanbu P.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
38.
WinWin: a system for negotiating requirements
机译:
Winwin:谈判要求的系统
作者:
Horowitz E.
;
Lee J.H.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
39.
Author Index
机译:
作者索引
作者:
anonymous
会议名称:
《International conference on software engineering》
|
1999年
40.
InSight-reverse engineer CASE tool
机译:
Insight-Reverse工程案例工具
作者:
Rajala N.
;
Campara D.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
41.
Leap: a 'personal information environment' for software engineers
机译:
LEAP:软件工程师的“个人信息环境”
作者:
Johnson P.M.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
42.
Behavioral analysis of software architectures using LTSA
机译:
使用LTSA软件架构的行为分析
作者:
Magree J.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
43.
The RMT (Recursive Multi-Threaded) tool: a computer aided software engineering tool for monitoring and predicting software development progress
机译:
RMT(递归多线程)工具:用于监控和预测软件开发进度的计算机辅助软件工程工具
作者:
Concepcion A.I.
;
Lin S.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
44.
Software Process Support over he Internet
机译:
通过互联网的软件流程支持
作者:
F.Maurer
;
G.Succi
;
H.Holz
;
B.Koetting
;
S.Goldmann
;
B.Dellen
会议名称:
《International conference on software engineering》
|
1999年
关键词:
Process support;
traceability;
change notification;
flexible workflow;
Internet;
45.
Software process support over the Internet
机译:
通过互联网的软件流程支持
作者:
Maurer F.
;
Succi G.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
46.
Software evolution and 'light' semantics
机译:
软件演变和“轻”语义
作者:
Perry D.E.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
47.
OU LearningWorks: a customized programming environment for Smalltalk modules
机译:
OU学习:用于SmallTalk模块的自定编程环境
作者:
Woodman M.
;
Griffiths R.
;
Institute of Electric and Electronic Engineer
会议名称:
《International conference on software engineering》
|
1999年
意见反馈
回到顶部
回到首页