3. ICSE 1978: Atlanta, Georgia, USA

Welcome and Opening

• C. A. R. Hoare: Software Engineering: A Keynote Address. 1-4 BibTeX

Language Issues

• Gary Lindstrom: Control Structure Aptness: A Cast Study Using Top-Down Parsing. 5-12 BibTeX
• William E. Riddle, Jack C. Wileden, John H. Sayler, Alan R. Segal, Allan M. Stavely: Behavior Modelling During Software Design. 13-22 BibTeX
• Richard B. Kieburtz, W. Barabash, C. R. Hill: A Type-Checking Program Linkage System for Pascal. 23-28 BibTeX

Software Reliability

• Patricia A. Hamilton, John D. Musa: Measuring Reliability of Computer Center Software. 29-36 BibTeX
• Bev Littlewood: How to Measure Software Reliability, and How Not To. 37-45 BibTeX
• Isao Miyamoto: Toward an Effective Software Reliability Evaluation. 46-55 BibTeX

Educational Issues

• Peter Freeman, Anthony I. Wasserman: A Proposed Curriculum for Software Engineering Education. 56-62 BibTeX
• Lawrence J. Peters, Leonard L. Tripp: A Model of Software Engineering. 63-70 BibTeX

Tutorial

• James C. King: Prospects for Program Verification (Tutorial). 71 BibTeX

Invited Papers

• Michael Jackson: Information Systems: Modelling, Sequencing and Transformations. 72-81 BibTeX
• David A. Fisher: The Interaction Between the Preliminary Designs and the Technical Requirements for the DoD Common High Order Language. 82-83 BibTeX
• Leon G. Stucki: How Software is Really Engineered? 84 BibTeX

Software Design

• Jan T. Pedersen, John K. Buckle: Kongsberg's Road to an Industrial Software Methodology. 85-93 BibTeX
• Donald L. Boyd, Antonio Pizzarello: Introduction to the Wellmade Design Methodology. 94-100 BibTeX
• Sharon A. Stephens, Leonard L. Tripp: Requirements Expression and Verification Aid. 101-108 BibTeX
• R. R. Willis: DAS: An Automated System to Support Design Analysis. 109-115 BibTeX

Case Studies

• Victor R. Basili, Marvin V. Zelkowitz: Analyzing Medium-Scale Software Development. 116-123 BibTeX
• A. Dniestrowski, J. M. Guillaume, R. Mortier: Software Engineering in Avionics Applications. 124-131 BibTeX
• Edward Gainer, Edward Kimball, Alan A. Kortesoja, Alfred Maley: The Design of a Reliable Applications System. 132-135 BibTeX

Program Analysis

• John R. Brown, Kurt F. Fischer: A Graph Theoretic Approach to the Verification of Program Structures. 136-141 BibTeX
• James C. Browne, David B. Johnson: FAST: A Second Generation Program Analysis System. 142-148 BibTeX
• Carma L. McClure: A Model for Program Complexity Analysis. 149-157 BibTeX

Formal Analysis

• Nachum Dershowitz, Zohar Manna: Inference Rules for Program Annotation. 158-167 BibTeX
• Pierre Azéma, Jean-Michel Ayache, Bernard Berthomieu: Design and Verification of Communication Procedures: A Bottom-Up Approach. 168-174 BibTeX
• Zohar Manna, Richard J. Waldinger: The Synthesis of Structure Changing Programs. 175-187 BibTeX

Human Factors

• Wolfgang Dzida, Siegfried Herda, Wolf D. Itzfeldt: User Perceived Quality of Interactive Systems. 188-195 BibTeX
• Ruven E. Brooks: Using a Behavioral Theory of Program Comprehension in Software Engineering. 196-201 BibTeX
• Mary Anne Herndon, Ann P. Keenan: Analysis of Error Remediation Expenditures During Validation. 202-206 BibTeX

System Design

• L. Boi, P. Michel: Design and Principles of a Fault Tolerant System. 207-214 BibTeX
• Paul Chung, Berry Gaiman: Use of State Diagrams to Engineer Communications Software. 215-221 BibTeX
• Leighton R. Scott: An Engineering Methodology for Presenting Software Functional Architecture. 222-229 BibTeX
• Ivan M. Campos, Gerald Estrin: Concurrent Software System Design, Supported by SARA at the Age of One. 230-242 BibTeX

Invited Papers

• Peter Wegner: Research Directions in Software Technology. 243-259 BibTeX
• Bill Hetzel: A Perspective on Software Development. 260-263 BibTeX
• David Lorge Parnas: Designing Software for Ease of Extension and Contraction. 264-277 BibTeX
• T. H. Van Vleck, C. T. Clingen: The Multics System Programming Process. 278-280 BibTeX

Operating Systems

• Douglas Cook: Measuring Memory Protection. 281-287 BibTeX
• Guy T. Almes, George G. Robertson: An Extensible File System for Hydra. 288-294 BibTeX
• Hannes Goullon, Rainer Isle, Klaus-Peter Löhr: Dynamic Restructuring in an Experimental Operating System. 295-304 BibTeX

Testing

• William E. Howden: Theoretical and Empirical Studies of Program Testing. 305-311 BibTeX
• Guido Persch, Georg Winterstein: Symbolic Interpretation and Tracing of PASCAL-Programs. 312-319 BibTeX
• David J. Panzl: Automatic Revision of Formal Test Procedures. 320-326 BibTeX

Software Portability

• Max Stern: Some Experience in Building Portable Software. 327-332 BibTeX
• Daniel Thalmann: Evolution in the Design of Abstract Machines for Software Portability. 333-340 BibTeX

Panel

• Anthony I. Wasserman: Toward the Engineerin of Software: Problems of the 80's (Panel). 341 BibTeX