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

last updated on Sat May 18 05:08:32 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page