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 BibTeX
Daniel Teichroew, Ernest A. Hershey III: PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems (Abstract). 2 BibTeX
C. A. Irvine, John W. Brackett: Automated Software Engineering Through Structured Data Management (Abstract). 3 BibTeX

Program Synthesis Techniques

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

Operating Systems

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

Requirements Engineering

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

Education

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

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 BibTeX
J. V. Phillips, Thomas H. Bredt: Design and Verification of Real-Time Systems. 124-131 BibTeX
J. Eugene Ball, Jerome A. Feldman, James R. Low, Richard F. Rashid, Paul Rovner: RIG, Rochester's Intelligent Gateway: System Overview (Abstract). 132 BibTeX
C. V. Ravi: The Structure and Characteristics of Distributed Systems. 133-137 BibTeX

Performance Evaluation

James C. Browne: A Critical Overview of Computer Performance Evaluation. 138-145 BibTeX
Domenico Ferrari, Edwin J. Lau: An Experiment in Program Restructuring for Performance Enhancement. 146-150 BibTeX
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 BibTeX
Marvin V. Zelkowitz: Automatic Program Analysis and Evaluation. 158-163 BibTeX

Programmer's Workbench

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

Software Design and Development

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

Design Principles of Large Programs

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

Programming Languages

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

Software Modeling

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

Design Specifiaction and Management

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

Programming Languages and Systems

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

Software Design

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

Software Engineering in the Department of Defense

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

Software Verification and Validation

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

Program Proving and Verification

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

Theoretical Aspects of Software Engineering

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

Software Fault Tolerance

Peter G. Neumann, Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson: Software Development and Proofs of Multi-Level Security. 421-428 BibTeX
S. S. Yau, R. C. Cheung, D. C. Cochrane: An Approach to Error-Resistant Software Design. 429-436 BibTeX
David Lorge Parnas, Harald Würges: Response to Undesired Events in Software Systems. 437-446 BibTeX
T. Anderson, R. Kerr: Recovery Blocks in Action: A System Supporting High Reliability. 447-457 BibTeX
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 BibTeX

Validation and Testing

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

Data Bases

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

Case Studies

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

Software Automated Tools

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