2. ICSE 1976: San Francisco, CA, USA

Proceedings of the 2nd International Conference on Software Engineering, 13-15 October 1976, San Francisco, California. IEEE Computer Society, Catalog No. 76CH1125-4C

Requirements Definition

Douglas T. Ross, Kenneth E. Schoman Jr.: Structured Analysis for Requirements Definition (Abstract). 1
Daniel Teichroew, Ernest A. Hershey III: PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems (Abstract). 2
C. A. Irvine, John W. Brackett: Automated Software Engineering Through Structured Data Management (Abstract). 3

Program Synthesis Techniques

C. Cordell Green: The Design of the PSI Program Synthesis System. 4-18
David R. Barstow, Elaine Kant: Observations on the Interaction Between Coding and Efficiency Knowledge in the PSI Program Synthesis System. 19-31
Zohar Manna, Richard J. Waldinger: Is 'Sometime' Sometimes Better Than 'Always'? Intermittent Assertions in Proving Program Correctness. 32-39

Operating Systems

Richard Alan Karp, David C. Luckham: Verification of Fairness in an Implementation of Monitors. 40-46
John H. Howard: Signaling in Monitors. 47-52
A. R. Saxena, Thomas H. Bredt: Verification of a Monitor Specification. 53-59

Requirements Engineering

Carl G. Davis, Charles R. Vick: The Software Development System (Abstract). 60
Thomas E. Bell, T. A. Thayer: Software Requirements: Are They Really a Problem? 61-68
Mack W. Alford: A Requirements Engineering Methodology for Real-Time Processing Requirements (Abstract). 69
Thomas E. Bell, David C. Bixler, Margaret E. Dyer: An Extendable Approach to Computer-Aided Software Requirements Engineering (Abstract). 70
P. C. Belford, A. F. Bond, D. G. Henderson, L. S. Sellers: Specifications: A Key to Effective Software Development. 71-79
S. N. Gaulding, J. D. Lawson: Process Design Engineering: A Methodology for Real-Time Software Development. 80-85
R. G. Koppang: Process Design System: An Integrated Set of Software Development Tools. 86-90
K. G. Salter: A Methodology for Decomposing System Requirements Into Data Processing Requirements. 91-101
D. W. Cooper: Adaptive Testing. 102-105
J. P. Benson, R. A. Melton: A Laboratory for the Development and Evaluation of BMD Software Quality Enhancement Techniques. 106-109
Edward E. Balkovich, G. P. Engelberg: Research Towards a technology to Support the Specification of Data Processing System Performance Requirements. 110-115

Education

Peter Freeman, Anthony I. Wasserman, Richard E. Fairley: Essential Elements of Software Engineering Education. 116-122

Operating Systems and Networks

David Lorge Parnas, Georg Handzel, Harald Würges: Design and Specification of the Minimal Subset of an Operating System Family (Abstract). 123
J. V. Phillips, Thomas H. Bredt: Design and Verification of Real-Time Systems. 124-131
J. Eugene Ball, Jerome A. Feldman, James R. Low, Richard F. Rashid, Paul Rovner: RIG, Rochester's Intelligent Gateway: System Overview (Abstract). 132
C. V. Ravi: The Structure and Characteristics of Distributed Systems. 133-137

Performance Evaluation

James C. Browne: A Critical Overview of Computer Performance Evaluation. 138-145
Domenico Ferrari, Edwin J. Lau: An Experiment in Program Restructuring for Performance Enhancement. 146-150
N. Billawala, Stephen A. Szygenda, Ewald W. Thomson: A Data Structure and Drive Mechanism for a Table-Driven Simulation System Employing Multilevel Structural Representations of Digital Systems. 151-157
Marvin V. Zelkowitz: Automatic Program Analysis and Evaluation. 158-163

Programmer's Workbench

