![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
3rd ICSE 1978: Atlanta, Georgia, USA
- Maurice V. Wilkes, Laszlo A. Belady, Y. H. Su, Harry Hayman, Philip H. Enslow Jr.:
Proceedings of the 3rd International Conference on Software Engineering, Atlanta, Georgia, USA, May 10-12, 1978. IEEE Computer Society 1978
Welcome and Opening
- C. A. R. Hoare:
Software Engineering: A Keynote Address. 1-4
Language Issues
- Gary Lindstrom:
Control Structure Aptness: A Cast Study Using Top-Down Parsing. 5-12 - William E. Riddle, Jack C. Wileden, John H. Sayler, Alan R. Segal, Allan M. Stavely:
Behavior Modelling During Software Design. 13-22 - Richard B. Kieburtz, W. Barabash, C. R. Hill:
A Type-Checking Program Linkage System for Pascal. 23-28
Software Reliability
- Patricia A. Hamilton, John D. Musa:
Measuring Reliability of Computer Center Software. 29-36 - Bev Littlewood:
How to Measure Software Reliability, and How Not To. 37-45 - Isao Miyamoto:
Toward an Effective Software Reliability Evaluation. 46-55
Educational Issues
- Peter Freeman, Anthony I. Wasserman:
A Proposed Curriculum for Software Engineering Education. 56-62 - Lawrence J. Peters, Leonard L. Tripp:
A Model of Software Engineering. 63-70
Tutorial
- James C. King:
Prospects for Program Verification (Tutorial). 71
Invited Papers
- Michael Jackson:
Information Systems: Modelling, Sequencing and Transformations. 72-81 - David A. Fisher:
The Interaction Between the Preliminary Designs and the Technical Requirements for the DoD Common High Order Language. 82-83 - Leon G. Stucki:
How Software is Really Engineered? 84
Software Design
- Jan T. Pedersen, John K. Buckle:
Kongsberg's Road to an Industrial Software Methodology. 85-93 - Donald L. Boyd, Antonio Pizzarello:
Introduction to the Wellmade Design Methodology. 94-100 - Sharon A. Stephens, Leonard L. Tripp:
Requirements Expression and Verification Aid. 101-108 - R. R. Willis:
DAS: An Automated System to Support Design Analysis. 109-115
Case Studies
- Victor R. Basili, Marvin V. Zelkowitz:
Analyzing Medium-Scale Software Development. 116-123 - A. Dniestrowski, J. M. Guillaume, R. Mortier:
Software Engineering in Avionics Applications. 124-131 - Edward Gainer, Edward M. Kimball, Alan A. Kortesoja, Alfred Maley:
The Design of a Reliable Applications System. 132-135
Program Analysis
- John R. Brown, Kurt F. Fischer:
A Graph Theoretic Approach to the Verification of Program Structures. 136-141 - James C. Browne, David B. Johnson:
FAST: A Second Generation Program Analysis System. 142-148 - Carma L. McClure:
A Model for Program Complexity Analysis. 149-157
Formal Analysis
- Nachum Dershowitz, Zohar Manna:
Inference Rules for Program Annotation. 158-167 - Pierre Azéma, Jean-Michel Ayache, Bernard Berthomieu:
Design and Verification of Communication Procedures: A Bottom-Up Approach. 168-174 - Zohar Manna, Richard J. Waldinger:
The Synthesis of Structure Changing Programs. 175-187
Human Factors
- Wolfgang Dzida, Siegfried Herda, Wolf D. Itzfeldt:
User Perceived Quality of Interactive Systems. 188-195 - Ruven E. Brooks:
Using a Behavioral Theory of Program Comprehension in Software Engineering. 196-201 - Mary Anne Herndon, Ann P. Keenan:
Analysis of Error Remediation Expenditures During Validation. 202-206
System Design
- L. Boi, P. Michel:
Design and Principles of a Fault Tolerant System. 207-214 - Paul Chung, Berry Gaiman:
Use of State Diagrams to Engineer Communications Software. 215-221 - Leighton R. Scott:
An Engineering Methodology for Presenting Software Functional Architecture. 222-229 - Ivan M. Campos, Gerald Estrin:
Concurrent Software System Design, Supported by SARA at the Age of One. 230-242
Invited Papers
- Peter Wegner:
Research Directions in Software Technology. 243-259 - Bill Hetzel:
A Perspective on Software Development. 260-263 - David Lorge Parnas:
Designing Software for Ease of Extension and Contraction. 264-277 - Tom H. Van Vleck, C. T. Clingen:
The Multics System Programming Process. 278-280
Operating Systems
- Douglas Cook:
Measuring Memory Protection. 281-287 - Guy T. Almes, George G. Robertson:
An Extensible File System for Hydra. 288-294 - Hannes Goullon, Rainer Isle, Klaus-Peter Löhr:
Dynamic Restructuring in an Experimental Operating System. 295-304
Testing
- William E. Howden:
Theoretical and Empirical Studies of Program Testing. 305-311 - Guido Persch, Georg Winterstein:
Symbolic Interpretation and Tracing of PASCAL-Programs. 312-319 - David J. Panzl:
Automatic Revision of Formal Test Procedures. 320-326
Software Portability
- Max Stern:
Some Experience in Building Portable Software. 327-332 - Daniel Thalmann:
Evolution in the Design of Abstract Machines for Software Portability. 333-340
Panel
- Anthony I. Wasserman:
Toward the Engineerin of Software: Problems of the 80's (Panel). 341
![](https://dblp.org/img/cog.dark.24x24.png)
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.