ICSE 1978

46 papers

1. A Graph Theoretic Approach to the Verification of Program Structures · John R. Brown, Kurt F. Fischer
2. A Model for Program Complexity Analysis · Carma L. McClure
3. A Model of Software Engineering · Lawrence J. Peters, Leonard L. Tripp
4. A Perspective on Software Development · Bill Hetzel
5. A Proposed Curriculum for Software Engineering Education · Peter Freeman, Anthony I. Wasserman
6. A Type-Checking Program Linkage System for Pascal · Richard B. Kieburtz, W. Barabash, C. R. Hill
7. An Engineering Methodology for Presenting Software Functional Architecture · Leighton R. Scott
8. An Extensible File System for Hydra · Guy T. Almes, George G. Robertson
9. Analysis of Error Remediation Expenditures During Validation · Mary Anne Herndon, Ann P. Keenan
10. Analyzing Medium-Scale Software Development · Victor R. Basili, Marvin V. Zelkowitz
11. Automatic Revision of Formal Test Procedures · David J. Panzl
12. Behavior Modelling During Software Design · William E. Riddle, Jack C. Wileden, John H. Sayler, Alan R. Segal, Allan M. Stavely
13. Concurrent Software System Design, Supported by SARA at the Age of One · Ivan M. Campos, Gerald Estrin
14. Control Structure Aptness: A Cast Study Using Top-Down Parsing · Gary Lindstrom
15. DAS: An Automated System to Support Design Analysis · R. R. Willis
16. Design and Principles of a Fault Tolerant System · L. Boi, P. Michel
17. Design and Verification of Communication Procedures: A Bottom-Up Approach · Pierre Azéma, Jean-Michel Ayache, Bernard Berthomieu
18. Designing Software for Ease of Extension and Contraction · David Lorge Parnas
19. Dynamic Restructuring in an Experimental Operating System · Hannes Goullon, Rainer Isle, Klaus-Peter Löhr
20. Evolution in the Design of Abstract Machines for Software Portability · Daniel Thalmann
21. FAST: A Second Generation Program Analysis System · James C. Browne, David B. Johnson
22. How Software is Really Engineered? · Leon G. Stucki
23. How to Measure Software Reliability, and How Not To · Bev Littlewood
24. Inference Rules for Program Annotation · Nachum Dershowitz, Zohar Manna
25. Information Systems: Modelling, Sequencing and Transformations · Michael Jackson
26. Introduction to the Wellmade Design Methodology · Donald L. Boyd, Antonio Pizzarello
27. Kongsberg's Road to an Industrial Software Methodology · Jan T. Pedersen, John K. Buckle
28. Measuring Memory Protection · Douglas Cook
29. Measuring Reliability of Computer Center Software · Patricia A. Hamilton, John D. Musa
30. Prospects for Program Verification (Tutorial) · James C. King
31. Requirements Expression and Verification Aid · Sharon A. Stephens, Leonard L. Tripp
32. Research Directions in Software Technology · Peter Wegner
33. Software Engineering in Avionics Applications · A. Dniestrowski, J. M. Guillaume, Robert Mortier
34. Software Engineering: A Keynote Address · C. A. R. Hoare
35. Some Experience in Building Portable Software · Max Stern
36. Symbolic Interpretation and Tracing of PASCAL-Programs · Guido Persch, Georg Winterstein
37. The Design of a Reliable Applications System · Edward Gainer, Edward M. Kimball, Alan A. Kortesoja, Alfred Maley
38. The Interaction Between the Preliminary Designs and the Technical Requirements for the DoD Common High Order Language · David A. Fisher
39. The Multics System Programming Process · Tom H. Van Vleck, C. T. Clingen
40. The Synthesis of Structure Changing Programs · Zohar Manna, Richard J. Waldinger
41. Theoretical and Empirical Studies of Program Testing · William E. Howden
42. Toward an Effective Software Reliability Evaluation · Isao Miyamoto
43. Toward the Engineerin of Software: Problems of the 80's (Panel) · Anthony I. Wasserman
44. Use of State Diagrams to Engineer Communications Software · Paul Chung, Berry Gaiman
45. User Perceived Quality of Interactive Systems · Wolfgang Dzida, Siegfried Herda, Wolf D. Itzfeldt
46. Using a Behavioral Theory of Program Comprehension in Software Engineering · Ruven E. Brooks