Abstract is missing.
- On the Influence of Scale in a Distributed SystemMahadev Satyanarayanan. 10-18
- Programming at the Processor-Memory-Switch LevelMario Barbacci, Charles B. Weinstock, Jeannette M. Wing. 19-29
- Theory-W Software Project Management: A Case StudyBarry W. Boehm, Rony Ross. 30-40
- Models of Software Development EnvironmentsDewayne E. Perry, Gail E. Kaiser. 60-68
- SDA: A Novel Approach to Software Environment Design and ConstructionKouichi Kishida, Takuya Katayama, Masatoshi Matsuo, Isao Miyamoto, Koichiro Ochimizu, Nobuo Saito, John H. Sayler, Koji Torii, Lloyd G. Williams. 69-79
- Rigi - A System for Programming-in-the-LargeHausi A. Müller, K. Klashinsky. 80-87
- Software Engineering for Distributed Applications: The Design ProjectMax Mühlhäuser. 93-101
- Using Raddle To Design Distributed SystemsMichael Evangelist, V. Y. Shen, Ira R. Forman, M. Graf. 102-115
- Heuristic Software Partitioning Algorithms for Distributed Real-Time ApplicationsX. Huang, H. Zhang, X. Cai. 116-121
- Plenary Session-Software for Space StationW. Murray, Clarence Pittman. 141-143
- Assessing the Quality of Abstract Data Types Written in AdaDavid W. Embley, Scott N. Woodfield. 144-153
- Modeling Mutation on a Vector ProcessorAditya P. Mathur, Edward W. Krauser. 154-161
- A Review of Automated Debugging Systems: Knowledge, Strategies, and TechniquesMireille Ducassé, Anna-Maria Emde. 162-173
- Software Process Modeling: A Behavioral ApproachLloyd G. Williams. 174-186
- Validating the TAME Resource Data ModelD. Ross Jeffery, Victor R. Basili. 187-201
- Interpretation in a Tool-Fragment EnvironmentSteven J. Zeil, Edward C. Epp. 241-249
- Demeter: A Case Study of Software Growth through Parameterized ClassesKarl J. Lieberherr, Arthur J. Riel. 254-264
- A Programming Environment Supporting Reuse of Object-Oriented SoftwareH. Tarumi, Kiyoshi Agusa, Yutaka Ohno. 265-273
- Extension and Software DevelopmentDavid Notkin, William G. Griswold. 274-285
- Language and Visualization Support for Large-Scale ConcurrencyGruia-Catalin Roman. 296-308
- High-Level Specification of Concurrency Control in Distributed Database SystemsLin Chiu, Ming T. Liu. 309-319
- Software Reuse (Panel Abstract)Lloyd G. Williams. 320-323
- m-EVES: A Tool for Verifying SoftwareDan Craigen, Sentot Kromodimoeljo, Irwin Meisels, A. Neilson, Bill Pase, Mark Saaltink. 324-333
- Algebraic Specification of Macintosh s Quickdraw Using OBJ2Ataru T. Nakagawa, Kokichi Futatsugi, Satoru Tomura, T. Shimizu. 334-343
- An Early Report on EncompassRobert B. Terwilliger, Roy H. Campbell. 344-355
- Enhancing Program Readability and Comprehensibility with Tools for Program VisualizationRonald Baecker. 356-366
- Design Principles behind Chiron: A UIMS for Software EnvironmentsMichal Young, Richard N. Taylor, Dennis B. Troup, Cheryl D. Kelly. 367-376
- Safety Verification in Murphy Using Fault Tree AnalysisStephen S. Cha, Nancy G. Leveson, Timothy J. Shimeall. 377-387
- STATEMATE; A Working Environment for the Development of Complex Reactive SystemsDavid Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring. 396-406
- KDA - A Tool for Automatic Design Evaluation and Refinement Using the Blackboard Model of ControlHelen C. Sharp. 407-417
- Recording the Reasons for Design DecisionsColin Potts, Glenn Bruns. 418-427
- Deriving Specifications from RequirementsW. Lewis Johnson. 428-438