3. ICSE 1978: Atlanta, Georgia, USA
Maurice V. Wilkes, Laszlo A. Belady, Y. H. Su, Harry Hayman, Philip H. Enslow Jr. (Eds.): Proceedings of the 3rd International Conference on Software Engineering, Atlanta, Georgia, USA, May 10-12, 1978. IEEE Computer Society 1978
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
- 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
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
- R. R. Willis: DAS: An Automated System to Support Design Analysis. 109-115
Case Studies
- 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
- Carma L. McClure: A Model for Program Complexity Analysis. 149-157
Formal Analysis
- Pierre Azéma, Jean-Michel Ayache, Bernard Berthomieu: Design and Verification of Communication Procedures: A Bottom-Up Approach. 168-174
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
- 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
Operating Systems
- Douglas Cook: Measuring Memory Protection. 281-287
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team