Abstract is missing.
- Lilith: A Personal Computer for the Software EngineerNiklaus Wirth. 2-16
- Implementing a Software Management DisciplineRobert E. Loesh, B. Larman, P. Molko, Donald J. Reifer. 17
- Early Experiences with EuclidDavid B. Wortman, James R. Cordy. 27-33
- Conspectus of Software Engineering EnvironmentsHans-Ludwig Hausen, Monika Müllerburg. 34-43
- An Incremental Programming EnvironmentPeter H. Feiler, Raul Medina-Mora. 44-53
- A Robust B-Tree ImplementationJames P. Black, David J. Taylor, David E. Morgan. 63-70
- An Index Organization for Applications with Highly Skewed Access PatternsChrister Hulten. 71-78
- The Evolution of Programs: Program Abstraction and InstantiationNachum Dershowitz. 79-89
- A Comparison of Lifecycle ModelsPentti Kerola, Peter Freeman. 90-99
- A Meta-Model for Software Development Resource ExpendituresJ. W. Bailey, Victor R. Basili. 107-116
- Use of Cluster Analysis to Evaluate Software Engineering MethodologiesE. Chen, Marvin V. Zelkowitz. 117-124
- An Algorithm to Support Code-Skeleton Generation for Concurrent SystemsMaria Heloisa (Lolo) Penedo, Daniel M. Berry, Gerald Estrin. 125-135
- Experience with a Modular Typed Language: PROTELP. M. Cashin, Marc L. Joliat, R. F. Kamel, D. M. Lasker. 136-143
- Software Architecture Based on Communicating Residential EnvironmentsErik Sandewall, Claes Strömberg, Henrik Sörensen. 144-152
- Interactive Software Development Tool: ISDTMotoei Azuma, M. Takahashi, Susumu Kamiya, K. Minomura. 153-163
- On the Time Overhead of Counters and Traversal MarkersIra R. Forman. 164-169
- Using Attributed Grammars to Test Designs and ImplementationsA. G. Duncan, J. S. Hutchison. 170-178 [doi]
- A Report on Random TestingJoe W. Duran, Simeon C. Ntafos. 179-183
- Sufficient Tset Sets for Path Analysis Testing StrategiesSteven J. Zeil, Lee J. White. 184-194
- The Effects of Symbology and Spatial Arrangement on the Comprehension of Software SpecificationsSylvia B. Sheppard, Elizabeth Kruesi, Bill Curtis. 207-214
- The Effect of Modularization and Comments on Program ComprehensionScott N. Woodfield, Hubert E. Dunsmore, Vincent Yun Shen. 215-223
- Methods for Improving Controlled Experimentation in Software EngineeringThomas G. Moher, G. Michael Schneider. 224-234
- Completeness Criteria for Testing Elementary Program FunctionsWilliam E. Howden. 235-243
- A Partition Analysis Method to Increase Program ReliabilityDebra J. Richardson, Lori A. Clarke. 244-253
- An Automated Program Testing Methodology and Its ImplementationDorothy M. Andrews, Jeoffrey P. Benson. 254-262
- Resource = Abstract Data Type + Synchronization - A Methodology for Message Oriented ProgrammingP. R. F. Cunha, T. S. E. Maibaum. 263-272
- The Finalization Operation for Abstract TypesRichard L. Schwartz, P. M. Melliar-Smith. 273-282
- Executable Requirements for Embedded SystemsPamela Zave, Raymond T. Yeh. 295-304
- An Innovative Approach to System Requirements Analysis by Using Structural Modeling MethodN. Komoda, K. Haruna, H. Kaji, H. Shinozawa. 305-313
- Evaluation of a Software Requirements Document by Analysis of Change DataVictor R. Basili, David M. Weiss. 314-324
- Development of Computer Programs by Problem Analysis Diagram (PAD)Y. Futamura, T. Kawai, H. Horikoshi, M. Tsutsumi. 325-332
- Prototyping as a Tool in the Specification of User RequirementsHassan Gomaa, D. B. H. Scott. 333-342
- HFP: A Hierarchical and Functional Programming Based on Attribute GrammarT. Katayama. 343-353
- Active Data StructuresGregory R. Andrews, David P. Dobkin, Peter J. Downey. 354-362
- The Two-Step Commitment Protocol: Modeling, Specification and Proof MethodologyJean-Loup Baer, Georges Gardarin, Claude Girault, Gérard Roucairol. 363-373
- Specifying and Proving Properties of Sentinel ProcessesKrithi Ramamritham, Robert M. Keller. 374-386
- BIGMAC II: A FORTRAN Language Augmentation ToolEugene W. Myers, Leon J. Osterweil. 410-421
- Program Refinement by TranssformationThomas E. Cheatham Jr., Glenn H. Holloway, Judy A. Townley. 430-438
- Program SlicingMark Weiser. 439-449
- Application DownloadingRobert Balzer, A. Cooperband, Martin S. Feather, Philip E. London, David S. Wile. 450-459
- An Interactive Tool for Program ManipulationAnne Adam, Paul Y. Gloess, Jean-Pierre H. Laurent. 460