9. ICSE 1987: Monterey, CA, USA

Plenary Sessions

• Leon J. Osterweil: Software Processes Are Software Too. 2-13
• M. M. Lehman: Process Models, Process Programs, Programming Support. 14-16
• Dines Bjørner: On the Use of Formal Methods in Software Development. 17-29
• V. Stenning: On the Role of an Environment. 30-35

Panel: Understanding and Assessing the Software Process

• Mark Dowson: Iteration in the Software Process: Review of the 3rd International Software Process Workshop. 36-41

Formal Specification Languages

• E. F. Berliner, Pamela Zave: An Experiment in Technology Transfer: PAISLey Specification of Requirements for an Undersea Lightwave Cable System. 42-50
• Kokichi Futatsugi, Joseph A. Goguen, José Meseguer, K. Okada: Parameterized Programming in OBJ2. 51-60
• Dewayne E. Perry: Software Interconnection Models. 61-71

Measuring and Modeling the Software Process

• Willa K. Ehrlich, T. J. Emerson: Modeling Software Failures and Reliability Growth During System Testing. 72-82
• Y. Miyazaki, N. Murakami: Software Metrics Using Deviation Value. 83-95

Panel: Empirical Studies of the Software Process

• Bill Curtis, Herb Krasner, Vincent Y. Shen, Neil Iscoe: On Building Software Process Models Under the Lamppost. 96-105

More Formal Specification Languages

• Peter B. Ladkin: Specification of Time Dependencies and Synthesis of Concurrent Processes. 106-115
• Bernd J. Krämer: SEGRAS - A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems. 116-125
• Gruia-Catalin Roman: Specifying Software/Hardware Interactions in Distributed Systems. 126-141

Supporting Version Control

• Dewayne E. Perry: Version Control in the Inscape Environment. 142-149
• Jürgen F. H. Winkler: Version Control in Families of Large Programs. 150-165

Panel: Database Technologies and Software Engineering

• Philip A. Bernstein: Database System Support for Software Engineering. 166-179

Some Existing Software Process Models

• Gail E. Kaiser, Peter H. Feiler: An Architecture for Intelligent Assistance in Software Development. 180-188
• D. P. Schwartz: Software Evolution Management: An Integrated Discipline for Managing Software. 189-189
• L. D. I. Serbanati: Interform: A CAD System for Program Development. 190-199

Panel: Artificial Intelligence and Software Engineering

• David R. Barstow: Artificial Intelligence and Software Engineering. 200-215

User Interface Support

• Christian Rathke: Human-Computer Communication Meets Software Engineering. 216-224
• Steven P. Reiss: A Conceptual Programming Environment. 225-237

Software Process Assessments and Improvements

• J. C. Kelly: A Comparison of Four Design Methods for Real-Time Systems. 238-252
• Mitchell D. Lubars, Mehdi T. Harandi: Knowledge-Based Software Design Using Design Schemas. 253-262
• T. Nomura: Use of Software Engineering Tools in Japan. 263-269
• Karsten Schwan, Rajiv Ramnath, Sridhar Vasudevan, David M. Ogle: A System for Parallel Programming. 270-285

Panel: Sampling of Existing Environments

• Leon J. Osterweil: Lessons of Current Environments. 286
• Mark Dowson: ISTAR and the Contractual Approach. 287-288
• Anthony Hall: Tool Interfaces in Integrated Project Support Environments. 289-290
• Y. Matsumoto: Ten Years Experiences of a Software/Hardware Producing Environment. 291-291
• Nelson H. Weiderman: Evaluating Software Development Environments. 292-295

Panel: Software Process Management: Lessons Learned from History

• Barry W. Boehm: Software Process Management: Lessons Learned from History. 296-298
• H. D. Benington: Production of Large Computer Programs. 299-310
• W. A. Hosier: Pitfalls and Safeguards in Real-Time Digital Systems with Emphasis on Programming. 311-327
• W. W. Royce: Managing the Development of Large Software Systems: Concepts and Techniques. 328-339

Panel: Prospects for Future Envionments

• Colin Tully: Prospects for Future Environments: Introduction to Panel Session. 340-343

Panel: Appoaches to Improving Software Processes

• William E. Riddle: Improving the Software Process. 344
• Victor R. Basili, H. Dieter Rombach: Tailoring the Software Process to Project Goals and Environments. 345-359

Support for Evolution and Reuse

• David W. Embley, Scott N. Woodfield: A Knowledge Structure for Reusing Abstract Data Types. 360-368
• Gerhard Fischer, Andreas C. Lemke, Christian Rathke: From Design to Redesign. 369-376
• S. Katz, Charles Richter, K.-S. The: PARIS: A System for Reusing Partially Interpreted Schemas. 377-386