| 1978 | A Graph Theoretic Approach to the Verification of Program Structures. John R. Brown, Kurt F. Fischer |
| 1978 | A Model for Program Complexity Analysis. Carma L. McClure |
| 1978 | A Model of Software Engineering. Lawrence J. Peters, Leonard L. Tripp |
| 1978 | A Perspective on Software Development. Bill Hetzel |
| 1978 | A Proposed Curriculum for Software Engineering Education. Peter Freeman, Anthony I. Wasserman |
| 1978 | A Type-Checking Program Linkage System for Pascal. Richard B. Kieburtz, W. Barabash, C. R. Hill |
| 1978 | An Engineering Methodology for Presenting Software Functional Architecture. Leighton R. Scott |
| 1978 | An Extensible File System for Hydra. Guy T. Almes, George G. Robertson |
| 1978 | Analysis of Error Remediation Expenditures During Validation. Mary Anne Herndon, Ann P. Keenan |
| 1978 | Analyzing Medium-Scale Software Development. Victor R. Basili, Marvin V. Zelkowitz |
| 1978 | Automatic Revision of Formal Test Procedures. David J. Panzl |
| 1978 | Behavior Modelling During Software Design. William E. Riddle, Jack C. Wileden, John H. Sayler, Alan R. Segal, Allan M. Stavely |
| 1978 | Concurrent Software System Design, Supported by SARA at the Age of One. Ivan M. Campos, Gerald Estrin |
| 1978 | Control Structure Aptness: A Cast Study Using Top-Down Parsing. Gary Lindstrom |
| 1978 | DAS: An Automated System to Support Design Analysis. R. R. Willis |
| 1978 | Design and Principles of a Fault Tolerant System. L. Boi, P. Michel |
| 1978 | Design and Verification of Communication Procedures: A Bottom-Up Approach. Pierre Azéma, Jean-Michel Ayache, Bernard Berthomieu |
| 1978 | Designing Software for Ease of Extension and Contraction. David Lorge Parnas |
| 1978 | Dynamic Restructuring in an Experimental Operating System. Hannes Goullon, Rainer Isle, Klaus-Peter Löhr |
| 1978 | Evolution in the Design of Abstract Machines for Software Portability. Daniel Thalmann |
| 1978 | FAST: A Second Generation Program Analysis System. James C. Browne, David B. Johnson |
| 1978 | How Software is Really Engineered? Leon G. Stucki |
| 1978 | How to Measure Software Reliability, and How Not To. Bev Littlewood |
| 1978 | Inference Rules for Program Annotation. Nachum Dershowitz, Zohar Manna |
| 1978 | Information Systems: Modelling, Sequencing and Transformations. Michael Jackson |
| 1978 | Introduction to the Wellmade Design Methodology. Donald L. Boyd, Antonio Pizzarello |
| 1978 | Kongsberg's Road to an Industrial Software Methodology. Jan T. Pedersen, John K. Buckle |
| 1978 | Measuring Memory Protection. Douglas Cook |
| 1978 | Measuring Reliability of Computer Center Software. Patricia A. Hamilton, John D. Musa |
| 1978 | Proceedings of the 3rd International Conference on Software Engineering, Atlanta, Georgia, USA, May 10-12, 1978. Maurice V. Wilkes, Laszlo A. Belady, Y. H. Su, Harry Hayman, Philip H. Enslow Jr. |
| 1978 | Prospects for Program Verification (Tutorial). James C. King |
| 1978 | Requirements Expression and Verification Aid. Sharon A. Stephens, Leonard L. Tripp |
| 1978 | Research Directions in Software Technology. Peter Wegner |
| 1978 | Software Engineering in Avionics Applications. A. Dniestrowski, J. M. Guillaume, Robert Mortier |
| 1978 | Software Engineering: A Keynote Address. C. A. R. Hoare |
| 1978 | Some Experience in Building Portable Software. Max Stern |
| 1978 | Symbolic Interpretation and Tracing of PASCAL-Programs. Guido Persch, Georg Winterstein |
| 1978 | The Design of a Reliable Applications System. Edward Gainer, Edward M. Kimball, Alan A. Kortesoja, Alfred Maley |
| 1978 | The Interaction Between the Preliminary Designs and the Technical Requirements for the DoD Common High Order Language. David A. Fisher |
| 1978 | The Multics System Programming Process. Tom H. Van Vleck, C. T. Clingen |
| 1978 | The Synthesis of Structure Changing Programs. Zohar Manna, Richard J. Waldinger |
| 1978 | Theoretical and Empirical Studies of Program Testing. William E. Howden |
| 1978 | Toward an Effective Software Reliability Evaluation. Isao Miyamoto |
| 1978 | Toward the Engineerin of Software: Problems of the 80's (Panel). Anthony I. Wasserman |
| 1978 | Use of State Diagrams to Engineer Communications Software. Paul Chung, Berry Gaiman |
| 1978 | User Perceived Quality of Interactive Systems. Wolfgang Dzida, Siegfried Herda, Wolf D. Itzfeldt |
| 1978 | Using a Behavioral Theory of Program Comprehension in Software Engineering. Ruven E. Brooks |