9. ICSE 1987: Monterey, CA, USA

Proceedings, 9th International Conference on Software Engineering, March 30 - April 2, 1987, Monterey, California, USA. ACM Press, ISBN 0-89791-216-0

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, Koji 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

Last update Tue Feb 14 04:02:38 2012 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page