ICSE 1976

103 papers

1. A Comparison of the Use of Links and Secondary Indices in a Relational Data Base System · Michael Stonebraker
2. A Complexity Measure (Abstract) · Thomas J. McCabe
3. A Critical Overview of Computer Performance Evaluation · James C. Browne
4. A Data Structure and Drive Mechanism for a Table-Driven Simulation System Employing Multilevel Structural Representations of Digital Systems · N. Billawala, Stephen A. Szygenda, Ewald W. Thomson
5. A Defense View of Software Engineering · William A. Whitaker
6. A Framework for Data Base Semantic Integrity · Michael Hammer, Dennis McLeod
7. A Generalized Assertion Language · Tsun S. Chow
8. A Laboratory for the Development and Evaluation of BMD Software Quality Enhancement Techniques · Jeoffrey P. Benson, R. A. Melton
9. A Language Extension for Controlling Access to Shared Data (Abstract) · Anita K. Jones, Barbara H. Liskov
10. A Management Approach to the Development of Computer-Based Systems · Rein Turn, M. R. Davis, Robert N. Reinstedt
11. A Methodology for Decomposing System Requirements Into Data Processing Requirements · K. G. Salter
12. A Model of Roll-Back Recovery with Multiple Checkpoints · Erol Gelenbe
13. A Modification Request Control System · D. B. Knudsen, A. Barofsky, L. R. Satz
14. A Principle for Resilient Sharing of Distributed Resources · Peter Alsberg, J. D. Day
15. A Requirements Engineering Methodology for Real-Time Processing Requirements (Abstract) · Mack W. Alford
16. A Software Engineering Experience in the Management, Design and Implementation of A Data Secure System · David K. Hsiao
17. A Software Reliability Assessment Based on a Structural and Behavioral Analysis of Programs · S. Pimont, J.-C. Rault
18. A Synthetic English Query Language for a Relational Accociative Processor · Larry Kerschberg, Esen A. Ozkarahan, J. E. S. Pacheco
19. A System for Automatic Software Evaluation · Bobby C. Hodges, J. P. Ryan
20. A User's Viewpoint on the Programmer's Workbench · M. H. Bianchi, J. L. Wood
21. ATLAS - An Automated Software Testing System · W. H. Jessop, J. Richard Kane, S. Roy, J. M. Scanlon
22. Adaptive Testing · D. W. Cooper
23. An Analysis of the Resources Used in the SAFEGUARD System Software Development · W. E. Stephenson
24. An Approach to Error-Resistant Software Design · Stephen S. Yau, R. C. Cheung, D. C. Cochrane
25. An Environmental Simulator for the FDNY Computer Aided Dispatch System · John Mohan, Michael Geller
26. An Experiment in Program Restructuring for Performance Enhancement · Domenico Ferrari, Edwin J. Lau
27. An Extendable Approach to Computer-Aided Software Requirements Engineering (Abstract) · Thomas E. Bell, David C. Bixler, Margaret E. Dyer
28. An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs (Abstract) · David Gries
29. An Introduction to the Construction and Verification of Alphard Programs (Abstract) · William A. Wulf, Ralph L. London, Mary Shaw
30. An Introduction to the Programmer's Workbench · Ted A. Dolotta, John R. Mashey
31. Application of Clustering to Estimate Missing Data and Improve Data Integrity · Richard C. T. Lee, James R. Slagle, C. T. Mong
32. Aspects of Design, Test and Validation of the Software for a Computerized Reactor Protection System · Udo Voges
33. Aspects of a Trigger Subsystem in an Integrated Data Base System · Kapali P. Eswaran
34. Automated Software Engineering Through Structured Data Management (Abstract) · C. A. Irvine, John W. Brackett
35. Automatic Program Analysis and Evaluation · Marvin V. Zelkowitz
36. Bayesian Models of Design Based on Intuition · K. Mani Chandy
37. Control Structure Abstractions of the Backtracking Programming Technique (Abstract) · Susan L. Gerhart, Lawrence Yelowitz
38. Dat Flow, Abstraction Levels and Specifications for Communications Switching Systems · K. S. Shankar, C. Sekar Chandersekaran
39. Decision Table Programming and Reliability · Art Lew, D. Tamanaha
40. Design Evaluation of the Compiler Generating System MUGI · Reinhard Wilhelm, Knut Ripken, Joachim Ciesinger, Harald Ganzinger, Walter Lahner, R. Nollmann
41. Design and Specification of the Minimal Subset of an Operating System Family (Abstract) · David Lorge Parnas, Georg Handzel, Harald Würges
42. Design and Verification of Real-Time Systems · J. V. Phillips, Thomas H. Bredt
43. Documentation Tools and Techniques · John R. Mashey, D. W. Smith
44. Dynamic Software Engineering: An Evolutionary Approach to Automated Software Development and Management · J. S. Greene
45. Essential Elements of Software Engineering Education · Peter Freeman, Anthony I. Wasserman, Richard E. Fairley
46. Extending Concurrent Pascal to Allow Dynamic Resource Management (Abstract) · Abraham Silberschatz, Richard B. Kieburtz, Arthur J. Bernstein
47. Formal Specification and Automatic Programming · Mehdi Jazayeri
48. How to Design a System in Which Modules Can Be Changed on the Fly · Robert S. Fabry
49. Improved Updating in relational Dat Base Systems by Deuter-Shere Algorithms · Peter Kümmel
50. Induction as the Basis for Program Verification (Abstract) · Charles Reynolds, Raymond T. Yeh
51. Introducing a Software Design Language · Yaohan Chu
52. Is 'Sometime' Sometimes Better Than 'Always'? Intermittent Assertions in Proving Program Correctness · Zohar Manna, Richard J. Waldinger
53. Maxims for Malfeasant Designers, or How to Design Languages to Make Programming as Difficult as Possible · Richard L. Wexelblat
54. New Languages from Old: The Extension of Programming Languages by Embedding, with a Case Study · Michael B. Feldman
55. Observations on the Interaction Between Coding and Efficiency Knowledge in the PSI Program Synthesis System · David R. Barstow, Elaine Kant
56. On Reliable Topologies for Computer Networks · Izhak Rubin
57. On the Automated Generation of Program Test Data (Abstract) · C. V. Ramamoorthy, Siu-Bun F. Ho, W. T. Chen
58. On the Effectiveness of Set Associative Page Mapping and Its Application to Main Memory Management · Alan Jay Smith
59. On the Modelling, Analysis and Design of Protocols - A Special Class of Software Structures · Mohamed G. Gouda, Eric G. Manning
60. On the Transformational Implementation Approach to Programming · Robert Balzer, Neil M. Goldman, David S. Wile
61. PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems (Abstract) · Daniel Teichroew, Ernest A. Hershey III
62. Process Design Engineering: A Methodology for Real-Time Software Development · S. N. Gaulding, J. D. Lawson
63. Process Design System: An Integrated Set of Software Development Tools · R. G. Koppang
64. Program Analysis - A Method for the Verification of Software for the Control of a Nuclear Reactor · Wolfgang D. Ehrenberger, G. Rauch, K. Okroy
65. Program Evolution and Its Impact on Software Engineering · M. M. Lehman, F. N. Parr
66. Programming as an Evolutionary Process · Friedrich L. Bauer
67. Quantitative Evaluation of Software Quality · Barry W. Boehm, John R. Brown, Myron Lipow
68. RIG, Rochester's Intelligent Gateway: System Overview (Abstract) · J. Eugene Ball, Jerome A. Feldman, James R. Low, Richard F. Rashid, Paul Rovner
69. Recovery Blocks in Action: A System Supporting High Reliability · T. Anderson, R. Kerr
70. Research Pradigms in Computer Science · Peter Wegner
71. Research Towards a technology to Support the Specification of Data Processing System Performance Requirements · Edward E. Balkovich, G. P. Engelberg
72. Response to Undesired Events in Software Systems · David Lorge Parnas, Harald Würges
73. Sacificing the Calf of Flexibility on the Altar of Reliability · Peter J. Denning
74. Signaling in Monitors · John H. Howard
75. Software Development (Abstract) · Harlan D. Mills
76. Software Development and Proofs of Multi-Level Security · Peter G. Neumann, Richard J. Feiertag, Karl N. Levitt, Lawrence Robinson
77. Software Engineering and Structured Programming (Abstract) · Maurice V. Wilkes
78. Software Engineering in the Development of the TRIDENT Fire Control System · R. M. Pollock, W. L. McCoy
79. Software Requirements: Are They Really a Problem? · Thomas E. Bell, T. A. Thayer
80. Software Research in the Department of Defense · W. E. Carlson
81. Some Classes of Naturally Provable Programs · Sanat K. Basu, Jayadev Misra
82. Some Considerations in Database Application Programming · Isao Miyamoto
83. Specifications: A Key to Effective Software Development · P. C. Belford, A. F. Bond, D. G. Henderson, L. S. Sellers
84. Structural Models for Software Reliability Prediction · Martin L. Shooman
85. Structured Analysis for Requirements Definition (Abstract) · Douglas T. Ross, Kenneth E. Schoman Jr.
86. Structured Programming: From Theory to Practice · J. C. Carrow
87. Test Procedures: A New Approach to Software Verification · David J. Panzl
88. The Design of Data Type Specifications · John V. Guttag, Ellis Horowitz, David R. Musser
89. The Design of a Template Structure for a Generalized Data Structure Definition Facility · Billy G. Claybrook
90. The Design of the PSI Program Synthesis System · C. Cordell Green
91. The Design, Analysis, and Verification of the SIFT Fault-Tolerant System · John H. Wensley, Milton W. Green, Karl N. Levitt, Robert E. Shostak
92. The Detection of Anomalous Interprocedural Data Flow · Lloyd D. Fosdick, Leon J. Osterweil
93. The Dimensions of Maintenance · E. Burton Swanson
94. The LEAP Load and Test Driver · Ted A. Dolotta, J. S. Licwinko, R. E. Menninger, William D. Roome
95. The Preliminary Design as a Key to Successful Software Development · J. M. Dreyfus, P. J. Karacsony
96. The Role of Software in Successful Computer Applications · W. W. Black
97. The Software Development System (Abstract) · Carl G. Davis, Charles R. Vick
98. The Structure and Characteristics of Distributed Systems · C. V. Ravi
99. The Translation and Compatibility of SEQUEL and Query by Example · Dennis McLeod
100. Towards and Engineering Approach to Software Design · John R. White, Taylor L. Booth
101. Using a Command Language as a High-Level Programming Language · John R. Mashey
102. Verification of Fairness in an Implementation of Monitors · Richard Alan Karp, David C. Luckham
103. Verification of a Monitor Specification · Ashok R. Saxena, Thomas H. Bredt