9. ICSE 1987: Monterey, CA, USA

Plenary Sessions

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

Panel: Understanding and Assessing the Software Process

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

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 BibTeX
• Kokichi Futatsugi, Joseph A. Goguen, José Meseguer, K. Okada: Parameterized Programming in OBJ2. 51-60 BibTeX
• Dewayne E. Perry: Software Interconnection Models. 61-71 BibTeX

Measuring and Modeling the Software Process

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

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 BibTeX

More Formal Specification Languages

• Peter B. Ladkin: Specification of Time Dependencies and Synthesis of Concurrent Processes. 106-115 BibTeX
• 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 BibTeX
• Gruia-Catalin Roman: Specifying Software/Hardware Interactions in Distributed Systems. 126-141 BibTeX

Supporting Version Control

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

Panel: Database Technologies and Software Engineering

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

Some Existing Software Process Models

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

Panel: Artificial Intelligence and Software Engineering

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

User Interface Support

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

Software Process Assessments and Improvements

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

Panel: Sampling of Existing Environments

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

Panel: Software Process Management: Lessons Learned from History

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

Panel: Prospects for Future Envionments

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

Panel: Appoaches to Improving Software Processes

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

Support for Evolution and Reuse

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