Rosalie Steier
Pages 1031-1032
Bryan Kocher
Pages 1033-ff.
Robert L. Ashenhurst
Pages 1034-1046
The notion of program verification appears to trade upon an equivocation. Algorithms, as logical structures, are appropriate subjects for deductive verification. Programs, as causal models of those structures, are not. The success …
James H. Fetzer
Pages 1048-1063
Intelligent advisory interfaces will afford new approaches to help and training problems, however little is known about the usability of such facilities. This recent study indicates that although intelligent help can support
…
John Carroll, Amy Aaronson
Pages 1064-1079
Several factors can influence the behavior of users as they read and write with computers. Recent research indicates that both quality and quantity depend upon page size, legibility, responsiveness and tangibility.
Wilfred J. Hansen, Christina Haas
Pages 1080-1089
A comparison of systems analysis techniques, the Data Flow Diagram (DFD) and part of the Integrated Definition Method (IDEFo), is done using a new developmental framework.
Surya,B. Yadav, Ralph,R. Bravoco, Akemi,T. Chatfield, T. M. Rajkumar
Pages 1090-1097
The elimination of ambiguity, inconsistency, and incompleteness in a Software Requirements Specification (SRS) document is inherently difficult, due to the use of natural language. The focus here is a survey of available techniques …
Alan M. Davis
Pages 1098-1115
We provide tight upper and lower bounds, up to a constant factor, for the number of inputs and outputs (I/OS) between internal memory and secondary storage required for five sorting-related problems: sorting, the fast Fourier …
Alok Aggarwal, Jeffrey,S. Vitter
Pages 1116-1127
Modern Lisp systems make heavy use of a garbage-collecting style of memory management. Generally, the locality of reference in garbage-collected systems has been very poor. In virtual memory systems, this poor locality of reference …
Robert Courts
Pages 1128-1138
CORPORATE Tech Correspondence
Pages 1139-1140
