- 1987
- David R. Barstow:
Artificial Intelligence and Software Engineering. ICSE 1987: 200-215 - Victor R. Basili, H. Dieter Rombach:
Tailoring the Software Process to Project Goals and Environments. ICSE 1987: 345-359 - Herbert D. Benington:
Production of Large Computer Programs. ICSE 1987: 299-310 - E. F. Berliner, Pamela Zave:
An Experiment in Technology Transfer: PAISLey Specification of Requirements for an Undersea Lightwave Cable System. ICSE 1987: 42-50 - Philip A. Bernstein:
Database System Support for Software Engineering. ICSE 1987: 166-179 - Dines Bjørner:
On the Use of Formal Methods in Software Development. ICSE 1987: 17-29 - Barry W. Boehm:
Software Process Management: Lessons Learned from History. ICSE 1987: 296-298 - Bill Curtis, Herb Krasner, Vincent Y. Shen, Neil Iscoe:
On Building Software Process Models Under the Lamppost. ICSE 1987: 96-105 - Mark Dowson:
Iteration in the Software Process: Review of the 3rd International Software Process Workshop. ICSE 1987: 36-41 - Mark Dowson:
ISTAR and the Contractual Approach. ICSE 1987: 287-288 - Willa K. Ehrlich, T. J. Emerson:
Modeling Software Failures and Reliability Growth During System Testing. ICSE 1987: 72-82 - David W. Embley, Scott N. Woodfield:
A Knowledge Structure for Reusing Abstract Data Types. ICSE 1987: 360-368 - Gerhard Fischer, Andreas C. Lemke, Christian Rathke:
From Design to Redesign. ICSE 1987: 369-376 - Kokichi Futatsugi, Joseph A. Goguen, José Meseguer, Koji Okada:
Parameterized Programming in OBJ2. ICSE 1987: 51-60 - Anthony Hall:
Tool Interfaces in Integrated Project Support Environments. ICSE 1987: 289-290 - W. A. Hosier:
Pitfalls and Safeguards in Real-Time Digital Systems with Emphasis on Programming. ICSE 1987: 311-327 - Gail E. Kaiser, Peter H. Feiler:
An Architecture for Intelligent Assistance in Software Development. ICSE 1987: 180-188 - Shmuel Katz, Charles A. Richter, Khe-Sing The:
PARIS: A System for Reusing Partially Interpreted Schemas. ICSE 1987: 377-386 - J. C. Kelly:
A Comparison of Four Design Methods for Real-Time Systems. ICSE 1987: 238-252 - Bernd J. Krämer:
SEGRAS - A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems. ICSE 1987: 116-125 - Peter B. Ladkin:
Specification of Time Dependencies and Synthesis of Concurrent Processes. ICSE 1987: 106-115 - M. M. Lehman:
Process Models, Process Programs, Programming Support. ICSE 1987: 14-16 - Mitchell D. Lubars, Mehdi T. Harandi:
Knowledge-Based Software Design Using Design Schemas. ICSE 1987: 253-262 - Y. Matsumoto:
Ten Years Experiences of a Software/Hardware Producing Environment. ICSE 1987: 291 - Yukio Miyazaki, Noritoshi Murakami:
Software Metrics Using Deviation Value. ICSE 1987: 83-95 - Toshitsugu Nomura:
Use of Software Engineering Tools in Japan. ICSE 1987: 263-269 - Leon J. Osterweil:
Software Processes Are Software Too. ICSE 1987: 2-13 - Leon J. Osterweil:
Lessons of Current Environments. ICSE 1987: 286 - Dewayne E. Perry:
Software Interconnection Models. ICSE 1987: 61-71 - Dewayne E. Perry:
Version Control in the Inscape Environment. ICSE 1987: 142-149