reAnnual Index, Vol. 2, 1985

This index covers all technical items that appeared in this periodical Cduring 1985, and items from prior years that were commented upon orcorrected in 1985. The index is divided into an Author Index and a Casey, Liam,seeGammage, Neil,S-MMay859-19

Subjectndex,boharrangdalphabtically.Cercone, Nick, John Boates, and Max Krause. An interactive system forSubject Index, both arranged alphabetically. C fining perfect hash functions; S-MNov 8538-53The Author Index contains the primary entry for each item; this Chakrapanl, N. Review of 'Programming Languages: A Grand Tour

entry is listed under the name of the first author and includes coauthor (2nd ed.)' (Horowitz, E.; 1985); S-MNov85 104names, title, location ofthe item, and notice ofcorrections and comments Chand, Donald R. Review of 'Essential Systems Analysis' (McMenamin,if any. Cross-references are given from each coauthor name to the name S. M., and Palmer, J. F.; 1984); S-MJul85 110-111ofthe corresponding first author. The location of the item is specified by Cheriton, David R.,see Berglund, Eric J., S-MMay85 30-39thejournal name (abbreviated), year, month, and inclusive pages. Clarke,Lori A., see Wolf, Alexander L.,S-MMar85 58-71

The Subject Index contains several entries for each item, each Cook, Robert P.,see LeBlanc, Thomas J., S-MMay 8540-48consisting of a subject heading, modifying phrase(s), first author's name, Coon, Laurence A. Review of 'Compiler Construction' (Waite, W. M.,and enough information to locate the item. For coauthors, title, and Goos, G.; 1984); S-MSep 8585comments, and corrections if any, etc., it is necessary to refer to theprimary entry in the Author Index. D

Davis, Ruth E. Logic programming and Prolog: A tutorial; S-MSep 8553-62

Dongarra, J. J., Brian T. Smith, and Danny C. Sorenson. AlgorithmAuthor Index design for different computer architectures; S-MJul8579-80Douglass, Robert J. A qualitative assessment of paralelism in expert

A systems; S-MMay85 70-81

Akman, Van. Review of 'The Hacker's Dictionary: A Guide to theWorld of Computer Wizards' (Steele, Guy L., Jr., et al.; 1983); ES-MMayl85110

Akman, Varol. Review of 'Algorithms' (Sedgewick, R.; 1983); S-MNov Emnrath, Perry. Xylem: An operating system for the Cedar85104 multiprocessor;S-MJul8530-37

Aflen, John R., and Ken Kennedy. A paralle programming Etlinger, Henry. Review of 'Database Analysis and Design'environment; S-MJul 8521-29 (Hawryszkiewycz, 1. T.; 1984); S-MMar85 109-110

Anderson, Peter G. Review of 'System Design with Ada' (Buhr, R. J. A.;1984); S-MMar85 110

Anderson, William L. Review of 'Second Self-Computer and the Human FSpirit' (Turkle, S.; 1984); S-MMar85107-108

Arvind. The tagged-token data flow machines; S-MJul85 70-71 Fisher, David A., Guest Ed., see Urban, Joseph E., Guest Ed., S-MMarAustin, Donald M. Applied Mathematical Sciences Research Program, 856-7

Department ofEnergy; S-MNov 8567 Fox, Geoffrey C. Using the Caltech Hypercube; S-MJul8573Frank, Ariel J., Larry D. Wittie, and Arthur J. Bernstein. Multicast

communication on network computers; S-MMay8549-61B Fridrich, Marek, and William J. Older. Helix: The architecture of the

XMS distributed file system; S-MfMay 8521-29Baker, Theodore P., and Gregory A. Riccardi. Ada tasking: From Frieder, Gideon, Gabor T. Herman, Craig Meyer, and Jayaram Udupa.

semantics to efficient implementation; S-MMar85 34-46 Large software problems for small computers: An example fromBarbacci, Mario R., A. Nico Habermann, and Mary Shaw. The Software medical imaging; S-MSep 85 37-47

Engineering Institute: Bridging practice and potential; S-MNov854-21

Baron, Robert, Richard Rashid, Ellen Siegel, Avadis Tevanian, and GMicheal Young. Mach-i: An operating environment for large-scale multiprocessor applications;SMJul8565-67 Gammage, Neil, and Liam Casey. XMS: A rendezvous-based distributed

Berglund, Eric J., and David R. Cheriton. Amaze: A multiplayer system software architecture;S-MMay85 9-19computer game,S-MMay8530-39 Gannon, John D., see Weiser, Mark D.,S-MMar85 80-85

Bernwstein, Arthur J.,see Frank, Ariel J., S-MMay 8549-61 Gemignani, Michael C. Who owns what software produces?; S-MSep 85Birjandi, Abbas. AC compiler for the Macintosh (Software review); S-M 48-52

