2. ICSE 1976:
San Francisco, CA, USA Raymond T. Yeh , C. V. Ramamoorthy (Eds.):
Proceedings of the 2nd International Conference on Software Engineering, San Francisco, California, USA, October 13-15, 1976.
IEEE Computer Society 1976 Requirements Definition
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Program Synthesis Techniques
export record as
dblp key:
export record as
dblp key:
David R. Barstow ,
Elaine Kant :
Observations on the Interaction Between Coding and Efficiency Knowledge in the PSI Program Synthesis System.
19-31
export record as
dblp key:
Operating Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Requirements Engineering
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Mack W. Alford :
A Requirements Engineering Methodology for Real-Time Processing Requirements (Abstract).
69
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
R. G. Koppang :
Process Design System: An Integrated Set of Software Development Tools.
86-90
export record as
dblp key:
K. G. Salter :
A Methodology for Decomposing System Requirements Into Data Processing Requirements.
91-101
export record as
dblp key:
export record as
dblp key:
J. P. Benson ,
R. A. Melton :
A Laboratory for the Development and Evaluation of BMD Software Quality Enhancement Techniques.
106-109
export record as
dblp key:
Education
export record as
dblp key:
Operating Systems and Networks
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
C. V. Ravi :
The Structure and Characteristics of Distributed Systems.
133-137
Performance Evaluation
export record as
dblp key:
James C. Browne :
A Critical Overview of Computer Performance Evaluation.
138-145
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Programmer's Workbench
export record as
dblp key:
export record as
dblp key:
John R. Mashey :
Using a Command Language as a High-Level Programming Language.
169-176
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Software Design and Development
export record as
dblp key:
David Gries :
An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs (Abstract).
200
Design Principles of Large Programs
export record as
dblp key:
W. W. Black :
The Role of Software in Successful Computer Applications.
201-205
export record as
dblp key:
export record as
dblp key:
Programming Languages
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/icse/SilberschatzKB76 export record as
dblp key:
Michael B. Feldman :
New Languages from Old: The Extension of Programming Languages by Embedding, with a Case Study.
237-242
Software Modeling
export record as
dblp key:
Kapali P. Eswaran :
Aspects of a Trigger Subsystem in an Integrated Data Base System.
243-250
export record as
dblp key:
Erol Gelenbe :
A Model of Roll-Back Recovery with Multiple Checkpoints.
251-255
export record as
dblp key:
export record as
dblp key:
Izhak Rubin :
On Reliable Topologies for Computer Networks.
263-267
export record as
dblp key:
M. L. Shooman :
Structural Models for Software Reliability Prediction.
268-280
export record as
dblp key:
export record as
dblp key:
Alan Jay Smith :
On the Effectiveness of Set Associative Page Mapping and Its Application to Main Memory Management.
286-292
Design Specifiaction and Management
export record as
dblp key:
Mehdi Jazayeri :
Formal Specification and Automatic Programming.
293-296
export record as
dblp key:
Yaohan Chu :
Introducing a Software Design Language.
297-304
export record as
dblp key:
export record as
dblp key:
W. E. Stephenson :
An Analysis of the Resources Used in the SAFEGUARD System Software Development.
312-321
Programming Languages and Systems
export record as
dblp key:
Peter Wegner :
Research Pradigms in Computer Science.
322-330
export record as
dblp key:
Richard L. Wexelblat :
Maxims for Malfeasant Designers, or How to Design Languages to Make Programming as Difficult as Possible.
331-336
export record as
dblp key:
export record as
dblp key:
Software Design
export record as
dblp key:
Software Engineering in the Department of Defense
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
J. C. Carrow :
Structured Programming: From Theory to Practice.
370-372
export record as
dblp key:
J. S. Greene :
Dynamic Software Engineering: An Evolutionary Approach to Automated Software Development and Management.
373-378
export record as
dblp key:
W. E. Carlson :
Software Research in the Department of Defense.
379-383
Software Verification and Validation
export record as
dblp key:
Peter J. Denning :
Sacificing the Calf of Flexibility on the Altar of Reliability.
384-386
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Program Proving and Verification
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
T. S. Chow :
A Generalized Assertion Language.
392-399
export record as
dblp key:
Theoretical Aspects of Software Engineering
export record as
dblp key:
export record as
dblp key:
Billy G. Claybrook :
The Design of a Template Structure for a Generalized Data Structure Definition Facility.
408-413
export record as
dblp key:
Software Fault Tolerance
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
T. Anderson ,
R. Kerr :
Recovery Blocks in Action: A System Supporting High Reliability.
447-457
export record as
dblp key:
Validation and Testing
export record as
dblp key:
Robert S. Fabry :
How to Design a System in Which Modules Can Be Changed on the Fly.
470-476
export record as
dblp key:
David J. Panzl :
Test Procedures: A New Approach to Software Verification.
477-485
export record as
dblp key:
S. Pimont ,
J.-C. Rault :
A Software Reliability Assessment Based on a Structural and Behavioral Analysis of Programs.
486-491
export record as
dblp key:
Data Bases
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Dennis McLeod :
The Translation and Compatibility of SEQUEL and Query by Example.
520-526
export record as
dblp key:
Michael Stonebraker :
A Comparison of the Use of Links and Secondary Indices in a Relational Data Base System.
527-531
export record as
dblp key:
David K. Hsiao :
A Software Engineering Experience in the Management, Design and Implementation of A Data Secure System.
532-538
export record as
dblp key:
export record as
dblp key:
Isao Miyamoto :
Some Considerations in Database Application Programming.
545-555
export record as
dblp key:
P. Kümmel :
Improved Updating in relational Dat Base Systems by Deuter-Shere Algorithms.
556-561
Case Studies
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
J. Mohan ,
M. Geller :
An Environmental Simulator for the FDNY Computer Aided Dispatch System.
577-584
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Udo Voges :
Aspects of Design, Test and Validation of the Software for a Computerized Reactor Protection System.
606-610
export record as
dblp key:
conf/icse/EhrenbergerRO76
Software Automated Tools
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/icse/RamamoorthyHC76
data released under the ODC-BY 1.0 license
