pdbain@wateng.UUCP (Peter Bain) (07/09/85)
%A Karen A. Frankel
%T Toward Automating the Software Development Cycle
%J CACM
%I ACM
%V 28
%N 6
%D June 1985
%P 578-589
%X A look at how expert systems and how the management of large-scale software
development projects can improve productivity
%K knowledge based software assistant large software design message
trace analyser seviora gupta artificial intelligent automatic programming
%A P.-J. Courtois
%T On Time and Space Decomposition of Complex Structures
%J CACM
%I ACM
%V 28
%N 6
%D June 1985
%P 590-603
%X Certain forms of complexity do not meet the conditions under which
decomposition is a straightforward and valid approximation - they call
for more advanced evaluation
%K complexity markov models queueing systems theory simulation
%A John Beidler
%A Richard H. Austing
%A Lillian N. Cassel
%T Computing Programs in Small Colleges
%J CACM
%I ACM
%V 28
%N 6
%D June 1985
%P 605-611
%X The ACM Small College Task Force addresses curricula questions in
light of the specific requirements and characteristics of small colleges
%K computer science education university
%A David R. McIntyre
%A Michael A. Pechura
%T Data Compression Using Static Huffman Code-Decode Tables
%J CACM
%I ACM
%V 28
%N 6
%D June 1985
%P 612-616
%X The use of static Huffman techniques results in a compression of
source programs that is often better than the tailored dynamic Huffman
scheme
%K data compression schemes coding theory file compaction
%A Leonard J. Bass
%T A Generalized User Interface for Applications Programs (II)
%J CACM
%I ACM
%V 28
%N 6
%D June 1985
%P 617-627
%X To provide maximum end-user control, the display is divided into
components whereby grouping relationships and logic within the display
become functions of the user interface, not the application program
%K human factors languages screen management report writers
%A Alan W. Biermann
%A Robert D. Rodman
%A David C. Rubin
%A J. Francis Heidlage
%T Natural Language with Discrete Speech as a Mode for
Human-to-Machine Communication
%J CACM
%I ACM
%V 28
%N 6
%D June 1985
%P 629-636
%X Voice-driven natural language systems are capable of recognizing
most sentences spoken by cooperative, intelligent users in the
real-time accomplishment of tasks
%K speech-recognition human user interfaces processing
%A Shimon Even
%A Oded Goldreich
%A Abraham Lempel
%T A Randomized Protocol for Signing Contracts
%J CACM
%I ACM
%V 28
%N 6
%D June 1985
%P 637-647
%X A Randomized contract-signing protocol uses a 1-out-of-2 oblivious
transfer subprotocol that is axiomatically defined
%K cryptography oblivious transfer public key cryptosystems
certified electronic mail
--
- peter bain
...!{allegra|decvax|clyde|ihnp4 }!watmath!wateng!pdbain
hard mail: CCNG, CPH-2369A, University of Waterloo,
Waterloo, Ont. Canada N2M 5G4
telephone: (519) 885-1211 x2810