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
2. ICSE 1976:
San Francisco, CA, USA
Program Synthesis Techniques
David R. Barstow
, Elaine Kant
: Observations on the Interaction Between Coding and Efficiency Knowledge in the PSI Program Synthesis System.
Mack W. Alford
: A Requirements Engineering Methodology for Real-Time Processing Requirements (Abstract).
R. G. Koppang
: Process Design System: An Integrated Set of Software Development Tools.
K. G. Salter
: A Methodology for Decomposing System Requirements Into Data Processing Requirements.
J. P. Benson
, R. A. Melton
: A Laboratory for the Development and Evaluation of BMD Software Quality Enhancement Techniques.
Operating Systems and Networks
James C. Browne
: A Critical Overview of Computer Performance Evaluation.
Software Design and Development
: An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs (Abstract).
Design Principles of Large Programs
W. W. Black
: The Role of Software in Successful Computer Applications.
Michael B. Feldman
: New Languages from Old: The Extension of Programming Languages by Embedding, with a Case Study.
Kapali P. Eswaran
: Aspects of a Trigger Subsystem in an Integrated Data Base System.
: A Model of Roll-Back Recovery with Multiple Checkpoints.
: On Reliable Topologies for Computer Networks.
M. L. Shooman
: Structural Models for Software Reliability Prediction.
Alan Jay Smith
: On the Effectiveness of Set Associative Page Mapping and Its Application to Main Memory Management.
Design Specifiaction and Management
: Formal Specification and Automatic Programming.
: Introducing a Software Design Language.
W. E. Stephenson
: An Analysis of the Resources Used in the SAFEGUARD System Software Development.
Programming Languages and Systems
: Research Pradigms in Computer Science.
Richard L. Wexelblat
: Maxims for Malfeasant Designers, or How to Design Languages to Make Programming as Difficult as Possible.
Software Engineering in the Department of Defense
J. C. Carrow
: Structured Programming: From Theory to Practice.
J. S. Greene
: Dynamic Software Engineering: An Evolutionary Approach to Automated Software Development and Management.
W. E. Carlson
: Software Research in the Department of Defense.
Software Verification and Validation
Peter J. Denning
: Sacificing the Calf of Flexibility on the Altar of Reliability.
Program Proving and Verification
T. S. Chow
: A Generalized Assertion Language.
Theoretical Aspects of Software Engineering
Billy G. Claybrook
: The Design of a Template Structure for a Generalized Data Structure Definition Facility.
Software Fault Tolerance
, R. Kerr
: Recovery Blocks in Action: A System Supporting High Reliability.
Validation and Testing
Robert S. Fabry
: How to Design a System in Which Modules Can Be Changed on the Fly.
David J. Panzl
: Test Procedures: A New Approach to Software Verification.
, J.-C. Rault
: A Software Reliability Assessment Based on a Structural and Behavioral Analysis of Programs.
: The Translation and Compatibility of SEQUEL and Query by Example.
: A Comparison of the Use of Links and Secondary Indices in a Relational Data Base System.
David K. Hsiao
: A Software Engineering Experience in the Management, Design and Implementation of A Data Secure System.
: Some Considerations in Database Application Programming.
: Improved Updating in relational Dat Base Systems by Deuter-Shere Algorithms.
, M. Geller
: An Environmental Simulator for the FDNY Computer Aided Dispatch System.
: Aspects of Design, Test and Validation of the Software for a Computerized Reactor Protection System.
Software Automated Tools