Stop the war!Остановите войну!
for scientists:
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
a service of 
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-04-22 21:13 CEST 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:
