ICSE 1987

42 papers

1. A Comparison of Four Design Methods for Real-Time Systems · J. C. Kelly
2. A Conceptual Programming Environment · Steven P. Reiss
3. A Knowledge Structure for Reusing Abstract Data Types · David W. Embley, Scott N. Woodfield
4. A System for Parallel Programming · Karsten Schwan, Rajiv Ramnath, Sridhar Vasudevan, David M. Ogle
5. An Architecture for Intelligent Assistance in Software Development · Gail E. Kaiser, Peter H. Feiler
6. An Experiment in Technology Transfer: PAISLey Specification of Requirements for an Undersea Lightwave Cable System · E. F. Berliner, Pamela Zave
7. Artificial Intelligence and Software Engineering · David R. Barstow
8. Database System Support for Software Engineering · Philip A. Bernstein
9. Evaluating Software Development Environments · Nelson H. Weiderman
10. From Design to Redesign · Gerhard Fischer, Andreas C. Lemke, Christian Rathke
11. Human-Computer Communication Meets Software Engineering · Christian Rathke
12. ISTAR and the Contractual Approach · Mark Dowson
13. Improving the Software Process · William E. Riddle
14. Interform: A CAD System for Program Development · L. D. I. Serbanati
15. Iteration in the Software Process: Review of the 3rd International Software Process Workshop · Mark Dowson
16. Knowledge-Based Software Design Using Design Schemas · Mitchell D. Lubars, Mehdi T. Harandi
17. Lessons of Current Environments · Leon J. Osterweil
18. Managing the Development of Large Software Systems: Concepts and Techniques · W. W. Royce
19. Modeling Software Failures and Reliability Growth During System Testing · Willa K. Ehrlich, T. J. Emerson
20. On Building Software Process Models Under the Lamppost · Bill Curtis, Herb Krasner, Vincent Y. Shen, Neil Iscoe
21. On the Role of an Environment · V. Stenning
22. On the Use of Formal Methods in Software Development · Dines Bjørner
23. PARIS: A System for Reusing Partially Interpreted Schemas · Shmuel Katz, Charles A. Richter, Khe-Sing The
24. Parameterized Programming in OBJ2 · Kokichi Futatsugi, Joseph A. Goguen, José Meseguer, Koji Okada
25. Pitfalls and Safeguards in Real-Time Digital Systems with Emphasis on Programming · W. A. Hosier
26. Process Models, Process Programs, Programming Support · M. M. Lehman
27. Production of Large Computer Programs · Herbert D. Benington
28. Prospects for Future Environments: Introduction to Panel Session · Colin Tully
29. SEGRAS - A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems · Bernd J. Krämer
30. Software Evolution Management: An Integrated Discipline for Managing Software · D. P. Schwartz
31. Software Interconnection Models · Dewayne E. Perry
32. Software Metrics Using Deviation Value · Yukio Miyazaki, Noritoshi Murakami
33. Software Process Management: Lessons Learned from History · Barry W. Boehm
34. Software Processes Are Software Too · Leon J. Osterweil
35. Specification of Time Dependencies and Synthesis of Concurrent Processes · Peter B. Ladkin
36. Specifying Software/Hardware Interactions in Distributed Systems · Gruia-Catalin Roman
37. Tailoring the Software Process to Project Goals and Environments · Victor R. Basili, H. Dieter Rombach
38. Ten Years Experiences of a Software/Hardware Producing Environment · Y. Matsumoto
39. Tool Interfaces in Integrated Project Support Environments · Anthony Hall
40. Use of Software Engineering Tools in Japan · Toshitsugu Nomura
41. Version Control in Families of Large Programs · Jürgen F. H. Winkler
42. Version Control in the Inscape Environment · Dewayne E. Perry