Nov8579-80 Gibln, Jean. Review of 'The Human Factor: Designing ComputerBoates,John,seeCercone, Nick,S-MNov8538-53 Systems for People' (Rubenstien, R., and Hersch, H. M.; 1984);Borgidn, Alexander. Features of languages for the development of S-MJul85111

information systems at the conceptual level; S-M Jan 85 63-72 Giloi, W. K. Introducing GMD-TUB FIRST; S-MfJul 8575-77Brecher, Steve. Macintosh terminology clarified; S-MJul8591 Glass, RobertL Software theft; S-MJul85 82-85Brown, Aison, see Siegel, Pete, S-MNov8564 GolIn, Eric J., see Rubin, Robert V.,S-MMar8573-79Brown, Marc H., and Robert Sedgewick. Techniques for algorithm Goodman, Gordon. Review of 'Personal Computers for Education'

animation; S-MJan 85 28-39 (Bork, A.; 1985); S-MSep8583-84Browne, J. C. Performance evaluation of parallel algorithms and Gottlieb, Allan. An update on the NYU Ultracomputer; S-M Jul 85

architectures; S-MJul8578-79 71-72

106 IEEE SOFTWARE

Gould, Alan E. Review of 'Up and Running: A Case Study of Successful Lee, Lawrence. Software Productivity and Computational MathematicsSystems Development'(Hansen, H. D.; 1984); S-MJul85 109 Program for Supercomputers, NSF Office of Advanced

Gray, Paul. Review of 'Controlling Software Projects: Management, Scientific Computing;S-MNov8560-61Measurement & Estimation' (DeMarco, T.; 1982); S-M Jul 85 Lewis, Ted G. MS-DOS and Unix (Software review); S-MJan 85 87-88108-109 Lewis, Ted G. Apple Macintosh software (Software review); S-MMar 85

Gurd, J. R., and J. Sargeant. Parallel data flow programming; S-MJul 85 89-9268-71 Lewis, Ted G. Modula-2: Language of the future? (Software review); S-

Guttag, John V., James J. Homing, and Jeannette M. Wing. The Larch MSep 8566-68family of specification languages; S-MSep 8524-36 LIffers, Rainer H. Review of 'Software Lifecycle Management: The

Incremental Method' (Cave, W. C. and Maymon, G. W.; 1984);S-MNov 85103

H Lindquist, Timothy E. Assessing the usability of human - computerinterfaces; S-MJan 8574-82

Habermann, A. Nico, see Barbacci, Mario R., S-MNov 854-21 Luckham, David C., and Friedrich W. von Henke. An overview ofAnna,Haskins, Robert. Review of 'Mathematics for the Analysis of a specification language for Ada; S-MMar85 9-22

Algorithms (2nd ed.)' (Greene, D. H., and Knuth, D. E.; 1982); Luckham, David C.,see Helmbold, David, S-MMar8547-57S-MSep 85 85 Lundstrom, Stephen F., Guest EA, and Duncan H. Lawrie, Guest Ed.

Helmbold, David, and David C. Luckham. Debugging Ada tasking Experiences with distributed systems (Special issue intro.); S-Mprograms; S-MMar8547-57 May 85 5-6

Herman, Gabor T.,see Frieder, Gideon, S-MSep 8537-47 Lutz, Michael. Review of 'The Unix Programming Environment'Hoag, Tom. The HEP/UPX operating sys'em; S-MJul 85 77-78 (KeLm ighan, B. W., and Pike, R. r1984)ES-MMay85 108Holt, John D. Review of 'Handbook of Software Engineering' (Vick, C.

V., and Ramamoorthy, C. V., Eds.; 1984); S-MJul85 107Horning, James J., see Guttag, John V., S-MSep 8524-36 MHorowitz, Ellis, Alfons Kemper, and Balaji Narasimhan. A survey of

application generators; S-MJan 8540-54 Madlin, S. Review of 'Writing and Analyzing Effective ComputerHowden, William E. The theory and practice of functional testing; S-M System Documentation (Stuart, A.; 1984); S-MSep 85 87

Sep 856-17 Maples, Creve. Analyzing software performance in a multiprocessorenvironment; S-MJul85 50-63

Martin, Joanne L. International parallel processing projects: A softwareperspective (Special section intro.); S-MJul85 65

Martin, Joanne L. National supercomputer research centers; S-M NovIrwin, Robert J. Review of 'Effective Design ofCODASYL Data Base' 8555-67

(Fadok, G. T.; 1985); S-MSep 8586 Martin, Joanne L. Center for Supercomputing Research andDevelopment, University of Illinois; S-MNov 85 55-58

Martin, Joanne L., GuestEa Operating systems and environments forJ large-scale parallel processors (Special issue intro.); S-MJul 85

4-5Johnson, Guy. Review of'TheTeXbook' (Knuth, D. E.; 1984); S-MMar Mathur, Frank P.,see Rohr, John A., S-MJul 85 90-91

