default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd 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
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-08 20:18 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:
