大卫Brandin
84 - 85页
罗伯特·l·Ashenhurst
86 - 88页
罗莎莉Steier
89页
许多人批评国防部的新计算机语言Ada，说它太大、太复杂或太难使用。他们对吗?有没有什么简化的方法可以让Ada不…
布莱恩a Wichmann
98 - 103页
软件开发的传统方法正受到新思想的挑战，其中许多可以组织成一种称为“操作”方法的替代决策结构。解释了操作方法……
帕梅拉Zave
104 - 118页
通过五种性能分析工具的协同使用，可以影响信息系统设计并准确预测最终的性能参数。互补的方法被用来首先预测然后…
戈登·e·安德森
119 - 125页
计算机系统的用户现在已经习惯了在线帮助系统的便利，通常要求在他们购买的计算机中提供这些便利。然而，最近关于某些援助的有效性的研究…
雷蒙德·c·霍顿
126 - 133页
程序被赋予了新的语义，其优点是用一阶谓词编写的规范可以通过谓词演算的规则逐步细化到一个程序。语义允许自由混合…
埃里克·c·r·海纳
134 - 143页
本文的第一部分提出了一种新的程序语义。每个程序都被认为是一个受限制的表示法的谓词，它指定了执行该程序的计算机的可观察行为。我们认为……
埃里克·c·r·海纳
144 - 151页
雅赛门特
151.1页
梁友东，Brian A. Barsky
151.2页
我们提出了一种不同的方法来寻找一个最优的计算顺序;它利用了矩阵大小的差值和矩阵中非零元素数量的差值。因此,这个……
尼古拉澳网
152 - 156页