85108-109 McKlinzie, Wiley. Review of 'Charles Babbage-Pioneer of theComputer' (Hyman, A.; 1982); S-MJan 85 100-101McKinzie, Wiley. Review of 'Herman Hollerith-Forgotten Giant of

Information Processing' (Austrian, G. D.; 1982); S-M Jan 85K 101-102

McMullin, Paul R., see Weiser, Mark D., S-MMar85 80-85Kennedy, Kefns,seeAllen it,Jh El.,S-MJ&n8240-54 Meyer, Bertrand. On formnalism in specifications; S-MJan 85 6-26Kennedy,Ken,sweAlleon,Jwoihn R.,S-MJul 8521-29 Meyer, Craig, see Frieder, Gideon, S-MSep 85837-47Kitchen, Andrew. Review of 'Fundamentals of Interactive Computer Mili, All. Review of 'The Evolution of Programs' (Dershowitz, N.;

Graphics' (Foley, J. D., and Van Dam, A.; 1982); S-MMar 85 1983); S-MMay85 109-110109 Mullin, Albert A. Review of 'Alan Turing-The Enigmna' (Hodges, A.;Krause, Max,see Cercone, Nick, S-MNov85 38-53 1983); S-MJan 85 102-103

Mullin, Albert A. Review of 'Programming Embedded Systems withAda' (Downs, V. A., and Goldsack, S. J.; 1982); S-MMar 85

L 110-111Mullin, Albert A. Review of 'Life Cycle Support in the Ada

Lannutti, Joseph E. Supercomputer Computations Research Institute, Environment' (McDermid, J. and Ripken, K.; 1984); S-MNovTallahassee, Florida; S-MNov85 66 85105

Lawrie, Duncan H., GuestEd.,see Lundstrom, Stephen F., GuestEd., S- Muss, John D. Software engineering: The future ofa profession; S-MJanMMay85 5-6 8555-62

LeBlanc, Thomas J., and Robert P. Cook. High-level broadcast Myers, Ware. MCC: Planning the revolution in software; S-M Nov 85communication for local area networks; S-MMay85 40-48 68-73

+ Cbeck author entry for coauthors t Check author entry for subsequent corrections/comments

November 1985

N Shaw, Myril Clement, and Susan Shaw. Review of 'C Primer Plus'(Mitchell, W., et al.; 1984); S-MMay 85 110-111

Narain, Sanjai. Mycin: Implementing the expert system in Loglisp; S-M Shaw, Myril Clement, and Susan Solita Shaw. Review of 'MasteringMay 85 83-88 Symphony' (Cobb, D.; 1984); S-MNov85 102-103

Narasimban, Balaji, see Horowitz, Ellis, S-MJan 8540-54 Shaw, Susan, see Shaw, Myril Clement, S-MMay85 1 10-1 11Shaw, Susan Solita, see Shaw, Myril Clement, S-MNov 85 102-103Shriver, Bruce D.,hE; From the editor-in-chief(E); S-MJan 854-5

0 Siegel, Ellen, see Baron, Robert, S-MJul8565-67Siegel, Pete, and Allison Brown. Cornell NSF Supercomputer Center,

Older, William J., see Fridrich, Marek, S-MMay 8521-29 Cornell University; S-MNov85 64Olson, Robert. Parallel processing in a message-based operating system; Smith, Brian T., see Dongarra, J. J., S-MJul 8579-80

S-MJul8539-49 Sorenson, Danny C., see Dongarra, J. J., S-MJul8579-80Orszag, Steven A. John von Neumann Center for Scientific Computing,

Princeton, New Jersey; S-MNov 85 63-64 T

Tevanian, Avadis, see Baron, Robert, S-MJul 85 65-67

Patton, Peter C. Parallel processing research program; S-MJul 85 67-68 UPaulk, Mark C. The ARC network: A case study; S-MMay 8562-69Petschenik, Nathan H. Practical priorities in system testing; S-MSep 85 Udupa, Jayaram, see Frieder, Gideon, S-MSep 85 37-47

18-23 Urban, Joseph E., Guest Ed, and David A. Fisher, Guest Ed. AdaPfeiffer, Wayne. Computing at the San Diego Supercomputer Center, environments and tools (Special issue introl); S-MMar 856-7

University ofCalifornia at San Diego; S-MNov85 60-62Poston, Robert M. Preventing software requirements specification

errors with IEEE 830; S-MJan 85 83-86 VPoston, Robert M. IEEE 730: A guide to writing successful SQA plans;

S-MMar 85 86-88 von Henke, Friedrich W.,see Luckham, David C., S-MMar 859-22Poston, Robert M. Selecting software documentation standards; S-M

May 8590-91Poston, Robert M. IEEE software standard seminars; S-MJul 85 87-89 WPoston, Robert M. Workaday software requirements specifications; S-M

