1982年全美计算机会议论文集 上PDF电子书下载

目 录 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