| 1976 | A Comparison of the Use of Links and Secondary Indices in a Relational Data Base System. Michael Stonebraker |
| 1976 | A Complexity Measure (Abstract). Thomas J. McCabe |
| 1976 | A Critical Overview of Computer Performance Evaluation. James C. Browne |
| 1976 | A Data Structure and Drive Mechanism for a Table-Driven Simulation System Employing Multilevel Structural Representations of Digital Systems. N. Billawala, Stephen A. Szygenda, Ewald W. Thomson |
| 1976 | A Defense View of Software Engineering. William A. Whitaker |
| 1976 | A Framework for Data Base Semantic Integrity. Michael Hammer, Dennis McLeod |
| 1976 | A Generalized Assertion Language. Tsun S. Chow |
| 1976 | A Laboratory for the Development and Evaluation of BMD Software Quality Enhancement Techniques. Jeoffrey P. Benson, R. A. Melton |
| 1976 | A Language Extension for Controlling Access to Shared Data (Abstract). Anita K. Jones, Barbara H. Liskov |
| 1976 | A Management Approach to the Development of Computer-Based Systems. Rein Turn, M. R. Davis, Robert N. Reinstedt |
| 1976 | A Methodology for Decomposing System Requirements Into Data Processing Requirements. K. G. Salter |
| 1976 | A Model of Roll-Back Recovery with Multiple Checkpoints. Erol Gelenbe |
| 1976 | A Modification Request Control System. D. B. Knudsen, A. Barofsky, L. R. Satz |
| 1976 | A Principle for Resilient Sharing of Distributed Resources. Peter Alsberg, J. D. Day |
| 1976 | A Requirements Engineering Methodology for Real-Time Processing Requirements (Abstract). Mack W. Alford |
| 1976 | A Software Engineering Experience in the Management, Design and Implementation of A Data Secure System. David K. Hsiao |
| 1976 | A Software Reliability Assessment Based on a Structural and Behavioral Analysis of Programs. S. Pimont, J.-C. Rault |
| 1976 | A Synthetic English Query Language for a Relational Accociative Processor. Larry Kerschberg, Esen A. Ozkarahan, J. E. S. Pacheco |
| 1976 | A System for Automatic Software Evaluation. Bobby C. Hodges, J. P. Ryan |
| 1976 | A User's Viewpoint on the Programmer's Workbench. M. H. Bianchi, J. L. Wood |
| 1976 | ATLAS - An Automated Software Testing System. W. H. Jessop, J. Richard Kane, S. Roy, J. M. Scanlon |
| 1976 | Adaptive Testing. D. W. Cooper |
| 1976 | An Analysis of the Resources Used in the SAFEGUARD System Software Development. W. E. Stephenson |
| 1976 | An Approach to Error-Resistant Software Design. Stephen S. Yau, R. C. Cheung, D. C. Cochrane |
| 1976 | An Environmental Simulator for the FDNY Computer Aided Dispatch System. John Mohan, Michael Geller |
| 1976 | An Experiment in Program Restructuring for Performance Enhancement. Domenico Ferrari, Edwin J. Lau |
| 1976 | An Extendable Approach to Computer-Aided Software Requirements Engineering (Abstract). Thomas E. Bell, David C. Bixler, Margaret E. Dyer |
| 1976 | An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs (Abstract). David Gries |
| 1976 | An Introduction to the Construction and Verification of Alphard Programs (Abstract). William A. Wulf, Ralph L. London, Mary Shaw |
| 1976 | An Introduction to the Programmer's Workbench. Ted A. Dolotta, John R. Mashey |
| 1976 | Application of Clustering to Estimate Missing Data and Improve Data Integrity. Richard C. T. Lee, James R. Slagle, C. T. Mong |
| 1976 | Aspects of Design, Test and Validation of the Software for a Computerized Reactor Protection System. Udo Voges |
| 1976 | Aspects of a Trigger Subsystem in an Integrated Data Base System. Kapali P. Eswaran |
| 1976 | Automated Software Engineering Through Structured Data Management (Abstract). C. A. Irvine, John W. Brackett |
| 1976 | Automatic Program Analysis and Evaluation. Marvin V. Zelkowitz |
| 1976 | Bayesian Models of Design Based on Intuition. K. Mani Chandy |
| 1976 | Control Structure Abstractions of the Backtracking Programming Technique (Abstract). Susan L. Gerhart, Lawrence Yelowitz |
| 1976 | Dat Flow, Abstraction Levels and Specifications for Communications Switching Systems. K. S. Shankar, C. Sekar Chandersekaran |
| 1976 | Decision Table Programming and Reliability. Art Lew, D. Tamanaha |
| 1976 | Design Evaluation of the Compiler Generating System MUGI. Reinhard Wilhelm, Knut Ripken, Joachim Ciesinger, Harald Ganzinger, Walter Lahner, R. Nollmann |
| 1976 | Design and Specification of the Minimal Subset of an Operating System Family (Abstract). David Lorge Parnas, Georg Handzel, Harald Würges |
| 1976 | Design and Verification of Real-Time Systems. J. V. Phillips, Thomas H. Bredt |
| 1976 | Documentation Tools and Techniques. John R. Mashey, D. W. Smith |
| 1976 | Dynamic Software Engineering: An Evolutionary Approach to Automated Software Development and Management. J. S. Greene |
| 1976 | Essential Elements of Software Engineering Education. Peter Freeman, Anthony I. Wasserman, Richard E. Fairley |
| 1976 | Extending Concurrent Pascal to Allow Dynamic Resource Management (Abstract). Abraham Silberschatz, Richard B. Kieburtz, Arthur J. Bernstein |
| 1976 | Formal Specification and Automatic Programming. Mehdi Jazayeri |
| 1976 | How to Design a System in Which Modules Can Be Changed on the Fly. Robert S. Fabry |
| 1976 | Improved Updating in relational Dat Base Systems by Deuter-Shere Algorithms. Peter Kümmel |
| 1976 | Induction as the Basis for Program Verification (Abstract). Charles Reynolds, Raymond T. Yeh |
| 1976 | Introducing a Software Design Language. Yaohan Chu |
| 1976 | Is 'Sometime' Sometimes Better Than 'Always'? Intermittent Assertions in Proving Program Correctness. Zohar Manna, Richard J. Waldinger |
| 1976 | Maxims for Malfeasant Designers, or How to Design Languages to Make Programming as Difficult as Possible. Richard L. Wexelblat |
| 1976 | New Languages from Old: The Extension of Programming Languages by Embedding, with a Case Study. Michael B. Feldman |
| 1976 | Observations on the Interaction Between Coding and Efficiency Knowledge in the PSI Program Synthesis System. David R. Barstow, Elaine Kant |
| 1976 | On Reliable Topologies for Computer Networks. Izhak Rubin |
| 1976 | On the Automated Generation of Program Test Data (Abstract). C. V. Ramamoorthy, Siu-Bun F. Ho, W. T. Chen |
| 1976 | On the Effectiveness of Set Associative Page Mapping and Its Application to Main Memory Management. Alan Jay Smith |
| 1976 | On the Modelling, Analysis and Design of Protocols - A Special Class of Software Structures. Mohamed G. Gouda, Eric G. Manning |
| 1976 | On the Transformational Implementation Approach to Programming. Robert Balzer, Neil M. Goldman, David S. Wile |
| 1976 | PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems (Abstract). Daniel Teichroew, Ernest A. Hershey III |
| 1976 | Proceedings of the 2nd International Conference on Software Engineering, San Francisco, California, USA, October 13-15, 1976. Raymond T. Yeh, C. V. Ramamoorthy |
| 1976 | Process Design Engineering: A Methodology for Real-Time Software Development. S. N. Gaulding, J. D. Lawson |
| 1976 | Process Design System: An Integrated Set of Software Development Tools. R. G. Koppang |
| 1976 | Program Analysis - A Method for the Verification of Software for the Control of a Nuclear Reactor. Wolfgang D. Ehrenberger, G. Rauch, K. Okroy |
| 1976 | Program Evolution and Its Impact on Software Engineering. M. M. Lehman, F. N. Parr |
| 1976 | Programming as an Evolutionary Process. Friedrich L. Bauer |
| 1976 | Quantitative Evaluation of Software Quality. Barry W. Boehm, John R. Brown, Myron Lipow |
| 1976 | RIG, Rochester's Intelligent Gateway: System Overview (Abstract). J. Eugene Ball, Jerome A. Feldman, James R. Low, Richard F. Rashid, Paul Rovner |
| 1976 | Recovery Blocks in Action: A System Supporting High Reliability. T. Anderson, R. Kerr |
| 1976 | Research Pradigms in Computer Science. Peter Wegner |
| 1976 | Research Towards a technology to Support the Specification of Data Processing System Performance Requirements. Edward E. Balkovich, G. P. Engelberg |
| 1976 | Response to Undesired Events in Software Systems. David Lorge Parnas, Harald Würges |
| 1976 | Sacificing the Calf of Flexibility on the Altar of Reliability. Peter J. Denning |
| 1976 | Signaling in Monitors. John H. Howard |
| 1976 | Software Development (Abstract). Harlan D. Mills |
| 1976 | Software Development and Proofs of Multi-Level Security. Peter G. Neumann, Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson |
| 1976 | Software Engineering and Structured Programming (Abstract). Maurice V. Wilkes |
| 1976 | Software Engineering in the Development of the TRIDENT Fire Control System. R. M. Pollock, W. L. McCoy |
| 1976 | Software Requirements: Are They Really a Problem? Thomas E. Bell, T. A. Thayer |
| 1976 | Software Research in the Department of Defense. W. E. Carlson |
| 1976 | Some Classes of Naturally Provable Programs. Sanat K. Basu, Jayadev Misra |
| 1976 | Some Considerations in Database Application Programming. Isao Miyamoto |
| 1976 | Specifications: A Key to Effective Software Development. P. C. Belford, A. F. Bond, D. G. Henderson, L. S. Sellers |
| 1976 | Structural Models for Software Reliability Prediction. Martin L. Shooman |
| 1976 | Structured Analysis for Requirements Definition (Abstract). Douglas T. Ross, Kenneth E. Schoman Jr. |
| 1976 | Structured Programming: From Theory to Practice. J. C. Carrow |
| 1976 | Test Procedures: A New Approach to Software Verification. David J. Panzl |
| 1976 | The Design of Data Type Specifications. John V. Guttag, Ellis Horowitz, David R. Musser |
| 1976 | The Design of a Template Structure for a Generalized Data Structure Definition Facility. Billy G. Claybrook |
| 1976 | The Design of the PSI Program Synthesis System. C. Cordell Green |
| 1976 | The Design, Analysis, and Verification of the SIFT Fault-Tolerant System. John H. Wensley, Milton W. Green, Karl N. Levitt, Robert E. Shostak |
| 1976 | The Detection of Anomalous Interprocedural Data Flow. Lloyd D. Fosdick, Leon J. Osterweil |
| 1976 | The Dimensions of Maintenance. E. Burton Swanson |
| 1976 | The LEAP Load and Test Driver. Ted A. Dolotta, J. S. Licwinko, R. E. Menninger, William D. Roome |
| 1976 | The Preliminary Design as a Key to Successful Software Development. J. M. Dreyfus, P. J. Karacsony |
| 1976 | The Role of Software in Successful Computer Applications. W. W. Black |
| 1976 | The Software Development System (Abstract). Carl G. Davis, Charles R. Vick |
| 1976 | The Structure and Characteristics of Distributed Systems. C. V. Ravi |
| 1976 | The Translation and Compatibility of SEQUEL and Query by Example. Dennis McLeod |
| 1976 | Towards and Engineering Approach to Software Design. John R. White, Taylor L. Booth |
| 1976 | Using a Command Language as a High-Level Programming Language. John R. Mashey |
| 1976 | Verification of Fairness in an Implementation of Monitors. Richard Alan Karp, David C. Luckham |
| 1976 | Verification of a Monitor Specification. Ashok R. Saxena, Thomas H. Bredt |