掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Proceedings of the 7th international conference on Software engineering
Proceedings of the 7th international conference on Software engineering
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Session 10A
机译:
分会10A
作者:
M. Nivat
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
2.
An evaluation of required element testing strategies
机译:
评估所需的元素测试策略
作者:
Simeon C. Ntafos
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
3.
SYNCRO
机译:
同步
作者:
Tom DeMarco
;
Aurel Soceneantu
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
关键词:
Pipeline;
4.
Power
机译:
功率
作者:
Michael W. Evans
;
Louis M. Picinich
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
5.
Session 5B
机译:
会议5B
作者:
R. Fryer
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
6.
Exception handling
机译:
异常处理
作者:
M. Bidoit
;
B. Biebow
;
M-C. Gaudel
;
C. Gresse
;
G. Guiho
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
7.
Session 6A
机译:
分会6A
作者:
I. Kimura
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
8.
Session 3B
机译:
会议3B
作者:
S. Budkowski
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
9.
Session 4A
机译:
会话CHA
作者:
J. H. Frame
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
10.
Session 3A
机译:
分会3A
作者:
R. Balzer
;
F. L. Bauer
;
F. P. Brooks
;
T. E. Cheatham
;
H. Mills
;
G. Fischer
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
11.
A cooperative approach to software development by application engineers and software engineers
机译:
应用程序工程师和软件工程师合作进行软件开发的方法
作者:
Keiji Uemura
;
Miki Ohori
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
12.
Error recovery in systems of communicating processes
机译:
通信流程系统中的错误恢复
作者:
A. Ciuffoletti
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
13.
MGEN - a generator for menu driven programs
机译:
MGEN-菜单驱动程序的生成器
作者:
Bertil Friman
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
14.
A large system evaluation of SREM
机译:
SREM的大型系统评估
作者:
Paul A. Scheffer
;
William E. Rzepka
;
Albert H. Stone
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
15.
Software engineering for user interfaces
机译:
用户界面的软件工程
作者:
Stephen W. Draper
;
Donald A. Norman
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
16.
Comparison of concurrent software reliability models
机译:
并发软件可靠性模型的比较
作者:
Ramadan Moawad
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
17.
Session 8A
机译:
分会8A
作者:
I. Miyamoto
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
18.
Session 8B
机译:
分会场8B
作者:
S. Gerhart
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
19.
Pecan
机译:
胡桃
作者:
Steven P. Reiss
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
20.
Session 1A (Panel Session)
机译:
会议1A(小组会议)
作者:
K. Fuchi
;
P. Hughes
;
H. Hunke
;
E. Lieblein
;
J. C. Rault
;
J. Marciniak
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
21.
Three paradigms for developing information systems
机译:
开发信息系统的三种范例
作者:
Bruce I. Blum
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
22.
Table
机译:
表
作者:
Ted J. Biggerstaff
;
D. Mack Endres
;
Ira R. Forman
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
23.
Maiday
机译:
麦天
作者:
Jacques Guyard
;
Jean-Pierre Jacquot
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
关键词:
Programming Methodology;
24.
Productivity factors and programming environments
机译:
生产力因素和编程环境
作者:
J. Vosburgh
;
B. Curtis
;
R. Wolverton
;
B. Albert
;
H. Malec
;
S. Hoben
;
Y. Liu
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
25.
Interactive system for structured program production
机译:
用于结构化程序制作的交互式系统
作者:
H. Maezawa
;
M. Kobayashi
;
K. Saito
;
Y. Futamura
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
26.
A logarithmic poisson execution time model for software reliability measurement
机译:
用于软件可靠性测量的对数泊松执行时间模型
作者:
J. D. Musa
;
K. Okumoto
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
27.
A program complexity metric based on data flow information in control graphs
机译:
基于控制图中数据流信息的程序复杂性度量
作者:
Kuo-Chung Tai
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
28.
Programming cost estimate
机译:
节目费用估算
作者:
Robert E. Boydston
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
29.
Perturbation testing for computation errors
机译:
计算误差的摄动测试
作者:
Steven J. Zeil
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
30.
Assessing a class of software tools
机译:
评估一类软件工具
作者:
M. A. Hennell
;
D. Hedley
;
I. J. Riddell
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
31.
An algebra for data flow anomaly detection
机译:
数据流异常检测的代数
作者:
Ira R. Forman
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
32.
Characteristic program complexity measures
机译:
特色程序复杂性测度
作者:
James L. Elshoff
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
关键词:
software complexity;
33.
A discriminant metric for module cohesion
机译:
模块凝聚力的判别指标
作者:
Thomas J. Emerson
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
关键词:
Theoretical foundations of software engineering;
34.
Integrated program measurement and documentation tools
机译:
集成程序测量和文档编制工具
作者:
Anne Schroeder
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
35.
Quantifying software designs
机译:
量化软件设计
作者:
John Beane
;
Nancy Giddings
;
Jon Silverman
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
36.
Practical applications of a syntax directed program manipulation environment
机译:
语法指导的程序操作环境的实际应用
作者:
V Donzeau-Gouge
;
B. Lang
;
B. Melese
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
37.
Knowledge-based communication processes in software engineering
机译:
软件工程中基于知识的交流过程
作者:
Gerhard Fischer
;
Matthias Schneider
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
关键词:
user interfaces;
38.
PROUST
机译:
普鲁斯特
作者:
W. Lewis Johnson
;
Elliot Soloway
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
39.
On what exactly is going on when software is developed step-by-step
机译:
逐步开发软件时到底发生了什么
作者:
T. S. E. Maibaum
;
W. M. Turski
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
关键词:
translation;
40.
A knowledge base for supporting an intelligent program editor
机译:
支持智能程序编辑器的知识库
作者:
Daniel G. Shapiro
;
Jeffrey S. Dean
;
Brian P. McCune
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
41.
The data transform programming method
机译:
数据转换编程方法
作者:
C. J. Lucena
;
R. C. B. Martins
;
P. A. S. Veloso
;
D. D. Cowan
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
42.
Communication system design using ADA
机译:
使用ADA的通信系统设计
作者:
Arthur G. Duncan
;
John S. Hutchison
;
John W. Bailey
;
Thomas M. Chapman
;
Andrew Fregly
;
Elizabeth Kruesi
;
Thomas McDonald
;
Dennis Merrill
;
Sylvia B. Sheppard
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
43.
The modular structure of complex systems
机译:
复杂系统的模块化结构
作者:
D. L. Parnas
;
P. C. Clements
;
D. M. Weiss
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
44.
Abstract models of dialogue concepts
机译:
对话概念的抽象模型
作者:
R. Studer
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
45.
Formal specification and development of an ada compiler - a vdm case study
机译:
ADA编译器的正式规范和开发-VDM案例研究
作者:
Geert B. Clemmensen
;
Ole N. Oest
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
46.
Application of axiomatic methods to a specification analyser
机译:
公理方法在规格分析仪中的应用
作者:
Susan L. Gerhart
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
47.
Session 10B
机译:
分会10B
作者:
M. Zelkowitz
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
48.
A new program structure to improve accuracy and readability of pascal software
机译:
一种新的程序结构,可提高Pascal软件的准确性和可读性
作者:
W. J. Rogers
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
49.
Functional programming and logical programming for the telegram analysis problem
机译:
电报分析问题的功能编程和逻辑编程
作者:
Koji Torii
;
Yuji Sugiyama
;
Yoshitomi Morisawa
;
Tadao Kasami
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
50.
Session 11A
机译:
专场11A
作者:
C. Ghezzi
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
51.
Session 11B
机译:
分会场11B
作者:
R. Bourgonjon
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
52.
Prototyping vs. specifying
机译:
原型与指定
作者:
Barry W. Boehm
;
Terence E. Gray
;
Thomas Seewaldt
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
53.
Structure charts and program correctness proofs
机译:
结构图和程序正确性证明
作者:
Shang-Cheng Chyou
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
54.
A system for classifying program verification methods
机译:
用于对程序验证方法进行分类的系统
作者:
Ali Mili
;
Jules Desharnais
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
55.
Specification and verification of distributed systems using prolog interpreted petri nets
机译:
使用Prolog解释Petri网规范和验证分布式系统
作者:
Pierre Azema
;
Guy Juanole
;
Eric Sanchis
;
Michel Montbernard
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
关键词:
verification;
56.
A method of large-scale software development
机译:
大规模软件开发的方法
作者:
M. Hozumi
;
Y. Sekine
;
H. Ejima
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
57.
Session 2A
机译:
分会2A
作者:
F. L. Bauer
;
T. E. Cheatham
;
R. Balzer
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
58.
Diagnostic system for distributed software
机译:
分布式软件诊断系统
作者:
Kiwon Chong
;
Pei Hsia
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
关键词:
Testing;
59.
Multifaceted distributed systems specification using processes and event synchronization
机译:
使用流程和事件同步的多方面分布式系统规范
作者:
Gruia-Catalin Roman
;
Mark S. Day
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
60.
EDMAS
机译:
EDMAS
作者:
Guy Almes
;
Andrew Black
;
Carl Bunje
;
Douglas Wiebe
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
61.
Resource controller tasks in ADA
机译:
ADA中的资源控制器任务
作者:
Krithivasan Ramamritham
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
关键词:
Verification;
62.
A spiral approach to software engineering project management education
机译:
软件工程项目管理教育的螺旋式方法
作者:
Joseph C. Spicer
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
63.
Fifteen years of psychology in software engineering
机译:
十五年软件工程心理学
作者:
Bill Curtis
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
64.
Session 4B
机译:
会议4B
作者:
A. Wasserman
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
65.
PDAS
机译:
帕达斯
作者:
Tomoharu Mohri
;
Etsuo Ono
;
Sanya Uehara
;
Tetsuyasu Takao
;
Hideki Sato
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
66.
Steps to an advanced ada programming environment
机译:
迈向高级ada编程环境的步骤
作者:
Richard N. Taylor
;
Thomas A. Standish
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
关键词:
Programming environments;
67.
Session 5A
机译:
分会5A
作者:
B. Boehm
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
68.
Session 2B
机译:
会议2B
作者:
R. Kemmerer
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
69.
A tour through cedar
机译:
雪松之旅
作者:
Warren Teitelman
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
70.
Session 9B
机译:
sessionБ会议
作者:
R. T. Yeh
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
71.
Session 9A
机译:
分会9A
作者:
D. R. Barstow
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
72.
Session 7A
机译:
他们将寻找邻居
作者:
C. V. Ramamoorthy
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
73.
Session 7B
机译:
他们会寻求爱
作者:
P. de Feo
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
74.
Session 6B
机译:
分会6B
作者:
A. Marmor-Squires
会议名称:
《Proceedings of the 7th international conference on Software engineering》
|
1984年
意见反馈
回到顶部
回到首页