掌桥科研
一站式科研服务平台
学术工具
文档翻译
论文查重
文档转换
收录引用
科技查新
期刊封面封底
自科基金
外文数据库(机构版)
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文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.
Dynamic mutation testing in integrated regression analysis
机译:
集成回归分析中的动态突变测试
作者:
Janusz Laski
;
Wojciech Szermer
;
Piotr Luczycki
会议名称:
《》
|
1993年
2.
Exploring dataflow testing of arrays
机译:
探索阵列的数据流测试
作者:
Dick Hamlet
;
Bruce Gifford
;
Borislav Nikolik
会议名称:
《International conference on Software Engineering》
|
1993年
3.
A bi-level language for software process modeling
机译:
用于软件过程建模的双层语言
作者:
Gail E. Kaiser
;
Steven S. Popovich
;
Israel Z. Ben-Shaul
会议名称:
《International conference on Software Engineering》
|
1993年
4.
Computational reflection in software process modeling
机译:
软件过程建模中的计算反思
作者:
Sergio Bandinelli
;
Alfonso Fuggetta
会议名称:
《International conference on Software Engineering》
|
1993年
关键词:
software process modeling;
5.
Prototyping a process monitoring experiment
机译:
制作过程监控实验的原型
作者:
Mark G. Bradac
;
Dewayne E. Perry
;
Lawrence G. Votta
会议名称:
《International conference on Software Engineering》
|
1993年
6.
Requirements and design change in large-scale software development
机译:
大规模软件开发中的需求和设计变更
作者:
Tetsuo Tamai
;
Akito Itou
会议名称:
《International conference on Software Engineering》
|
1993年
7.
Approach and case study of requirement analysis where end users take an active role
机译:
最终用户扮演积极角色的需求分析方法和案例研究
作者:
J. M. Drake
;
W. W. Xie
;
W. T. Tsai
;
I. A. Zualkernan
会议名称:
《International conference on Software Engineering》
|
1993年
关键词:
requirement specification;
8.
Expressing the relationships between multiple views in requirements specification
机译:
在需求规范中表达多个视图之间的关系
作者:
Bashar Nuseibeh
;
Jeff Kramer
;
Anthony Finkelstein
会议名称:
《International conference on Software Engineering》
|
1993年
9.
Domain modeling---overview ongoing research at EDS
机译:
领域建模-EDS的概述和正在进行的研究
作者:
Neil Iscoe
会议名称:
《International conference on Software Engineering》
|
1993年
10.
Model based process assessments
机译:
基于模型的过程评估
作者:
Clement L. McGowan
;
Shawn A. Bohner
会议名称:
《International conference on Software Engineering》
|
1993年
关键词:
software process assessments;
11.
Software components in a data structure precompiler
机译:
数据结构预编译器中的软件组件
作者:
Marty Sirkin
;
Don Batory
;
Vivek Singhal
会议名称:
《International conference on Software Engineering》
|
1993年
12.
Adding implicit invocation to traditional programming languages
机译:
向传统编程语言添加隐式调用
作者:
David Garlan
;
Curtis Scott
会议名称:
《International conference on Software Engineering》
|
1993年
13.
Applying algorithm animation techniques for program tracing, debugging, and understanding
机译:
应用算法动画技术进行程序跟踪,调试和理解
作者:
Sougata Mukherjea
;
John T. Stasko
会议名称:
《International conference on Software Engineering》
|
1993年
14.
Software process maturity
机译:
软件流程成熟度
作者:
Howard A. Rubin
会议名称:
《International conference on Software Engineering》
|
1993年
15.
Inter-item correlations among function points
机译:
功能点之间的项目间关联
作者:
Barbara Kitchenham
;
Kari Kansala
会议名称:
《International conference on Software Engineering》
|
1993年
16.
The concept assignment problem in program understanding
机译:
程序理解中的概念分配问题
作者:
Ted J. Biggerstaff
;
Bharat G. Mitbander
;
Dallas Webster
会议名称:
《International conference on Software Engineering》
|
1993年
关键词:
slicing;
17.
RECAST
机译:
回放
作者:
Helen M. Edwards
;
Malcolm Munro
会议名称:
《International conference on Software Engineering》
|
1993年
18.
Program and interface slicing for reverse engineering
机译:
逆向工程的程序和接口切片
作者:
Jon Beck
;
David Eichmann
会议名称:
《International conference on Software Engineering》
|
1993年
19.
A high level language for specifying graph based languages and their programming environments
机译:
用于指定基于图的语言及其编程环境的高级语言
作者:
M. F. Kleyn
;
J. C. Browne
会议名称:
《International conference on Software Engineering》
|
1993年
20.
An examination of the current state of IPSE technology
机译:
查看IPSE技术的当前状态
作者:
Alan W. Brown
会议名称:
《International conference on Software Engineering》
|
1993年
21.
Use of an environment classification model
机译:
使用环境分类模型
作者:
Marvin V. Zelkowitz
会议名称:
《International conference on Software Engineering》
|
1993年
关键词:
reference models;
22.
Programming heterogeneous transactions for software development environments
机译:
为软件开发环境编程异构事务
作者:
Peri Tarr
;
Stanley M. Sutton
会议名称:
《International conference on Software Engineering》
|
1993年
23.
Generalized behavior-based retrieval
机译:
基于行为的广义检索
作者:
Robert J. Hall
会议名称:
《International conference on Software Engineering》
|
1993年
24.
Automating the detection of reusable parts in existing software
机译:
自动检测现有软件中的可重复使用零件
作者:
Michael F. Dunn
;
John C. Knight
会议名称:
《International conference on Software Engineering》
|
1993年
关键词:
software reuse;
25.
Building, modifying and using component generators
机译:
构建,修改和使用组件生成器
作者:
Stephen B. Ornburn
;
Richard J. LeBlanc
会议名称:
《International conference on Software Engineering》
|
1993年
26.
Test templates
机译:
测试模板
作者:
P. A. Stocks
;
D. A. Carrington
会议名称:
《International conference on Software Engineering》
|
1993年
27.
An analytical comparison of the fault-detecting ability of data flow testing techniques
机译:
数据流测试技术的故障检测能力的分析比较
作者:
Phyllis G. Frankl
;
Elaine J. Weyuker
会议名称:
《International conference on Software Engineering》
|
1993年
28.
Reliable software and communication
机译:
可靠的软件和通讯
作者:
S. R. Dalal
;
J. R. Horgan
;
J. R. Kettenring
会议名称:
《International conference on Software Engineering》
|
1993年
29.
Cleanroom software engineering for zero-defect software
机译:
零缺陷软件的Cleanroom软件工程
作者:
Richard C. Linger
会议名称:
《International conference on Software Engineering》
|
1993年
关键词:
statistical usage testing;
30.
Simulating the behaviour of software modules by trace rewriting
机译:
通过跟踪重写模拟软件模块的行为
作者:
Yabo Wang
;
David Lorge Parnas
会议名称:
《International conference on Software Engineering》
|
1993年
关键词:
trace assertion method;
31.
Observations on industrial practice using formal methods
机译:
用形式化方法观察工业实践
作者:
Susan Gerhart
;
Dan Craigen
;
Ted Ralston
会议名称:
《International conference on Software Engineering》
|
1993年
32.
Rule-based approach to computing module cohesion
机译:
基于规则的计算模块内聚方法
作者:
Arun Lakhotia
会议名称:
《International conference on Software Engineering》
|
1993年
33.
Experimental evaluation of a fuzzy-set based measure of software correctness using program mutation
机译:
使用程序变异的基于模糊集的软件正确性度量的实验评估
作者:
Farokh B. Bastani
;
Giuseppe DiMarco
;
Alberto Pasquini
会议名称:
《International conference on Software Engineering》
|
1993年
34.
Modeling and managing risk early in software development
机译:
在软件开发早期就建模和管理风险
作者:
Lionel C. Briand
;
William M. Thomas
;
Christopher J. Hetmanski
会议名称:
《International conference on Software Engineering》
|
1993年
35.
An analysis of SEI software process assessment results: 1987--1991
机译:
SEI软件过程评估结果分析:1987--1991年
作者:
David H. Kitson
;
Stephen M. Masters
会议名称:
《International conference on Software Engineering》
|
1993年
36.
A comprehensive process model for studying software process papers
机译:
用于研究软件过程论文的综合过程模型
作者:
Rudolf K. Keller
;
Richard Lajoie
;
Nazim H. Madhavji
;
Tilmann F. Bruckhaus
;
Kamel Toubache
;
Won-Kook Hong
;
Khaled El Emam
会议名称:
《International conference on Software Engineering》
|
1993年
关键词:
software process;
37.
Post-process feedback with and without attribute focusing
机译:
具有和不具有属性聚焦的后处理反馈
作者:
Inderpal Bhandari
;
Norman Roth
会议名称:
《International conference on Software Engineering》
|
1993年
38.
An experimental evaluation of selective mutation
机译:
选择性突变的实验评估
作者:
A. Jefferson Offutt
;
Gregg Rothermel
;
Christian Zapf
会议名称:
《International conference on Software Engineering》
|
1993年
39.
Software improvements in an international company
机译:
一家国际公司的软件改进
作者:
Harvey Wohlwend
;
Susan Rosenbaum
会议名称:
《International conference on Software Engineering》
|
1993年
40.
Prototyping in industrial software projects---bridging the gap between theory and practice
机译:
工业软件项目中的原型设计-弥合理论与实践之间的鸿沟
作者:
Horst Lichter
;
Matthias Schneider-Hufschmidt
;
Heinz Zullighoven
会议名称:
《International conference on Software Engineering》
|
1993年
关键词:
vertical prototyping;
41.
A process for consolidating and reusing design knowledge
机译:
巩固和重用设计知识的过程
作者:
Guillermo Arango
;
Eric Schoen
;
Robert Pettengill
会议名称:
《International conference on Software Engineering》
|
1993年
42.
The Graft-Host method for design change
机译:
用于更改设计的嫁接宿主方法
作者:
Guillermo Arango
;
Eric Schoen
;
Robert Pettengill
;
Josiah Hoskins
会议名称:
《International conference on Software Engineering》
|
1993年
43.
Developing initial OOA models
机译:
开发初始OOA模型
作者:
Mitchell Lubars
;
Colin Potts
;
Charles Richter
会议名称:
《International conference on Software Engineering》
|
1993年
44.
Predicate-based test generation for computer programs
机译:
基于谓词的计算机程序测试生成
作者:
Kuo-Chung Tai
会议名称:
《International conference on Software Engineering》
|
1993年
45.
Modeling software for accurate data flow representation
机译:
用于精确数据流表示的建模软件
作者:
Hasan Ural
;
Bo Yang
会议名称:
《International conference on Software Engineering》
|
1993年
46.
Coverage measurement experience during function test
机译:
功能测试期间的覆盖率测量经验
作者:
Paul Piwowarski
;
Mitsuru Ohba
;
Joe Caruso
会议名称:
《International conference on Software Engineering》
|
1993年
47.
'…And nothing else changes'
机译:
“……没有其他改变”
作者:
Alex Borgida
;
John Mylopoulos
;
Raymond Reiter
会议名称:
《International conference on Software Engineering》
|
1993年
关键词:
semantics of specification languages;
48.
Documentation for safety critical software
机译:
安全关键软件的文档
作者:
P.-J. Courtois
;
D. L. Parnas
会议名称:
《International conference on Software Engineering》
|
1993年
意见反馈
回到顶部
回到首页