Sep 85 63-65 Weiser, Mark D., John D. Gannon, and Paul R. McMullin. ComparisonPoston, Robert M. Looking for a test comprehensiveness measure S-M ofstructural test coverage metrics; S-MMar85 80-85

Nov 85 76-79 Wileden, Jack C., see Wolf, Alexander L., S-MMar8558-71Pratt, Terrence W. Pisces: An environment for parallel scientific Wilhelmson, Robert B. National Center for Supercomputing

computation; S-MJul 857-20 Applications, University ofIllinois;S-MNov8565-66Wing, Jeannette M., see Guttag, John V., S-MSep 8524-36Wittie, Larry D., see Frank, Ariel J., S-MMay8549-61Wolf, Alexander L., Lori A. Clarke, and Jack C. Wileden. Ada-based

R support for programming-in-the-large; S-MMar8558-71Wolfe, David C., Jr. Review of 'Software Engineering with Modula-2

Rashid, Richard, see Baron, Robert, S-MJul8565-67 and Ada' (Wiener, R., and Sincovec, R.; 1984); S-M Jul 85Reiss, Steven P,seeRubin, Robert V., S-MMar 8573-79 109-110Riccardi, Gregory A., see Baker, Theodore P., S-MMar85 34-46Rigabee, Peter A. Software requirements to access parallelism; S-MJul y

8574-75Rohr, John A., and Frank P. Mathur. Word processor's features benefit

technical writers (Software review); S-MJul 85 90-91 Young, Micheal,see Baron, Robert, S-MJul8565-67Rosenblum, David S. A methodology for the design of Ada

transformation tools in a DIANA environment; S-M Mar 8524-33

Rubey, Raymond J. Review of 'Software System Testing and QualityAssurance' (Beizer, B.; 1984); S-MJul 85107-108 Sub"ect Index

Rubin, Robert V., Eric J. Golin, and Steven P. Reiss. Thinkpad: A Jgraphical system for programming by demonstration; S-MMar A8573-79

Rudd, David. TeleSoft Ada version 1.3 (Software review); S-MMay 85 Aimation99-100Anmto

Rudolph, Larry, see Segall, Zary, S-MNov,85 22-37 algorithm animation; techniques for dynamically changing graphicalR , s ar8-37 representations of programs. Brown, Marc H., + , S-MJan 8528-39

S BSargeant, J., see Gurd, J. R., S-MJul 8568-71Sastry Mugigonda N. Review of 'Structure and Interpretation of Book reviews

Computer Programs' (Ableson, H., and Sussman, G. J.; 1985); Alan Turing-The Enigma (Hodges, A.; 1983). Mullin, AlbertA., S-S-MSep 85 84-85 MJan 85 102-103

Schachter, Lorne H. Review of 'The Design of Operating Systems for Algorithms (Sedgewick, R.; 1983). Akman, Varol, S-MNov 85 104Small Computers' (Kaisler, S. H.; 1983); S-MMay 85111 C Primer Plus (Waite, M., et al.; 1984). Shaw, Myril Clement, +

eck Paul. Supercomputing Research Center, Greenbelt, Maryland; S-MMay85 110-111S-MNov8559 Charles Babbage-Pioneer of the Computer (Hyman, A.; 1982).

Sedgewick, Robert, see Brown, Marc H., S-MJan 85 28-39 McKinzie, Wiley, S-MJan 85100-101Segall, Zary, and Larry Rudolph. PIE: A programming and Compiler Construction (Waite, W. M., and Goos, G; 1984). Coon,

instrumentation environment for parallel processing; S-MNov LarenceA., S-MSep85858522-37 Controlling Software Projects: Management, Measurement 86

Sexton,JohnA,Review of'Real WorldUnix' (Halamka, J.D.; 1984);S- Estimation (DeMarco, T.; 1982). Gray, Paul, S-M Jul 85MMay8S 109 108-109

Sexton, Johnl A. Review of 'Current Practices in Software Development: Current Practices in Software Development: A Guide to SuccessfulA Guide to Successful Systems' (King, David; 1984); S-MNov Systems (King, David; 1984). Sexton, John A., S-MNov 8510285102 Database Analysis and Design (Hawryszkiewycz, I. T.; 1984).

Shawr, Mary, seeBarbacci, Mario R., S-MNov85421 Etlinger, Heniy, S-MMar85109-110

108 IEEE SOFTWARE

Effective Design of CODASYL Data Base (Fadok, G. T.; 1985). ComputerlanguagesIrwin, RobertJ., S-MSep 85 86 Ada-based support for programming-in-the-large. Wolf, Alexander

Essential Systems Analysis (McMenamin, S. M., and Palmer, J. F.; L., +, S-MMar8558-711984). Chand, DonaldR., S-MJul85 110-111 Ada environments and tools (special issue) S-MMar856-71

