掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Proceedings of the 2nd international conference on Software engineering
Proceedings of the 2nd international conference on Software engineering
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
共
103
条结果
1.
Decision table programming and reliability
机译:
决策表编程和可靠性
作者:
Art Lew
;
Doris Tamanaha
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Structured programming;
2.
Program evolution and its impact on software engineering
机译:
程序演变及其对软件工程的影响
作者:
M. M. Lehman
;
F. N. Parr
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
3.
Software research in the Department of Defense
机译:
国防部的软件研究
作者:
William E. Carlson
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Software engineering;
4.
The dimensions of maintenance
机译:
维护尺寸
作者:
E. Burton Swanson
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Software maintenance;
5.
A software reliability assessment based on a structural and behavioral analysis of programs
机译:
基于程序的结构和行为分析的软件可靠性评估
作者:
Simone Pimont
;
Jean-Claude Rault
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Software reliability;
6.
Structured analysis for Requirements Definition (abstract only)
机译:
需求定义的结构化分析(仅摘要)
作者:
Douglas T. Ross
;
Kenneth E. Schoman
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
7.
PSL/PSA a computer-aided technique for structured documentation and analysis of information processing systems
机译:
PSL / PSA是一种计算机辅助技术,用于结构化文档和信息处理系统的分析
作者:
Daniel Teichroew
;
Ernest Allen Hershey
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
8.
Formal specification and automatic programming
机译:
正式规范和自动编程
作者:
Mehdi Jazayeri
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Text-processing;
9.
A Synthetic English query language for a relational associative processor
机译:
关系关联处理器的综合英语查询语言
作者:
L. Kerschberg
;
E. A. Ozkarahan
;
J. E.S. Pacheco
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Very-high-level query language;
10.
A framework for data base semantic integrity
机译:
数据库语义完整性的框架
作者:
Michael Hammer
;
Dennis McLeod
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Semantic integrity;
11.
The translation and compatibility of SEQUEL and Query by Example
机译:
SEQUEL和Query的翻译和兼容性示例
作者:
Dennis McLeod
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Very high level languages;
12.
On the effectiveness of set associative page mapping and its application to main memory management
机译:
集关联页面映射的有效性及其在主内存管理中的应用
作者:
Alan Jay Smith
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Virtual memory;
13.
A management approach to the development of computer-based systems
机译:
基于计算机的系统开发的管理方法
作者:
R. Turn
;
M. R. Davis
;
R. N. Reinstedt
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
14.
Introducing a Software Design Language
机译:
引入软件设计语言
作者:
Yaohan Chu
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
15.
An analysis of the resources used in the SAFEGUARD system software development
机译:
SAFEGUARD系统软件开发中使用的资源分析
作者:
W. E. Stephenson
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
16.
Maxims for malfeasant designers, or how to design languages to make programming as difficult as possible
机译:
恶意设计人员的格言,或如何设计语言以使编程尽可能地困难
作者:
Richard L. Wexelblat
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Programming languages;
17.
A comparison of the use of links and secondary indices in a relational data base system
机译:
关系数据库系统中链接和二级索引的使用比较
作者:
Michael Stonebraker
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
18.
A software engineering experience in the management, design and implementation of a data secure system
机译:
在数据安全系统的管理,设计和实施方面具有软件工程经验
作者:
David K. Hsiao
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
User interface;
19.
Application of clustering to estimate missing data and improve data integrity
机译:
应用聚类估计丢失的数据并提高数据完整性
作者:
R. C. T. Lee
;
J. R. Slagle
;
C. T. Mong
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
20.
Some considerations in database application programming
机译:
数据库应用程序编程中的一些注意事项
作者:
Isao Miyamoto
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Tool;
21.
Improved updating in relational data base systems by deuter-sphere algorithms
机译:
通过氘核算法改进关系数据库系统中的更新
作者:
Peter Kummel
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Views: relational;
22.
A principle for resilient sharing of distributed resources
机译:
弹性共享分布式资源的原则
作者:
Peter A. Alsberg
;
John D. Day
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Resource sharing;
23.
Design evaluation of the compiler generating system MUG1
机译:
编译器生成系统MUG1的设计评估
作者:
Reinhard Wilhelm
;
Knut Ripken
;
Joachim Ciesinger
;
Harald Ganzinger
;
Walter Lahner
;
Rolf Nollmann
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Software system design evaluation;
24.
An environmental simulator for the FDNY computer aided dispatch system
机译:
FDNY计算机辅助调度系统的环境模拟器
作者:
John Mohan
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Utilization;
25.
Data flow, abstraction levels and specifications for communications switching systems
机译:
通信交换系统的数据流,抽象级别和规范
作者:
K. S. Shankar
;
C. S. Chandersekaran
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Software design methodology;
26.
Aspects of design, test and validation of the software for a computerized reactor protection system
机译:
计算机化反应堆保护系统软件的设计,测试和验证方面
作者:
U. Voges
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Protection system;
27.
Quantitative evaluation of software quality
机译:
软件质量的定量评估
作者:
B. W. Boehm
;
J. R. Brown
;
M. Lipow
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Testing;
28.
Programanalysis - A method for the verification of software for the control of a nuclear reactor
机译:
程序分析-一种验证核反应堆控制软件的方法
作者:
W. Ehrenberger
;
G. Rauch
;
K. Okroy
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Verification;
29.
A system for automatic software evaluation
机译:
自动软件评估系统
作者:
B. C. Hodges
;
J. P. Ryan
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
30.
The detection of anomalous interprocedural data flow
机译:
异常过程间数据流的检测
作者:
Lloyd D. Fosdick
;
Leon J. Osterweil
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Software reliability;
31.
ATLAS-An Automated Software Testing System
机译:
ATLAS-自动化软件测试系统
作者:
W. H. Jessop
;
J. R. Kane
;
S. Roy
;
J. M. Scanlon
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Software modeling;
32.
On the automated generation of program test data (Abstract only)
机译:
关于程序测试数据的自动生成(仅摘要)
作者:
C. V. Ramamoorthy
;
S. F. Ho
;
W. T. Chen
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
33.
A methodology for decomposing system requirements into data processing requirements
机译:
将系统需求分解为数据处理需求的方法
作者:
Kenneth G. Salter
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
System specification methodology;
34.
Extending Concurrent Pascal to allow dynamic resource management
机译:
扩展并发Pascal以允许动态资源管理
作者:
A. Silberschatz
;
R. B. Kieburtz
;
A. Bernstein
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Protection;
35.
New languages from old
机译:
旧的新语言
作者:
Michael B. Feldman
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Sequential machines;
36.
Aspects of a trigger subsystem in an integrated database system
机译:
集成数据库系统中触发器子系统的各个方面
作者:
Kapali P. Eswaran
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
37.
A model of roll-back recovery with multiple checkpoints
机译:
具有多个检查点的回滚恢复模型
作者:
Erol Gelenbe
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
38.
On reliable topologies for computer networks
机译:
关于计算机网络的可靠拓扑
作者:
Izhak Rubin
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Reliable computer networks;
39.
Structural models for software reliability prediction
机译:
软件可靠性预测的结构模型
作者:
Martin L. Shooman
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
40.
Bayesian models of design based on intuition
机译:
基于直觉的贝叶斯设计模型
作者:
K. M. Chandy
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Uncertainty;
41.
Research paradigms in computer science
机译:
计算机科学的研究范式
作者:
Peter Wegner
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Software engineering;
42.
A laboratory for the development and evaluation of BMD software quality enhancement techniques
机译:
用于开发和评估BMD软件质量增强技术的实验室
作者:
Jeoffrey P. Benson
;
Richard A. Melton
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Software quality;
43.
Research towards a technology to support the specification of data processing system performance requirements
机译:
研究一种支持数据处理系统性能要求规范的技术
作者:
Edward E. Balkovich
;
George P. Engelberg
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Specification language;
44.
Essential elements of software engineering education
机译:
软件工程教育的基本要素
作者:
Peter Freeman
;
Anthony I. Wasserman
;
Richard E. Fairley
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Software engineering;
45.
Design and specification of the minimal subset of an operating system family (Abstract only)
机译:
操作系统家族的最小子集的设计和规范(仅摘要)
作者:
D. L. Parnas
;
G. Handzel
;
H. Wurges
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Virtual memory;
46.
Design and verification of real-time systems
机译:
实时系统设计与验证
作者:
Jorge V. Phillips
;
Thomas H. Bredt
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Real-time systems;
47.
RIG, rochester's intelligent gateway
机译:
RIG,罗彻斯特的智能网关
作者:
E. Ball
;
J. Feldman
;
J. Low
;
R. Rashid
;
P. Rovner
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
48.
The structure and characteristics of distributed systems
机译:
分布式系统的结构和特征
作者:
C. V. Ravi
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Problems;
49.
A critical overview of computer performance evaluation
机译:
计算机性能评估的关键概述
作者:
J. C. Browne
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Work and capacity;
50.
On the Transformational Implementation approach to programming
机译:
关于编程的转型实现方法
作者:
Robert Balzer
;
Neil Goldman
;
David Wile
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Transformational implementation;
51.
An experiment in program restructuring for performance enhancement
机译:
进行程序重组以提高性能的实验
作者:
Domenico Ferrari
;
Edwin Lau
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Restructuring algorithms;
52.
A data structure and drive mechanism for a table-driven simulation system employing multilevel structural representations of digital systems
机译:
使用数字系统的多层结构表示的表驱动仿真系统的数据结构和驱动机制
作者:
N. Billawala
;
S. A. Szygenda
;
E. W. Thompson
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Testing and maintenance of large programs;
53.
Automatic program analysis and evaluation
机译:
自动程序分析和评估
作者:
Marvin V. Zelkowitz
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Static and dynamic analysis;
54.
An introduction to the Programmer's Workbench
机译:
程序员工作台简介
作者:
T. A. Dolotta
;
J. R. Mashey
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
UNIX;
55.
Using a command language as a high-level programming language
机译:
使用命令语言作为高级编程语言
作者:
J. R. Mashey
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
UNIX;
56.
Documentation tools and techniques
机译:
文档工具和技术
作者:
J. R. Mashey
;
D. W. Smith
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
UNIX;
57.
The LEAP load and test driver
机译:
LEAP加载和测试驱动程序
作者:
T. A. Dolotta
;
J. S. Licwinko
;
R. E. Menninger
;
W. D. Roome
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
UNIX;
58.
A Modification Request Control System
机译:
修改请求控制系统
作者:
D. B. Knudsen
;
A. Barofsky
;
L. R. Satz
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
UNIX;
59.
A user's viewpoint on the Programmer's Workbench
机译:
用户对程序员工作台的看法
作者:
M. H. Bianchi
;
J. L. Wood
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
UNIX;
60.
An illustration of current ideas on the derivation of correctness proofs and correct programs
机译:
关于正确性证明和正确程序的最新思想的说明
作者:
David Gries
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Programming methodology;
61.
The role of software in successful computer applications
机译:
软件在成功的计算机应用中的作用
作者:
W. Wayne Black
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Software specification;
62.
The preliminary design as a key to successful software development
机译:
初步设计是成功开发软件的关键
作者:
Jack M. Dreyfus
;
Peter J. Karacsony
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
63.
Towards an engineering approach to software design
机译:
迈向软件设计的工程方法
作者:
John R. White
;
Taylor L. Booth
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Software engineering;
64.
Programming as an evolutionary process
机译:
编程是一个进化的过程
作者:
F. L. Bauer
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
65.
On the modelling, analysis and design of protocols - a special class of software structures
机译:
关于协议的建模,分析和设计-一类特殊的软件结构
作者:
Mohamed G. Gouda
;
Eric G. Manning
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Specification;
66.
A language extension for controlling access to shared data
机译:
语言扩展,用于控制对共享数据的访问
作者:
Anita K. Jones
;
Barbara H. Liskov
会议名称:
《》
|
1976年
67.
Sacrificing the calf of flexibility on the altar of reliability
机译:
牺牲可靠性上的灵活性
作者:
Peter J. Denning
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
68.
A defense view of software engineering
机译:
软件工程的防御观点
作者:
William A. Whitaker
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Software engineering;
69.
Software engineering in the development of the TRIDENT Fire Control System
机译:
TRIDENT火控系统开发中的软件工程
作者:
R. M. Pollock
;
W. L. McCoy
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Validation/verification;
70.
Structured Programming
机译:
结构化程序设计
作者:
John C. Carrow
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Structured programming;
71.
Dynamic software engineering
机译:
动态软件工程
作者:
Joseph S. Greene
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Strategic planning;
72.
Software development
机译:
软件开发
作者:
H. D. Mills
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Software design;
73.
Induction as the basis for program verification
机译:
归纳法作为程序验证的基础
作者:
Charles Reynolds
;
Raymond Yeh
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Verification techniques;
74.
An introduction to the construction and verification of Alphard programs
机译:
Alphard程序的构建和验证简介
作者:
Wm. A. Wulf
;
Ralph L. London
;
Mary Shaw
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
75.
Control structure abstractions of the backtracking programming technique
机译:
回溯编程技术的控制结构抽象
作者:
Susan L. Gerhart
;
Lawrence Yelowitz
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Programming methodology;
76.
A generalized assertion language
机译:
通用断言语言
作者:
Tsun S. Chow
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Static verification vs dynamic checking;
77.
Some classes of naturally provable programs
机译:
某些类别的自然可证明程序
作者:
S. K. Basu
;
J. Misra
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Uniform loop programs;
78.
A complexity measure
机译:
复杂度衡量
作者:
Thomas J. McCabe
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Testing;
79.
The design of a template structure for a generalized data structure definition facility
机译:
通用数据结构定义工具的模板结构设计
作者:
Billy G. Claybrook
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Templates;
80.
The design of data type specifications
机译:
数据类型规范的设计
作者:
John V. Guttag
;
Ellis Horowitz
;
David R. Musser
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Specification;
81.
Software development and proofs of multi-level security
机译:
软件开发和多级安全证明
作者:
Peter G. Neumann
;
Richard J. Feiertag
;
Karl N. Levitt
;
Lawrence Robinson
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
82.
An approach to error-resistant software design
机译:
一种抗错误的软件设计方法
作者:
S. S. Yau
;
R. C. Cheung
;
D. C. Cochrane
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
System monitor;
83.
Response to undesired events in software systems
机译:
对软件系统中意外事件的响应
作者:
D. L. Parnas
;
H. Wurges
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Run-time errors;
84.
Recovery blocks in action
机译:
恢复块的作用
作者:
T. Anderson
;
R. Kerr
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Software fault-tolerance;
85.
How to design a system in which modules can be changed on the fly
机译:
如何设计可以实时更改模块的系统
作者:
R. S. Fabry
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Updating data representations;
86.
The design, analysis, and verification of the SIFT fault tolerant system
机译:
SIFT容错系统的设计,分析和验证
作者:
John H. Wensley
;
Milton W. Green
;
Karl N. Levitt
;
Robert E. Shostak
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Reliability modelling;
87.
Test procedures
机译:
测试程序
作者:
David J. Panzl
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Software reliability;
88.
Process Design engineering a Methodology for Real-time Software development
机译:
流程设计工程实时软件开发方法
作者:
S. N. Gaulding
;
J. D. Lawson
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
89.
Automated software engineering through structured data management
机译:
通过结构化数据管理实现自动化软件工程
作者:
C. A. Irvine
;
J. W. Brackett
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
90.
The design of the PSI program synthesis system
机译:
PSI程序综合系统的设计
作者:
Cordell Green
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Program understanding;
91.
Observations on the interaction between coding and efficiency knowledge in the PSI Program Synthesis System
机译:
在PSI程序综合系统中对编码和效率知识之间的交互作用的观察
作者:
David R. Barstow
;
Elaine Kant
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Program synthesis;
92.
Verification of fairness in an implementation of monitors
机译:
验证实施监视器的公平性
作者:
Richard Alan Karp
;
David C. Luckham
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Verification;
93.
Is 'sometime' sometimes better than 'always'?
机译:
“有时”有时比“总是”好吗?
作者:
Zohar Manna
;
Richard Waldinger
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
94.
Signaling in monitors
机译:
显示器中的信号
作者:
John H. Howard
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Synchronization;
95.
Verification of a monitor specification
机译:
验证显示器规格
作者:
Ashok R. Saxena
;
Thomas H. Bredt
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Program correctness;
96.
The Software Development System
机译:
软件开发系统
作者:
C. G. Davis
;
C. R. Vick
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Verification;
97.
Software requirements
机译:
软件需求
作者:
T. E. Bell
;
T. A. Thayer
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Software requirements problems;
98.
A requirements engineering methodology for real-time processing requirements
机译:
实时处理需求的需求工程方法
作者:
Mack Alford
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Software requirements engineering program;
99.
An extendable approach to computer-aided software requirements engineering
机译:
计算机辅助软件需求工程的可扩展方法
作者:
Thomas E. Bell
;
David C. Bixler
;
Margaret E. Dyer
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Software requirements engineering;
100.
Specifications a key to effective software development
机译:
规范是有效开发软件的关键
作者:
P. C. Belford
;
A. F. Bond
;
D. G. Henderson
;
L. S. Sellers
会议名称:
《Proceedings of the 2nd international conference on Software engineering》
|
1976年
关键词:
Verification;
上一页
1
2
下一页
意见反馈
回到顶部
回到首页