掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Software Engineering, 1996
Software Engineering, 1996
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
The role of software development methodologies: past, present, and future
机译:
软件开发方法论的作用:过去,现在和将来
作者:
Tom DeMarco
会议名称:
《Software Engineering, 1996》
|
1996年
2.
A software engineering experiment in software component generation
机译:
软件组件生成中的软件工程实验
作者:
Richard B. Kieburtz
;
Laura McKinney
;
Jeffrey M. Bell
;
James Hook
;
Alex Kotov
;
Jeffrey Lewis
;
Dino P. Oliva
;
Tim Sheard
;
Ira Smith
;
Lisa Walton
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
usability;
3.
A flexible architecture for building data flow analyzers
机译:
用于构建数据流分析器的灵活架构
作者:
Matthew B. Dwyer
;
Lori A. Clarke
会议名称:
《》
|
1996年
关键词:
software prototyping;
4.
An exact array reference analysis for data flow testing
机译:
用于数据流测试的精确阵列参考分析
作者:
Istvan Forgacs
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
program testing;
5.
A demand-driven analyzer for data flow testing at the integration level
机译:
需求驱动的分析器,用于集成级别的数据流测试
作者:
Evelyn Duesterwald
;
Rajiv Gupta
;
Mary Lou Soffa
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
unit testing;
6.
Assertion-oriented automated test data generation
机译:
面向断言的自动测试数据生成
作者:
Bogdan Korel
;
Ali M. Al-Yami
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
white box testing;
7.
A specification-based adaptive test case generation strategy for open operating system standards
机译:
开放操作系统标准的基于规范的自适应测试用例生成策略
作者:
Aki Watanabe
;
Ken Sakamura
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
templates;
8.
An empirical study of static call graph extractors
机译:
静态调用图提取器的实证研究
作者:
Gail C. Murphy
;
David Notkin
;
Erica S.-C. Lan
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
understanding task;
9.
A systematic survey of CMM experience and results
机译:
对CMM经验和结果的系统调查
作者:
James D. Herbsleb
;
Dennis R. Goldenson
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
software process improvement;
10.
Monitoring compliance of a software system with its high-level design models
机译:
监视软件系统及其高级设计模型的符合性
作者:
Mohlalefi Sefika
;
Aamod Sane
;
Roy H. Campbell
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
subjective design principles;
11.
Simplifying data integration
机译:
简化数据整合
作者:
Steven P. Reiss
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
virtual files;
12.
Requirements for a layered software architecture supporting cooperative multi-user interaction
机译:
支持协作的多用户交互的分层软件体系结构的要求
作者:
Flavio De Paoli
;
Andrea Sosio
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
software engineering;
13.
An operating system development
机译:
操作系统开发
作者:
Chip Anderson
会议名称:
《Software Engineering, 1996》
|
1996年
14.
Machine support for software development
机译:
机器支持软件开发
作者:
Douglas R. Smith
会议名称:
《Software Engineering, 1996》
|
1996年
15.
Industrial experience with design patterns
机译:
具有设计模式的行业经验
作者:
Kent Beck
;
Ron Crocker
;
Gerard Meszaros
;
John Vlissides
;
James O. Coplien
;
Lutz Dominick
;
Frances Paulisch
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
system documentation;
16.
Engineering an 'open' client/server-platform for a distributed Austrian alpine road-pricing system in 240 days
机译:
在240天内为分布式奥地利高山公路定价系统设计一个“开放式”客户端/服务器平台
作者:
Stefan Biffl
;
Thomas Grechenig
;
Stephan Oberpfalzer
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
road-pricing system;
17.
An object-oriented implementation of B-ISDN signalling---part 2
机译:
B-ISDN信令的面向对象实现-第2部分
作者:
Alexander W. van der Vekens
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
software reuse;
18.
Independent on-line monitoring of evolving systems
机译:
对不断发展的系统进行独立的在线监控
作者:
Naftaly H. Minsky
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
systems software;
19.
Assertional reasoning about pairwise transient interactions in mobile computing
机译:
关于移动计算中成对瞬态交互作用的断言推理
作者:
Gruia-Catalin Roman
;
Peter J. McCann
;
Jerome Y. Plun
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
variable sharing;
20.
Checking subsystem safety properties in compositional reachability analysis
机译:
在成分可达性分析中检查子系统安全性
作者:
Shing C. Cheung
;
Jeff Kramer
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
undefined state;
21.
Linguistic support for the evolutionary design of software architectures
机译:
语言支持软件架构的进化设计
作者:
T. C. Nicholas Graham
;
Tore Urnes
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
visual syntax;
22.
Cooperating evolving components
机译:
协同发展的组件
作者:
R. M. Greenwood
;
B. C. Warboys
;
J. Sa
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
product evolution;
23.
Dedication
机译:
奉献精神
作者:
H. Dieter Rombach
会议名称:
《Software Engineering, 1996》
|
1996年
24.
Effort estimation using analogy
机译:
用类推估算工作量
作者:
Martin Shepperd
;
Chris Schofield
;
Barbara Kitchenham
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
software tool;
25.
Experiences of software quality management using metrics through the life-cycle
机译:
在整个生命周期中使用指标进行软件质量管理的经验
作者:
Hideto Ogasawara
;
Atsushi Yamada
;
Michiko Kojo
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
test phase;
26.
DYNAMITE
机译:
炸药
作者:
Peter Heimann
;
Gregor Joeris
;
Carl-Arndt Krapp
;
Bernhard Westfechtel
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
software process management;
27.
Large, multimedia programming---concepts and challenges
机译:
大型多媒体编程-概念和挑战
作者:
Simon Gibbs
;
Christian Breiteneder
会议名称:
《Software Engineering, 1996》
|
1996年
28.
An evaluation of software test environment architectures
机译:
对软件测试环境体系结构的评估
作者:
Nancy S. Eickelmann
;
Debra J. Richardson
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
testing tools;
29.
Scene
机译:
现场
作者:
Kai Koskimies
;
Hanspeter Mossenbock
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
systems design;
30.
System dynamics modeling of an inspection-based process
机译:
基于检查的过程的系统动力学建模
作者:
Raymond J. Madachy
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
task flows;
31.
Reducing and estimating the cost of test coverage criteria
机译:
减少和估算测试覆盖率标准的成本
作者:
Martina Marre
;
Antonia Bertolino
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
test paths;
32.
Slicing object-oriented software
机译:
切片面向对象的软件
作者:
Loren Larsen
;
Mary Jean Harrold
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
system dependence graphs;
33.
A reliability model combining representative and directed testing
机译:
结合了代表性测试和定向测试的可靠性模型
作者:
Brian Mitchell
;
Steven J. Zeil
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
structural testing;
34.
Prototypes as assets, not toys
机译:
原型作为资产而不是玩具
作者:
Kurt Schneider
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
system monitoring;
35.
User interface prototyping---concepts, tools, and experience
机译:
用户界面原型-概念,工具和经验
作者:
Dirk Baumer
;
Walter R. Bischofberger
;
Horst Lichter
;
Heinz Zullighoven
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
user interface quality;
36.
The role of formal techniques: past, current and future or how did software get so reliable without proof? (extended abstract)
机译:
形式技术的作用:过去,现在和将来,或者没有证据,软件如何变得如此可靠? (扩展摘要)
作者:
C. A. R. Hoare
会议名称:
《Software Engineering, 1996》
|
1996年
37.
A standard software application development
机译:
标准软件应用程序开发
作者:
Hasso Plattner
会议名称:
《Software Engineering, 1996》
|
1996年
38.
Analytical and empirical evaluation of software reuse metrics
机译:
对软件重用指标的分析和实证评估
作者:
Prem Devanbu
;
Sakke Karstu
;
Walcelio Melo
;
William Thomas
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
toolset;
39.
A case study in applying a systematic method for COTS selection
机译:
应用系统方法选择COTS的案例研究
作者:
Jyrki Kontio
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
software reuse;
40.
System acquisition based on software product assessment
机译:
基于软件产品评估的系统采购
作者:
Jean Mayrand
;
Francois Coallier
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
system acquisition;
41.
Experience assessing an architectural approach to large-scale systematic reuse
机译:
评估架构方法以进行大规模系统重用的经验
作者:
Kevin J. Sullivan
;
John C. Knight
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
software reusability;
42.
Using KIDS as a tool support for VDM
机译:
使用KIDS作为VDM的工具支持
作者:
Y. Ledru
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
tool support;
43.
Executable object modeling with statecharts
机译:
带有状态图的可执行对象建模
作者:
David Harel
;
Eran Gery
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
statecharts;
44.
Forcing behavioral subtyping through specification inheritance
机译:
通过规范继承强制行为子类型化
作者:
Krishna Kishore Dhara
;
Gary T. Leavens
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
specification inheritance;
45.
Beyond structured programming
机译:
超越结构化编程
作者:
S. Pan
;
R. G. Dromey
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
structured programming;
46.
Supporting the construction and evolution of component repositories
机译:
支持组件存储库的建设和发展
作者:
Scott Henninger
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
software reusability;
47.
A new approach to consistency control in software engineering
机译:
软件工程中一致性控制的新方法
作者:
Georg Heidenreich
;
Mark Minas
;
Detlef Kips
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
version control;
48.
Configuration management with logical structures
机译:
具有逻辑结构的配置管理
作者:
Yi-Jing Lin
;
Steven P. Reiss
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
versions;
49.
A generic, peer-to-peer repository for distributed configuration management
机译:
用于分布式配置管理的通用对等存储库
作者:
Andre van der Hoek
;
Dennis Heimbigner
;
Alexander L. Wolf
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
software management;
50.
Multilanguage interoperability in distributed systems
机译:
分布式系统中的多语言互操作性
作者:
Mark J. Maybee
;
Dennis M. Heimbigner
;
Leon J. Osterweil
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
software reliability;
51.
Domain-oriented design environments
机译:
面向领域的设计环境
作者:
Gerhard Fischer
会议名称:
《Software Engineering, 1996》
|
1996年
52.
A telecommunication development
机译:
电信发展
作者:
Hans-Eugen Binder
会议名称:
《Software Engineering, 1996》
|
1996年
53.
Understanding and predicting the process of software maintenance release
机译:
了解和预测软件维护发布的过程
作者:
Victor Basili
;
Lionel Briand
;
Steven Condon
;
Yong-Mi Kim
;
Walcelio L. Melo
;
Jon D. Valett
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
software maintenance;
54.
A scalable, automated process for year 2000 system correction
机译:
2000年系统校正的可扩展,自动化过程
作者:
Johnson M. Hart
;
Antonio Pizzarello
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
year 2000;
55.
Foreword
机译:
前言
作者:
H. Dieter Rombach
会议名称:
《Software Engineering, 1996》
|
1996年
56.
Author Index
机译:
作者索引
作者:
H. Dieter Rombach
会议名称:
《Software Engineering, 1996》
|
1996年
57.
The role of experimentation in software engineering
机译:
实验在软件工程中的作用
作者:
Victor R. Basili
会议名称:
《Software Engineering, 1996》
|
1996年
58.
The program understanding problem
机译:
程序理解问题
作者:
Steven Woods
;
Qiang Yang
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
search problems;
59.
The design of whole-program analysis tools
机译:
全程序分析工具的设计
作者:
Darren C. Atkinson
;
William G. Griswold
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
software architecture;
60.
How to identify binary relations for domain models
机译:
如何识别领域模型的二进制关系
作者:
Hermann Kaindl
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
requirements engineering;
61.
OPSIS
机译:
面对
作者:
Denis Avrilionis
;
Pierre-Yves Cunin
;
Christer Fernstrom
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
view mechanism;
62.
GRIDS---graph-based, integrated development of software
机译:
GRIDS-基于图形的软件集成开发
作者:
Andreas Zamperoni
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
software development;
63.
An analytic framework for specifying and analyzing imprecise requirements
机译:
用于指定和分析不精确需求的分析框架
作者:
Xiaoqing Frank Liu
;
John Yen
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
trade-off analysis;
64.
Organizing Committees
机译:
组委会
作者:
H. Dieter Rombach
会议名称:
《Software Engineering, 1996》
|
1996年
65.
Designing and implementing COO
机译:
设计和实施COO
作者:
C. Godart
;
G. Canals
;
F. Charoy
;
P. Molli
;
H. Skaf
会议名称:
《Software Engineering, 1996》
|
1996年
关键词:
software process;
意见反馈
回到顶部
回到首页