Fundamentals of Interactive Computer Graphics (Foley, J. D., and Ada tasking; from semantics to efficient implementation. Baker,Van Dam, A.; 1982). Kitchen, Andrew, S-MMar85 109 TheodoreP. +, S-MMar8534-46

Handbook ofSoftware Engineering (Vick, C. V., and Ramamoorthy, Anna, specification language for Ada; overview. Luckham, DavidC. V.,Eds.; 1984). Holt, John D., S-MJul 85 107 C., + , S-MMar85 9-22

Herman Hollerith-Forgotten Giant of Information Processing features of languages for development of information systems at(Austrian, G. D.; 1982). McKinzie, Wiley, S-MJan 85101-102 conceptual leveL Borgida, Alexander, S-MJan 8563-72

Life Cycle Support in the Ada EnviroAnent (McDermid, J. and Larch family of specification languages. Guttag, John V., + , S-MRipken, K.; 1984). Muffim, AlbertA., S-MNov85 105 Sep 8524-36

Mastering Symphony (Cobb, D.; 1984). Shaw, Myril Clement, + Loglisp implementation of Mycin medical expert system. Naran,S-MNov85 102-103 Saja,p-MMar8838

Mathematics for the Analysis of Algorithms (2nd ed.) (Greene, D. MouaiS-MMay858am88 oH., and Knuth, D. E.; 1982). Haskin4 Robert, S-MSep 85 85 Modulae2 anTdM2SDS progr85666g enviroment; software review.

Personal Computers for Education (Bork, A.; 1985). Goodman, Proiogand G.,S-MSep tr Di hE MeGodon, S-MSep8583-84 ~~~~~~Prolog and logic progranming; tutoria Devi, Ruthl E., S-MSep 85Grordon, S-MSep 8583-84536.Programming Embedded Systems with Ada (Downs, V. A., and 53Cw2

Goldsack, S. J.; 1982) Muffin, Albert A., S-MMar 85 110-111 Computer maintenance; cf. Software maintenanceProgramming Languages: A Grand Tour (2nd ed.) (Horowitz, E.; Computer networks

1985). Chakrapani, N., S-MNov85 104 multicast oommunication on network computers4 Fn6k, AndReal World Unix (Halamka, J. D.; 1984). Sexton, John A., S-MMay J., + , S-MMay854961

85109 Computer network; cf. Local area networksSecond Self-Computer and the Human Spirit (Turkle, S.; 1984). Computer operating systems

Anderson, William L., S-MMar85 107-108 Computer pmmingprofesionSoftware Engineering with Modula-2 and Ada (Wiener, R., and future of software engineering profession. Musa,JohnD., S-MJan 85

Sincovec, R.; 1984). Wolfe, David C., Jr., S-MJul85 109-110 55-62Software Lifecycle Management: The Incremental Method (Cave, Computer reliability; cf. Software reliability

W. C., and Maymon, G. W.; 1984). Liffers, RainerH., S-MNov Computer testing; cf. Software testing85103 Computers; cf. Distributed computing; Parallel processing; Personal

Software System Testing and Quality Assurance (Beizer, B.; 1984). computers; SupercomputersRubey, RaymondJ., S-MJul85 107-108

Structure and Interpertation of Computer Programs (Ableson, H.,and Sussman, G. J.; 1985). SastryMugigonda N., S-M Sep 85 D84-85

System Design with Ada (Buhr, R. J. A.; 1984). Anderson, Peter G., Data commuaication; cf. Computer networks; Local area networksS-MMar85 110 Data structures; cf. Software design/development

The Design of Operating Systems for Small Computers (Kaisler, S. Database systemsH.; 1983). Schachter, LorneH, S-MMay 85 111 selecting test cases for system testing of PICS/DCPR database

The Evolution of Programs (Dershowitz, N.; 1983) Mil, Ali, S-M application; priority rules. Petschenik, Nathan H, S-MSep 85May85 109-110 18-23

T'he Hacker's Dictionary: A Guide to the World of Computer Daaaesystems; cf. Information systemsWizards (Steele, Guy L., Jr., et al.; 1983). Akman, Van, S-M Displays;cef.Computer graphicsmay85 110 DistributedcomputingThe Human Factor: Designing Computer Systems for People Amaze mplayg(Rubenstien, R., and Hersch, H. M.; 1984). Giblin, Jean, S-M Berglund,tipca.,e ScMpMaegame;dist3buted implementatioJul895 111AR netwrglnd forbaicsJti+c ms-MlMayst85s30-39 diisrbueThe TeXbook (Knuth, D. E.; 1984). Johnson, Guy, S-M Mar 85 ARCnetworkforballisticmissilesystems;casestudyindistributed108-109 processing Paulk, Mark C., S-MMay85 62-69

The Unix Programming Environment (Kernighan, B. W., and Pike, experiences with distributed systems (special issue) S-M May 85R.; 1984). Lutz, Michael, S-MMay85 108 5-69

