Abstract is missing.
- Software Engineering: A Keynote AddressC. A. R. Hoare. 1-4
- Control Structure Aptness: A Cast Study Using Top-Down ParsingGary Lindstrom. 5-12
- Behavior Modelling During Software DesignWilliam E. Riddle, Jack C. Wileden, John H. Sayler, Alan R. Segal, Allan M. Stavely. 13-22
- Measuring Reliability of Computer Center SoftwarePatricia A. Hamilton, John D. Musa. 29-36
- How to Measure Software Reliability, and How Not ToBev Littlewood. 37-45
- Toward an Effective Software Reliability EvaluationIsao Miyamoto. 46-55
- A Proposed Curriculum for Software Engineering EducationPeter Freeman, Anthony I. Wasserman. 56-62
- A Model of Software EngineeringLawrence J. Peters, Leonard L. Tripp. 63-70
- Prospects for Program Verification (Tutorial)James C. King. 71
- Information Systems: Modelling, Sequencing and TransformationsMichael Jackson. 72-81
- The Interaction Between the Preliminary Designs and the Technical Requirements for the DoD Common High Order LanguageDavid A. Fisher. 82-83
- How Software is Really Engineered?Leon G. Stucki. 84
- Kongsberg s Road to an Industrial Software MethodologyJan T. Pedersen, John K. Buckle. 85-93
- Introduction to the Wellmade Design MethodologyDonald L. Boyd, Antonio Pizzarello. 94-100
- Requirements Expression and Verification AidSharon A. Stephens, Leonard L. Tripp. 101-108
- Analyzing Medium-Scale Software DevelopmentVictor R. Basili, Marvin V. Zelkowitz. 116-123
- A Graph Theoretic Approach to the Verification of Program StructuresJohn R. Brown, Kurt F. Fischer. 136-141
- FAST: A Second Generation Program Analysis SystemJames C. Browne, David B. Johnson. 142-148
- A Model for Program Complexity AnalysisCarma L. McClure. 149-157
- Inference Rules for Program AnnotationNachum Dershowitz, Zohar Manna. 158-167
- Design and Verification of Communication Procedures: A Bottom-Up ApproachPierre Azéma, Jean-Michel Ayache, Bernard Berthomieu. 168-174
- The Synthesis of Structure Changing ProgramsZohar Manna, Richard J. Waldinger. 175-187
- User Perceived Quality of Interactive SystemsWolfgang Dzida, Siegfried Herda, Wolf D. Itzfeldt. 188-195
- Using a Behavioral Theory of Program Comprehension in Software EngineeringRuven E. Brooks. 196-201
- Analysis of Error Remediation Expenditures During ValidationMary Anne Herndon, Ann P. Keenan. 202-206
- Design and Principles of a Fault Tolerant SystemL. Boi, P. Michel. 207-214
- Use of State Diagrams to Engineer Communications SoftwarePaul Chung, Berry Gaiman. 215-221
- Research Directions in Software TechnologyPeter Wegner. 243-259
- A Perspective on Software DevelopmentBill Hetzel. 260-263
- Designing Software for Ease of Extension and ContractionDavid Lorge Parnas. 264-277
- An Extensible File System for HydraGuy T. Almes, George G. Robertson. 288-294
- Dynamic Restructuring in an Experimental Operating SystemHannes Goullon, Rainer Isle, Klaus-Peter Löhr. 295-304
- Theoretical and Empirical Studies of Program TestingWilliam E. Howden. 305-311
- Symbolic Interpretation and Tracing of PASCAL-ProgramsGuido Persch, Georg Winterstein. 312-319
- Evolution in the Design of Abstract Machines for Software PortabilityDaniel Thalmann. 333-340
- Toward the Engineerin of Software: Problems of the 80 s (Panel)Anthony I. Wasserman. 341