Table of Contents

• Note: Pages 1 thru 501 will be found in volume 1. managing reliable softwareMichael G. Walker. 502-506 [doi]
• Software engineering with standard assembliesR. Lanergan, B. Poynton. 507-514 [doi]
• Computer-assisted telephone interviewing in the survey research process (Panel Discussion)Gregory A. Marks. 515 [doi]
• Yet another conversational programming language - BPLM. Howard Williams. 516-521 [doi]
• A real-time, multi-task programming language for microprocessor-based industrial process controlAlfred C. Weaver. 522-525 [doi]
• MIDAS: A MID-level language for microprocessorsVictor S. Foster. 526-529 [doi]
• Challenges to state information systemsCarl Vorlander, Daniel B. Magraw, Gerald C. Schmitz, Theodore D. Puckorius. 530 [doi]
• The Wisconsin Tax Model systemDavid Burress. 531-538 [doi]
• Developing and prioritizing data processing applications for municipalitiesLeland Blank, Sallie Nelson. 539-546 [doi]
• Research issues of personal computing within the corporate environmentRichard D. Hackathorn. 547-551 [doi]
• Statistics and computer science: Recent development in BMDP computing algorithmsF. M. Speed, G. Rex Bryce, James W. Frane, Thomas A. Ryan Jr., James Goodnight. 552 [doi]
• Statistics and computer science: Problems in statistical computing of interest to computer scientistsBarbara F. Ryan, Thomas A. Ryan Jr.. 552 [doi]
• Programming factors - language features that help explain programming complexityHubert E. Dunsmore, John D. Gannon. 554-560 [doi]
• Personality and programming: Time-sharing vs. batch preferenceJeanne M. Lee, Ben Shneiderman. 561-569 [doi]
• Characteristic errors in programming languagesJohn D. Gannon. 570-575 [doi]
• The impending impact of distributed information systemsNorman Statland. 576-584 [doi]
• Natural language and voice output for relational data base systemsP. B. Powell, P. Thompson. 585-595 [doi]
• A semantic approach in designing relational data basesStewart N. T. Shen. 596-601 [doi]
• A relational storage scheme suitable for derived viewsJames R. Driscoll, Beverly A. Dutton, Kathryn C. Kinsley. 602-611 [doi]
• Automatic data acquisition and processing of train deceleration for rapid transit train systemsG. Rothbart, R. Fullwood, H. O. Conde. 612-616 [doi]
• A Correlation Echo Sounder Processor used to provide reliable bottom depth data for profilingJ. Russell Hogan. 617-621 [doi]
• Computer aided design of digital systems: Data part explorationSatish L. Rege, John Grason. 622-629 [doi]
• Assignments and high level data typesBengt Nordstrüm. 630-638 [doi]
• On the application of data abstraction facilitiesDonald R. Chand, Surya B. Yadav. 639-645 [doi]
• Programming with abstract data types, some examplesBengt Nordström. 646-654 [doi]
• Managing systems more effectively through Life Cycle ManagementJoseph Pokorney, Paul Oyer, Joseph Mazzetti, L. Lee Wouters. 655 [doi]
• New directions in computing at the National LaboratoriesDavid F. Stevens, Richard W. Watson, Paul Rotar, Arnold M. Peskin. 656 [doi]
• The computer profession in the 1980 s: An Orwellian interlude? (Panel Discussion)William P. Laflant Jr., Matt Prastein, Robert P. Campbell, G. Gary Casper, Ollie Smoot, John Swearingen. 657 [doi]
• Computer-based courses(Panel Discussion)Alfred Bork, Kenneth Bowles, Patrick Suppes, Robert Noel. 658 [doi]
• User behavior patterns in the Electronic Information Exchange SystemMurray Turoff, Starr Roxanne Hiltz. 659-665 [doi]
• Automated information systems as social resources in policy makingRob Kling. 666-674 [doi]
• Computers and ethical judgment in organizationsAbbe Mowshowitz. 675-683 [doi]
• CELLSIM: A digital simulation language for cell kinetic modellingCharles E. Donaghey. 684-697 [doi]
• TEXAC/PICTOL: A Texture Analysis Computer and its special purpose languageRobert S. Ledley, Yeshwant G. Kulkarni, Chan M. Park, Menfai R. Shiu, Louis S. Rotolo. 698-703 [doi]
• A Portable Graphics system for minicomputersM. Catherine Neal, Linda G. Shapiro. 704-712 [doi]
• USS Transit Station Simulation demonstration and documentation filmEverett S. Joline. 713-714 [doi]
• Graphic display of human motionKenneth D. Willmert. 715-719 [doi]
• An input system designed to aid users of interactive graphicsBernard C. Levrat, Jurgen Harms, Christian Pellegrini, Maurice Wenger, Robert M. Aiken. 720-724 [doi]
• The impact of government regulations and policy on the computer industryTerry Miller. 725 [doi]
• Computer security in the federal government: Where we are, how we got here, where we are goingLee Ohringer. 726 [doi]
• A lexical analysis of Labanotation with an associated data structureStephen W. Smoliar. 727-730 [doi]
• Notation of movement with computer assistanceThomas W. Calvert, J. Chapman. 731-736 [doi]
• An architecture for the simulation of human movementLynne Weber, Stephen W. Smoliar, Norman I. Badler. 737-745 [doi]
• Social implications of intelligent machinesMargaret A. Boden. 746-752 [doi]
• Curriculum generators: Some design problemsWalter Maner. 753-758 [doi]
• Interactive simulation of biomechanical systems: The kinematics and stress of the human kneeFrederic I. Parke, Mark Friedell. 759-764 [doi]
• The highly intelligent tablet as an efficient pointing device for interactive graphics (Preliminary Report)Henry Fuchs, Zvi M. Kedem. 765-769 [doi]
• Geometric Modelling Systems for mechanical design and manufacturingChristopher M. Brown, Aristides A. G. Requicha, Herbert B. Voelcker. 770-778 [doi]
• Use of data in support of software metricsPaul Richards. 779 [doi]
• Analysis of software experience data (Panel Discussion): Software reliability measurement during developmentJohn Palaimo. 779 [doi]
• Measurement and evaluation of modern programming practicesPhilip Milliman. 779 [doi]
• Applications of error data in software error model validations(Presentation Abstract)Alan Sukert. 780 [doi]
• The Data and Analysis Center for Software(Presentation Abstract)Lorraine Duvall. 780 [doi]
• Software validation and verification - a state of the art report(Panel Discussion)Terry A. Straeter, Carlo Broglio, Marilyn Fujii, Leon Stucki, Sabina Saib, David Luckham. 781 [doi]
• Software verification and validation(Position Statement)Marilyn S. Fujii. 782 [doi]
• Validation and verification vs. The software life cycle(Position Statement)Leon G. Stucki. 783 [doi]
• Software verification and validation in practice and theory (Position Statement)Sabina H. Saib. 784-785 [doi]
• A brief account: Implementation and applications of a Pascal program verifier (Position Statement)David C. Luckham. 786-792 [doi]
• An overview of ACM guidelines and recommendations for a community and junior college career program in computer programmingJoyce Currie Little. 793-797 [doi]
• A design for a community/junior college curriculum with options for two neighboring institutionsIva Helen Lee, Claudia Elizabeth Plog. 798-806 [doi]
• A design for the education of computer programmers at the associate level within a baccalaureate level institutionJohn T. Gorgone, John F. Schrage. 807-811 [doi]
• The data processing Curriculum of the National Technical Institute for the Deaf: A suggested implementation for an AAS degree program in computer programmingDonald H. Beil. 812-821 [doi]
• Whither goeth fortran?Bruce Puerling, Dean Herington. 822 [doi]
• Whither goeth fortran?Bruce Puerling, Lloyd W. Campbell. 822 [doi]
• Status report of DOE Language Working GroupSteve Hue. 823 [doi]
• Presentation abstractR. W. Signor. 823-824 [doi]
• FORTRAN data base facilityChester M. Smith Jr.. 824 [doi]
• A perspective on data base systems in the Federal GovernmentHerbert Maisel, John Kramer, Lloyd Martin, Lester Sachs. 825 [doi]
• Computer graphics: An aid to management in the Federal GovernmentJackie S. Potts, Gerald Moon, Larry Cornish, Richard Schulman, John Staudhammer. 826 [doi]
• Directory-Assisted Abbreviated Name Entry: Telephone dialing by namePhilip A. Coates. 827-833 [doi]
• Minimizing the retrieval time of scatter storage techniquesThomas C. Irby. 834-839 [doi]
• A very small information retrieval systemWard Douglas Maurer. 840-842 [doi]
• Computer aided exam generation (Session Summary): Some thoughts on a taxonomy of related efforts Richard BrewerRichard K. Brewer, Lorrie Lawrence Hoffman, Jesse M. Heines. 843-844 [doi]
• Test gen: A tool for emancipation from traditional instructionLorrie Lawrence Hoffman. 845-848 [doi]
• The use of interactive, computer-managed instruction to control the quality of self-paced training without requiring the presence of an instructorJesse M. Heines. 849-854 [doi]
• Serializability in multi-level monitor environmentsAbraham Silberschatz. 855-861 [doi]
• Multi-level locking with deadlock avoidanceDavid B. Lomet. 862-867 [doi]
• Preemption costs in round robin schedulingCharles M. Shub. 868-874 [doi]
• A comparison of first-fit allocation strategiesAaron M. Tenenbaum, Erik Widder. 875-883 [doi]
• Implementation consideration for machine translationAllen B. Tucker Jr., Giuliano Gnugnoli, Long Vo Nguyen, Bedrich Chaloupka. 884-890 [doi]
• Heuristics for program synthesis using loop invariantsJoe W. Duran. 891-900 [doi]
• Predicting concurrent computer system performance using Petri-Net modelsL. A. Cox Jr.. 901-913 [doi]
• Classes of pebble games and complete problemsTakumi Kasai, Akeo Adachi, Shigeki Iwata. 914-918 [doi]
• Interpretation of query-by-example language in bubble hardware languageHsu Chang. 919-924 [doi]
• A methodology for supporting existing CODASYL databases with new database machinesJayanta Banerjee, David K. Hsiao. 925-936 [doi]
• Interaction with databases through procedural languagesL. Lichten, Eduardo B. Fernández. 937-945 [doi]
• A dual method for discrete Chebychev curve fittingRonald D. Armstrong, David S. Kung 0002. 946-953 [doi]
• An efficient algorithm for computing powers of triangular matricesC. P. Huang. 954-957 [doi]
• Contents of a meaningful planSidney Diamond. 964-971 [doi]
• Forms-based automatic program generationDavid W. Embley. 972-979 [doi]
• Information processing in electricity distribution systemsKilnam Chon. 980-984 [doi]
• Update: Cooperation amoung computer organization (Panel Discussion)David Kniefel, Karen Duncan, Don Holznagel, Elizabeth Little. 985 [doi]