Peter j .丹宁
629 - 631页
通过构建实验数据库系统System R，验证了关系型数据模型的可用性优势在一个功能完备、性能优良的系统中得以实现。
唐纳德·d·钱伯林、莫顿·m·阿斯特拉汉、迈克尔·w·布拉斯根、詹姆斯·n·格雷、w·弗兰克·金、布鲁斯·g·林赛、雷蒙德·洛里、詹姆斯·w·梅尔、托马斯·g·普莱斯、佛朗哥·普佐鲁、帕特里夏·格里菲斯·塞林格、马里奥·施科尔尼克、唐纳德·r·斯拉茨、欧文·l·特雷格、
632 - 646页
彼得·韦格纳
647 - 678页
本文描述了计算机信息系统与管理(CISM)的研究，并介绍了八个组织中与组织结构变化有关的选定结果。在五个组织中
没有inpe变化……
丹尼尔·罗比
679 - 687页
描述了一种在多处理器操作系统中减少信号量和预列表争用的方法。证明了它的正确性。其性能与传统实现进行了比较。一个现成的列表实现了…
彼得·j·丹宁，t·唐·丹尼斯，杰弗里·a·布伦菲尔德
687 - 699页
STRUM系统是为了将软件工程技术应用于微程序设计而创建的。它提供了允许微程序员使用高级语言、结构化编程和正式程序验证的工具……
大卫·a·帕特森
699 - 709页
718 - 719页