Ted A. Dolotta, John R. Mashey: An Introduction to the Programmer's Workbench. 164-168
John R. Mashey: Using a Command Language as a High-Level Programming Language. 169-176
John R. Mashey, D. W. Smith: Documentation Tools and Techniques. 177-181
Ted A. Dolotta, J. S. Licwinko, R. E. Menninger, William D. Roome: The LEAP Load and Test Driver. 182-186
D. B. Knudsen, A. Barofsky, L. R. Satz: A Modification Request Control System. 187-192
M. H. Bianchi, J. L. Wood: A User's Viewpoint on the Programmer's Workbench. 193-199

Software Design and Development

David Gries: An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs (Abstract). 200

Design Principles of Large Programs

W. W. Black: The Role of Software in Successful Computer Applications. 201-205
J. M. Dreyfus, P. J. Karacsony: The Preliminary Design as a Key to Successful Software Development. 206-213
John R. White, Taylor L. Booth: Towards and Engineering Approach to Software Design. 214-222

Programming Languages

Friedrich L. Bauer: Programming as an Evolutionary Process. 223-234
Anita K. Jones, Barbara Liskov: A Language Extension for Controlling Access to Shared Data (Abstract). 235
Abraham Silberschatz, Richard B. Kieburtz, Arthur J. Bernstein: Extending Concurrent Pascal to Allow Dynamic Resource Management (Abstract). 236
Michael B. Feldman: New Languages from Old: The Extension of Programming Languages by Embedding, with a Case Study. 237-242

Software Modeling

Kapali P. Eswaran: Aspects of a Trigger Subsystem in an Integrated Data Base System. 243-250
Erol Gelenbe: A Model of Roll-Back Recovery with Multiple Checkpoints. 251-255
Mohamed G. Gouda, Eric G. Manning: On the Modelling, Analysis and Design of Protocols - A Special Class of Software Structures. 256-262
Izhak Rubin: On Reliable Topologies for Computer Networks. 263-267
M. L. Shooman: Structural Models for Software Reliability Prediction. 268-280
K. Mani Chandy: Bayesian Models of Design Based on Intuition. 281-285
Alan Jay Smith: On the Effectiveness of Set Associative Page Mapping and Its Application to Main Memory Management. 286-292

Design Specifiaction and Management

Mehdi Jazayeri: Formal Specification and Automatic Programming. 293-296
Yaohan Chu: Introducing a Software Design Language. 297-304
R. Turn, M. R. Davis, Robert N. Reinstedt: A Management Approach to the Development of Computer-Based Systems. 305-311
W. E. Stephenson: An Analysis of the Resources Used in the SAFEGUARD System Software Development. 312-321

Programming Languages and Systems

Peter Wegner: Research Pradigms in Computer Science. 322-330
Richard L. Wexelblat: Maxims for Malfeasant Designers, or How to Design Languages to Make Programming as Difficult as Possible. 331-336
Robert Balzer, Neil M. Goldman, David S. Wile: On the Transformational Implementation Approach to Programming. 337-344
Art Lew, D. Tamanaha: Decision Table Programming and Reliability. 345-349

Software Design

M. M. Lehman, F. N. Parr: Program Evolution and Its Impact on Software Engineering. 350-357

Software Engineering in the Department of Defense

Williaam A. Whitaker: A Defense View of Software Engineering. 358-362
R. M. Pollock, W. L. McCoy: Software Engineering in the Development of the TRIDENT Fire Control System. 363-369
J. C. Carrow: Structured Programming: From Theory to Practice. 370-372
J. S. Greene: Dynamic Software Engineering: An Evolutionary Approach to Automated Software Development and Management. 373-378
W. E. Carlson: Software Research in the Department of Defense. 379-383

Software Verification and Validation

Peter J. Denning: Sacificing the Calf of Flexibility on the Altar of Reliability. 384-386
Maurice V. Wilkes: Software Engineering and Structured Programming (Abstract). 387
Harlan D. Mills: Software Development (Abstract). 388
Charles Reynolds, Raymond T. Yeh: Induction as the Basis for Program Verification (Abstract). 389

Program Proving and Verification

