3. ICSE 1978: Atlanta, Georgia, USA

Proceedings of the 3rd International Conference on Software Engineering, May 10-12, 1978, Atlanta, Georgia, USA. IEEE Computer Society, Catalog No.78CH1317-7C

Welcome and Opening

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

Language Issues

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

Software Reliability

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

Educational Issues

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

Tutorial

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

Invited Papers

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

Software Design

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

Case Studies

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

Program Analysis

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

Formal Analysis

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

Human Factors

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

System Design

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

Invited Papers

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

Operating Systems

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

Testing

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

Software Portability

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

Panel

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

Copyright © Mon Dec 14 20:13:15 2009 by Michael Ley (ley@uni-trier.de)