罗莎莉Steier
625 - 626页
保罗·亚伯拉罕
628 - 629页
罗伯特·l·Ashenhurst
630 - 637页
设计代表着相互冲突的目标之间的妥协，2000年个人电脑的设计也不例外。我们寻求一些东西，既能舒适地融入人们的生活，又能发生巨大的变化……
B. W. Mel, S. M. Omohundro, A. D. Robison, S. S. Skiena, K. H. Thearling
638 - 648页
最近的研究表明，机器计算和数学理论已经携手并进，并已证明彼此大有裨益。
m·j·卡拉汉，d·霍夫曼，j·t·霍夫曼
648 - 661页
软件测试领域涵盖了数学理论，验证的艺术和实践，以及软件开发的方法论。要涵盖这个范围需要一本教科书(或几篇文章)，而不是三篇文章。但是…
r .哈姆雷特
662 - 667页
在早期的工作中，为了形式化任何良好的基于程序的充分性标准应满足的属性，引入了一组初步的软件测试数据充分性公理。在这里，我们将这项工作扩展到…
e . j . Weyuker
668 - 675页
开发了一种创建功能测试套件的方法，在该方法中，测试工程师分析系统规范，编写一系列正式的测试规范，然后使用生成器工具生成测试描述……
T. J.奥斯特兰德，M. J.巴尔塞
676 - 686页
我们可以通过检查多年来测试过程模型和专业水平的变化来追溯软件测试工程的发展。好的软件测试实践的当前定义包括一些……
D. Gelperin, B. Hetzel
687 - 695页
将内部生成的程序时钟与量子调度器结合使用，可以创建在构建确定性计算机系统中非常有用的自定时程序。
s . b . Guthery
696 - 702页
模型在组织中一直占据着一个模糊的位置。管理层对决策的管理科学和运筹学模型的接受程度远远落后于这些领域的技术进步。
d . r . Dolk
704 - 718页
Warren抽象机(WAM)已经成为一种普遍接受的标准Prolog实现技术。垃圾收集是任何Prolog系统实现中的一个重要方面。介绍了WAM的概况。
K. Appleby, M. carlson, S. Haridi, D. Sawhlin
719 - 741页
本文提出了一种将两个或多个乘性线性同余生成子(mlcg)合并的有效方法，并提出了几种新的生成子。各个mlcg，组成了提议的组合生成器，满足…
p L 'Ecuyer
742 - 751页
矩形剖分是对一个矩形空间R info n≱1个不相交的矩形{R的分割
1, r
2，…，r
n．在地板空间设计和非常大规模的集成中，有两类解剖结构特别有趣……
美国茶室
752 - 763页
在组织决策中，图形图表通常被认为是一种优于传统表格表示的报告技术。然而，实验文献只证明了部分……
S. L. Jarvenpaa, G. W. Dickson
764 - 774页
Peter j .丹宁
781 - 782页
