default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th ICSE 1987: Monterey, CA, USA
- William E. Riddle, Robert M. Balzer, Kouichi Kishida:
Proceedings, 9th International Conference on Software Engineering, Monterey, California, USA, March 30 - April 2, 1987. ACM Press 1987, 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 - Yukio Miyazaki, Noritoshi 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 - 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 - Toshitsugu 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 - 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 - Herbert 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 - Shmuel Katz, Charles A. Richter, Khe-Sing The:
PARIS: A System for Reusing Partially Interpreted Schemas. 377-386
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 00:11 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
