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