Up & Running: A Case Study of Successful Systems Development Helix, XMS distributed file system; architecture. Fridrich,(Hansen, H. D.; 1984). Gould, AlanE., S-MJu185 109 Marek, + , S-MMay8521-29

Writing and Analyzing Effective Computer System Documentation XMS, rendezvous-based distributed system software architecture.(Stuart, A.; 1984). Madlin, S., S-MSep 8587 Gammage, Neil, + , S-MMay859-19

Broadcasting Distributed computing; cf. Computer networkshigh-level broadcast communication for local area networks. Documentation

LeBlanc, Thomas J., + , S-MMay 85 40 48 selecting software documentation standards. Poston, RobertM, S-Mmulticast communication on network computers Frank, Ariel May 85 90-91

J., + , S-MMay 8549-61

C EEmployment; cf. Computer programming profession

Communication swithing; cf. Packet switching Expert systemsCompilers forMacintosh;softwarere . . . Loglisp implementation of Mycin medical expert system. Narain,C complerf7o9r M8actosh; software review. Brand4 Abbas, S-M Sanjai, S-MMay8583-88TeleSoft Ada version 1.3; software review. Rudd, David, S-MMay 85 parallehsm in expert systems; qualitative assessment Douglass,

99-100 RobertJ., S-MMay85 70-81Computer commuaication+; cf. Computer networksComputer graphics

ThinkPad, graphical system for programming by demonstration. FRubin, Robert V., + , S-MMar8573-79

Computer interfaces, human factors File systemsassessing usability of human - computer interfaces. Lindquist, Helix, XMS distributed file system; architecture. Fridrichi,

TimothyE., S-MJan 8574-82 Marek, + ,S-MMay8S21-29Computer language processors; cf. Compilers; Microcomputer language interactive system for finding perfect hash functions. Cercone,

processors Nick, + ,S-MNov8538-53

+ Check author entry for coauthors t Check author entry for subsequent corretions/comments

November1985 109

G PGames Packet switching

Amaze multiplayer computer game; distributed implementation. multicast communication on network computers. Frank, ArielBerglund, EricJ., + , S-MMay8530-39 J., + ,S-MMay8549-61

Graphics; cf. Computer graphics Parallel processingAda tasking; from semantics to efficient implementation. Baker,

TheodoreP., + , S-MMar853446H automated environments for parallel programming Allen, John

R., + ,S-MJu18521-29Human factors; cf. Interactive computing, human factors complex parallel systems (special issue). S-MJul 85 4-63

expert systems; qualitative assessment oftheir parallelism. Douglass,Robert J., S-MMay 85 70-81

message-based operating system for parallel processing. Olson,Robert, S-MJul 8539-49

