罗莎莉Steier
1031 - 1032页
布莱恩Kocher
页1033 - ff。
罗伯特·l·Ashenhurst
1034 - 1046页
程序验证的概念似乎利用了一种模棱两可的说法。算法，作为逻辑结构，是演绎验证的适当主题。程序，作为这些结构的因果模型，不是。成功……
詹姆斯·h·菲尔兹
1048 - 1063页
智能咨询接口将提供新的方法来帮助和培训问题，然而，人们对这类设施的可用性知之甚少。最近的这项研究表明，尽管智能帮助可以支持……
约翰·卡罗，艾米·阿隆森
1064 - 1079页
当用户使用计算机读写时，有几个因素会影响用户的行为。最近的研究表明，质量和数量都取决于页面大小、易读性、响应性和可视性。
威尔弗雷德·汉森，克里斯蒂娜·哈斯
1080 - 1089页
在新的开发框架下，对系统分析技术，数据流图(DFD)和部分集成定义方法(IDEFo)进行了比较。
叙利娅,B。Yadav,拉尔夫,R。Bravoco厉害,T。查特菲尔德，t·m·拉杰库马尔
1090 - 1097页
由于使用自然语言，在软件需求规范(SRS)文档中消除歧义、不一致和不完整是固有的困难。这里的重点是对可用技术的调查……
艾伦·m·戴维斯
1098 - 1115页
我们提供了严格的上界和下界，最高可达一个常数因子，用于五个与排序相关的问题所需的内部存储器和二级存储器之间的输入和输出(I/OS)数量:排序、快速傅里叶……
阿洛克Aggarwal, Jeffrey S。维特
1116 - 1127页
现代Lisp系统大量使用垃圾收集风格的内存管理。一般来说，垃圾收集系统的参考位置非常差。在虚拟内存系统中，这个糟糕的引用位置…
罗伯特法院
1128 - 1138页
企业技术通信
1139 - 1140页