William A. Wulf, Ralph L. London, Mary Shaw: An Introduction to the Construction and Verification of Alphard Programs (Abstract). 390
Susan L. Gerhart, Lawrence Yelowitz: Control Structure Abstractions of the Backtracking Programming Technique (Abstract). 391
T. S. Chow: A Generalized Assertion Language. 392-399
Sanat K. Basu, Jayadev Misra: Some Classes of Naturally Provable Programs. 400-406

Theoretical Aspects of Software Engineering

Thomas J. McCabe: A Complexity Measure (Abstract). 407
Billy G. Claybrook: The Design of a Template Structure for a Generalized Data Structure Definition Facility. 408-413
John V. Guttag, Ellis Horowitz, David R. Musser: The Design of Data Type Specifications. 414-420

Software Fault Tolerance

Peter G. Neumann, Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson: Software Development and Proofs of Multi-Level Security. 421-428
S. S. Yau, R. C. Cheung, D. C. Cochrane: An Approach to Error-Resistant Software Design. 429-436
David Lorge Parnas, Harald Würges: Response to Undesired Events in Software Systems. 437-446
T. Anderson, R. Kerr: Recovery Blocks in Action: A System Supporting High Reliability. 447-457
John H. Wensley, Milton W. Green, Karl N. Levitt, Robert E. Shostak: The Design, Analysis, and Verification of the SIFT Fault-Tolerant System. 458-469

Validation and Testing

Robert S. Fabry: How to Design a System in Which Modules Can Be Changed on the Fly. 470-476
David J. Panzl: Test Procedures: A New Approach to Software Verification. 477-485
S. Pimont, J.-C. Rault: A Software Reliability Assessment Based on a Structural and Behavioral Analysis of Programs. 486-491
E. Burton Swanson: The Dimensions of Maintenance. 492-497

Data Bases

Michael Hammer, Dennis McLeod: A Framework for Data Base Semantic Integrity. 498-504
Larry Kerschberg, Esen A. Ozkarahan, J. E. S. Pacheco: A Synthetic English Query Language for a Relational Accociative Processor. 505-519
Dennis McLeod: The Translation and Compatibility of SEQUEL and Query by Example. 520-526
Michael Stonebraker: A Comparison of the Use of Links and Secondary Indices in a Relational Data Base System. 527-531
David K. Hsiao: A Software Engineering Experience in the Management, Design and Implementation of A Data Secure System. 532-538
Richard C. T. Lee, James R. Slagle, C. T. Mong: Application of Clustering to Estimate Missing Data and Improve Data Integrity. 539-544
Isao Miyamoto: Some Considerations in Database Application Programming. 545-555
P. Kümmel: Improved Updating in relational Dat Base Systems by Deuter-Shere Algorithms. 556-561

Case Studies

Peter Alsberg, J. D. Day: A Principle for Resilient Sharing of Distributed Resources. 562-570
Reinhard Wilhelm, Knut Ripken, Joachim Ciesinger, Harald Ganzinger, Walter Lahner, R. Nollmann: Design Evaluation of the Compiler Generating System MUGI. 571-576
J. Mohan, M. Geller: An Environmental Simulator for the FDNY Computer Aided Dispatch System. 577-584
K. S. Shankar, C. Sekar Chandersekaran: Dat Flow, Abstraction Levels and Specifications for Communications Switching Systems. 585-591
Barry W. Boehm, J. R. Brown, M. Lipow: Quantitative Evaluation of Software Quality. 592-605
Udo Voges: Aspects of Design, Test and Validation of the Software for a Computerized Reactor Protection System. 606-610
Wolfgang D. Ehrenberger, G. Rauch, K. Okroy: Program Analysis - A Method for the Verification of Software for the Control of a Nuclear Reactor. 611-616

Software Automated Tools

B. C. Hodges, J. P. Ryan: A System for Automatic Software Evaluation. 617-623
Lloyd D. Fosdick, Leon J. Osterweil: The Detection of Anomalous Interprocedural Data Flow. 624-628
W. H. Jessop, J. Richard Kane, S. Roy, J. M. Scanlon: ATLAS - An Automated Software Testing System. 629-635
C. V. Ramamoorthy, Siu-Bun F. Ho, W. T. Chen: On the Automated Generation of Program Test Data (Abstract). 636