《1982年全美计算机会议论文集 上》求取 ⇩

目 录3

译 序3

原 序3

前 言3

硬件／计算机体系结构3

固件质量保证3

2.25英时固定／可换式磁盘驱动器12

实用的CMOS微型处理机系统18

MC68000系列和分布式处理28

利用操作标准增强系统性能33

采用Z8000系列的分布式处理47

采用iAPX186微型处理机系统的分布式处理51

高性能，大容量微型计算机58

实际应用中的扩展单片原理63

用于微型计算机的最新VLSI技术70

易于编程的单片微型计算机73

窄片结构的微型计算机及其软件特色84

有动态体系结构的强功能系统的分布式操作系统90

多微型计算机系统通用积木式部件的软件测试技片106

研究专用功能体系结构的方法116

SIMD计算机在信号处理中的应用127

一种面向表处理的数据流机体系结构136

先行网络146

用于甚高速实时处理的可重新配置的多计算机网络162

MPP：卫星图象处理超级系统180

分布式超级系统的最佳设计187

配置NS16000系列的分布式处理192

利用并行性增强非数值应用的性能199

软件工程199

软件系统的性能工程典型分析210

供信号处理用的收缩处理机217

并行处理大型科学问题224

分布式／多处理机系统的软件设计228

性能模型在系统设计中的使用239

设计过程中的性能模拟245

MEDOC：一种设计和评价大型实时系统的方法251

探索排队程序包：它的过去，现在与未来261

编写终端用户文件时读者对象的确认269

计算机辅助文件编制273

软件工程师的造就：用户的意图278

由自动化环境支援的工业软件工程研究方法286

定义和实现软件研制环境的方法292

JOVIAL程序设计支援环境304

Ada语言对软件工程的影响311

Ada程序设计支援环境的重要性317

对新应用软件生成程序的挑战和要求325

程序的生成程序及其对程序员生产率的影响335

IBM的应用软件生成程序342

应用软件生成程序的典型分析345

以计算机为基础的系统SARA设计方法的要求确定及其接口350

系统生命周期中要求分析的作用361

介绍应用软件生成程序368

软件产品的质量保证372

软件维护的质量保证程序377

独立的角色：校验和验证及配合性测试387

一个大型商务数据处理装置的质量保证392