5. ICSE 1981: San Diego, CA, USA

Proceedings of the 5th International Conference on Software Engineering, March 9-12, 1981, San Diego, California. IEEE Computer Society, Catalog No. 81CH1627-9

Keynote Presentation

Niklaus Wirth: Lilith: A Personal Computer for the Software Engineer. 2-16

Case Studies

Robert E. Loesh, B. Larman, P. Molko, Donald J. Reifer: Implementing a Software Management Discipline. 17
D. L. Paster: Experience with Application of Modern Software Management Controls. 18-26
David B. Wortman, James R. Cordy: Early Experiences with Euclid. 27-33

Software Environments I

Hans-Ludwig Hausen, Monika Müllerburg: Conspectus of Software Engineering Environments. 34-43
Peter H. Feiler, Raul Medina-Mora: An Incremental Programming Environment. 44-53
Karen E. Huff: A Database Model for Effective Configuration Management in the Programming Environment. 54-62

Abstract Models

James P. Black, David J. Taylor, David E. Morgan: A Robust B-Tree Implementation. 63-70
Christer Hulten: An Index Organization for Applications with Highly Skewed Access Patterns. 71-78
Nachum Dershowitz: The Evolution of Programs: Program Abstraction and Instantiation. 79-89

Life Cycle Considerations

Pentti Kerola, Peter Freeman: A Comparison of Lifecycle Models. 90-99
T. Sunohara, A. Takano, K. Uehara, T. Ohkawa: Program Complexity Measure for Software Development Management. 100-106
J. W. Bailey, Victor R. Basili: A Meta-Model for Software Development Resource Expenditures. 107-116
E. Chen, Marvin V. Zelkowitz: Use of Cluster Analysis to Evaluate Software Engineering Methodologies. 117-124

Software Environments II

Maria Heloisa (Lolo) Penedo, Daniel M. Berry, Gerald Estrin: An Algorithm to Support Code-Skeleton Generation for Concurrent Systems. 125-135
P. M. Cashin, Marc L. Joliat, R. F. Kamel, D. M. Lasker: Experience with a Modular Typed Language: PROTEL. 136-143
Erik Sandewall, Claes Strömberg, Henrik Sörensen: Software Architecture Based on Communicating Residential Environments. 144-152
Motoei Azuma, M. Takahashi, Susumu Kamiya, K. Minomura: Interactive Software Development Tool: ISDT. 153-163

Analysis of Testing Methods

Ira R. Forman: On the Time Overhead of Counters and Traversal Markers. 164-169
A. G. Duncan, J. S. Hutchison: Using Attributed Grammars to Test Designs and Implementations. 170-178
Joe W. Duran, Simeon C. Ntafos: A Report on Random Testing. 179-183
Steven J. Zeil, Lee J. White: Sufficient Tset Sets for Path Analysis Testing Strategies. 184-194

Disciplined Approach to Real-Time Software-Design - A Look at Several Case Studies

K. H. Britton, R. A. Parker, David Lorge Parnas: A Procedure for Designing Abstract Interfaces for Device Interface Modules. 195-206

Human Engineering

Sylvia B. Sheppard, Elizabeth Kruesi, Bill Curtis: The Effects of Symbology and Spatial Arrangement on the Comprehension of Software Specifications. 207-214
Scott N. Woodfield, Hubert E. Dunsmore, Vincent Yun Shen: The Effect of Modularization and Comments on Program Comprehension. 215-223
Thomas G. Moher, G. Michael Schneider: Methods for Improving Controlled Experimentation in Software Engineering. 224-234

Program Testing Tools & Techniques

William E. Howden: Completeness Criteria for Testing Elementary Program Functions. 235-243
Debra J. Richardson, Lori A. Clarke: A Partition Analysis Method to Increase Program Reliability. 244-253
Dorothy M. Andrews, Jeoffrey P. Benson: An Automated Program Testing Methodology and Its Implementation. 254-262

Data Abstraction

P. R. F. Cunha, T. S. E. Maibaum: Resource = Abstract Data Type + Synchronization - A Methodology for Message Oriented Programming. 263-272
Richard L. Schwartz, P. M. Melliar-Smith: The Finalization Operation for Abstract Types. 273-282
M. L. Wilson: A Requirements and Design Aid for Relational Data Bases. 282-294

Requirements Engineering

Pamela Zave, Raymond T. Yeh: Executable Requirements for Embedded Systems. 295-304
N. Komoda, K. Haruna, H. Kaji, H. Shinozawa: An Innovative Approach to System Requirements Analysis by Using Structural Modeling Method. 305-313
Victor R. Basili, David M. Weiss: Evaluation of a Software Requirements Document by Analysis of Change Data. 314-324

Design Techniques

Y. Futamura, T. Kawai, H. Horikoshi, M. Tsutsumi: Development of Computer Programs by Problem Analysis Diagram (PAD). 325-332
Hassan Gomaa, D. B. H. Scott: Prototyping as a Tool in the Specification of User Requirements. 333-342
T. Katayama: HFP: A Hierarchical and Functional Programming Based on Attribute Grammar. 343-353

Concurrent Systems

Gregory R. Andrews, David P. Dobkin, Peter J. Downey: Active Data Structures. 354-362
Jean-Loup Baer, Georges Gardarin, Claude Girault, Gérard Roucairol: The Two-Step Commitment Protocol: Modeling, Specification and Proof Methodology. 363-373
Krithi Ramamritham, Robert M. Keller: Specifying and Proving Properties of Sentinel Processes. 374-386

Interactive Systems

Anthony I. Wasserman: User Software Engineering and the Design of Interactive Systems. 387-393
R. W. Lingard: A Software Methodology for Buidling Interactive Tools. 394-399
N. Relles, L. A. Price: A User Interface for Online Assistance. 400-409

Programming Tools

Eugene W. Myers, Leon J. Osterweil: BIGMAC II: A FORTRAN Language Augmentation Tool. 410-421
J. W. Lewis: Beyond ALBE/P: Language Neutral Form. 422-429
Thomas E. Cheatham Jr., Glenn H. Holloway, Judy A. Townley: Program Refinement by Transsformation. 430-438

Program Decomposition

Mark Weiser: Program Slicing. 439-449
Robert Balzer, A. Cooperband, Martin S. Feather, Philip E. London, David S. Wile: Application Downloading. 450-459
Anne Adam, Paul Y. Gloess, Jean-Pierre H. Laurent: An Interactive Tool for Program Manipulation. 460-