IEEEComputerSociety PIE, programming and instrumentation environment for parallelMEE oftwre gesbmontly; utur plas (E. Shiver BrueD.processing. Segall,Zaiy, + ,S-MNov 85 22-37IEEESoftware goes bimonthly; future plans (E). Shriver, BiruceD., Pisces environment for parallel scientific computation. Pratt,

Ed., S-MJan 854-5 Terrence W., S-MJul 85 7-20IEEE standards Parallel processing; cf.Supercomputers

preventing software requirements specification errors with IEEE Programming profession+; cf. Computer programming profession830. Poston, Robert M., S-MJan 8583-86

software quality assurance plans based on IEEE 730. Poston, RobertM, S-MMar 85 86-88 R

software standard seminars Poston, RobertM., S-MJul 85 87-89 RInformation systems RD&E

features of languages for development of information systems at Applied Mathematical Sciences Research Program, Department ofconceptual leveL Borgida, Alexander, S-MJan 85 63-72 Energy; programs and objectives. Austin, Donald M., S-MNov

Information systems; cf. Database systems 85 67Innovation; cf. Technological innovation Center for Supercomputing Research & Development, University of

Illinois; programs and objectives. Martin, Joanne L., S-MNov85 55-58

K Cornell NSF Supercomputer Center; programs and objectives.Siegel, Pete, + , S-MNov 85 64

Knowledge-based systems+; cf. Expert systems John von Neumann Center for Scientific Computing, Princeton;programs and objectives. Orszag, Steven A., S-MNov 85 63-64

National Center for Supercomputing Applications, University ofL Illinois; programs and objectives. Wilhelmson, Robert B., S-M

Nov8565-66Lepl factors national supercomputer research centers; developments and software

ownership of what software produces. Gemignani, Michael C., S-M requirements. Martin, JoanneL., S-MNov85 55-67Sep 8548-52 San Diego Supercomputer Center, University of California;

protecting against software theft; practical advice. Glass, Robert L., programs and objectives. Pfeiffer, Wayne, S-MNov 85 60-62S-MJul 85R82-85 Software Productivity and Computational Mathematics Program for

Local area networks Supercomputers, NSF Office of Advanced Scientifichigh-level broadcast communication for local area networks. Computing; programs and objectives. Lee, Lawrence, S-MNov

LeBlanc, ThomasJ., + , S-MMay8540-48 8560-61Logi Leprogramming Supercomputing Research Center, Greenbelt, MD; programs and

Loglisp implementation of Mycin medical expert system. Narain, objectives. Screck,Paul,bS-MNov8i59Sanjai, S-MMay8583-88 Reliabilit; cf. Software reliability

tutorial on logic programming and Prolog. Davis, Ruth E., S-MSep8553-62 S

Social factors; cf. Technology social factorsM Software

ownership of what software produces. Gemignani, Michael C., S-MMaintenance; cf. Software maintenance Sep 8548-52Microcomputer language processors parallel processing requirements. Rigsbee, Peter A., S-M Jul 85

C compiler for Macintosh; software review. Birjandi, Abbas, S-M 74-75Nov 8579-80 protecting against software theft; practical advice. Glass, Robert L.,

Microcomputer software S-MJul8582-85Apple Macintosh software; software review. Lewis, Ted G., S-MMar Software; cf. Microcomputer software; Minicomputer software

8589-92 Software design/developmentMacintosh terminology clarified; comment on software review. Ada-based support for programming-in-the-large. Wol Alexander

Brecher, Steve, S-MJul8591 L., + ,S-MMar8558-71Microcomputer software, language processors+; cf. Microcomputer Ada environments and tools (special issue). S-MMar 85 6-71

language processors algorithm animation; techniques for dynamically changing graphicalMinicomputer software representations of programs. Brown, MarcH, + , S-MJan 85

performing large tasks on small computers; medical imaging 28-39example Freder, Gideon, + , S-MSep 8537-47 application generators; survey. Horowitz, Ellis, + , S-M Jan 85

Multiprocessing 40-54analyzing software performance in multiprocessor environment. Applied Mathematical Sciences Research Program, Department of

Maples, Creve, S-MJul 85 50-63 Energy; programs and objectives. Austin, Donald M., S-MNov8567Xylem operating system for CEDAR multiprocessor. Emrath, Penry, automated environments for parallel programming Allen, John

MultiprocessIng; cf. Parallel processing Center for Supercomputing Research & Development, University ofIllinois; programs and objectives. Martin, Joanne L., S-M Nov8555-58

Cornell NSF Supercomputer Center; programs and objectives.0 Siegel, Pete, + , S-MNov 85 64

design of Ada transformation tcols in DIANA environment.Operatinlgsystems+; cf. Software, operating systems Rosenblutm, DavidS., S-MMar8524-33

110 IEEE SOFTWARE

John von Neumann Center for Scientific Computing, Princeton; software quality assurance plans based on IEEE 730. Poston, Robertprograms and objectives. Orszag, Steven A., S-MNov 85 63-64 M, S-MMar8586-88

MCC's program for improving productivity ofsoftware development Software testingand quality ofproduct. Myers, Ware, S-MNov 85 68-73 comprehensiveness measure for software testing; need for standard.

Modula-2 and M2SDS programming environment; software review. Poston, RobertM. S-MNov8576-79Lewis, TedG., S-MSep 8566-68 functional testing; theory and practice. Howden, Wiliam E., S-M

National Center for Supercomputing Applications, University of Sep 856-17Illinois; programs and objectives. Wilhelmson, Robert B., S-M selecting test cases for system testing of PICS/DCPR databaseNov8565-66 application; priority rules. Petschenik, Nathan H., S-M Sep 85

national supercomputer research centers; developments and software 18-23requirements. Martin, JoanneL., S-MNov 8555-67 structural test coverage metrics; limits of structural testing Weiser,

PIE, programming and instrumentation environment for parallel MarkD., + ,S-MMar8580-85processing. Sega &Zazy, + , S-MNov 8522-37 Special Issues/sections

Pisces environment for parallel scientific computation. Pratt, Ada environments and tools. S-MMar85 6-71Terrence W, S-MJul857-20 complex parallel systems. S-MJu1854--63

San Diego Supercomputer Center, University of California; experiences with distributed systems. S-MMay855-69programs and objectives. Pfeiffer, Wayne, S-MNov 8560-62 Standards; cf. IEEE standards; Software standards

Software Engineering Institute; mission, goals, and activities. Store-and-forward switching; cf. Packet switchingBarbacci,UMaroR., + ,S-MNov854-21 Supercomputers

Software Productivity and Computational Mathematics Program for Applied Mathematical Sciences Research Program, Department ofSupercomputers, NSF Office of Advanced Scientific Energy; programs and objectives. Austin, DonaldM., S-MNovComputing; programs and objectives. Lee, Lawrence, S-MNov 85678560-61 Center for Supercomputing Research & Development, University of

Supercomputer Computation Research Institute, Tallahassee, Illinois; programs and objectives. Martin, Joanne L., S-M NovFlorida; programs and objectives. Lannutti, Joseph E., S-MNov 85 55-588566 Cornell NSF Supercomputer Center; programs and objectives.

Supercomputing Research Center, Greenbelt, MD; programs and Siegel, Pete, + , S-MNov 85 64objectives. Schneck, Paul, S-MNov85 59 John von Neumann Center for Scientific Computing, Princeton;

ThinkPad, graphical system for programming by demonstration. programs and objectives. Orsag, Steven A., S-MNov 8563-64Rubin, Robert V., + , S-MMar8573-79 National Center for Supercomputing Applications, University of

Software design/development; cf. Microcomputer software Illinois; programs and objectives. Wilhelmson, Robert B., S-Mdesign/development Nov8565-66

Software documentation +; cf. Documentation national supercomputer research centers; developments and softwareSoftware ma ment; cf. Software development management requirements. Martin, JoanneL., S-MNov85 55-67Software metrics San Diego Supercomputer Center, University of California;

structural test coverage metrics; limits of structural testing. Weiser, programs and objectives. Pfeiffer, Wayne, S-MNov85 60-62MarkD., + , S-MMar 85 80-85 Software Productivity and Computational Mathematics Program for

Software, operating systems Supercomputers, NSF Office of Advanced ScientificMS-DOS and Unix; software review. Lewis, Ted G., S-M Jan 85 Computing; programs and objectives. Lee, Lawrence, S-MNov

87-88 8560-61parallel processing in message-based operating system. Olson, Supercomputer Computation Research Institute, Tallahassee,

Robert, S-MJul85 39-49 Florida; programs and objectives. Lannutti, Joseph E., S-MNovsupercomputer research at Deneclor Corp; HEP/UPX operating 8566

system Hoag, Tom, S-MJu18577-78 Supercomputing Research Center, Greenbelt, MD; programs andXylem operating system for CEDAR multiprocessor. Emrath, Perry, objectives. Schneck, Paul, S-MNov 85 59

S-MJu18530-37 work in progress at Argonne Nat. Lab.. Dongarrs, J J., + , S-MJulSoftware, operating systems; cf. Microcomputer software, operating 8579-80

systems work in progress at California Inst. of Technol.. Fox, Geoffrey C., S-Software performance MJul18573

analyzing software performance in multiprocessor environment. work in progress at Carnegie-Mellon University. Baron,Maples, Creve, S-MJul85 50-63 Robert, + , S-MJul8565-67

Software profession+; cf. Computer programming profession work in progress at Cray Research. Rigsbee, Peter A., S-M Jul 85Software reliability 74-75

debugging Ada tasking programs. Helmbold, David, + , S-MMar work in progress at Denelcor Corp.; HEP/UPX operating system.85f47-57 Hoag, Tom, S-MJul8577-78

MCC's program for improving productivity of software development work in progress at Microelectronics and Computer Tech. Corp..and quality ofproduct. Myers, Ware, S-MNov 85 68-73 Patton, Peter C., S-MJul8567-68

software quality assurance plans based on IEEE 730. Poston, Robert work in progress at MIT. Arvid, S-MJul 85 70-71M., S-MMar85 86-88 work in progress at New York Univ.. Gottlieb, Allan, S-M Jul 85

Software requirements and specifications 71-72Anna, specification language for Ada; overview. Luckhbam, David work in progress at Tech. Umv. of Berl Giloi W K, S-MJul 85

formalism in specifications; mathematical alternative to natural- 75v77language specifications Meyer, Bertrand, S-MJan 85626 work in progress at Univ. of Manchester. Gurd, J. R., + , S-MJul

Larch family of specification languages. Guttag John V., +r, S-M 8568-71Sep 852f36 work in progress at Univ. ofTexas at Austin; performance evaluation

making software requirements specifications more effective. Poston, of parallel algorithms and architectures Browne, J C., S-MJulRobertM., S-MSep 85 63-65 8578-79

preventing software requirements specification errors with IEEE830. Poston, RobertM., S-MJan 8583-86

Software dards Tcomprehensiveness measure for software testing; need for standard

Poston, RobertM., S-MNov 8576-79 Testing; cf. Software testingIEEE software standard seminars Poston, Robert M., S-M Jul 85 Text processing

87-89 WordMARC comprehensive word processing program; softwaremaking software requirements specifications more effective. Poston, review. Rohr, John A., + , S-MJul8590-91

RobertM., S-MSep 8563-65preventing software requirements specification errors with IEEE

830. Poston, RobertM., S-MJan 8583-86 Wselecting software documentation standards. Poston, RobertM., S-M

May8590-91 Word processing+; cf. Text processing

+L Check author entry for coauthors t Check author entry for subeuent corrections/comments

November1985 111