default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd ICSE 1976: San Francisco, CA, USA
- Raymond T. Yeh, C. V. Ramamoorthy:
Proceedings of the 2nd International Conference on Software Engineering, San Francisco, California, USA, October 13-15, 1976. IEEE Computer Society 1976
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 - Ashok 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 - Jeoffrey 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 H. 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 - Martin 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 - Rein 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
- William 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 - Tsun 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 - Stephen 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 - Peter 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 - John Mohan, Michael 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, John R. Brown, Myron 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
- Bobby 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
