9. ICSE 1987:
Monterey, CA, USA William E. Riddle , Robert M. Balzer , Kouichi Kishida (Eds.):
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
export record as
dblp key:
export record as
dblp key:
M. M. Lehman :
Process Models, Process Programs, Programming Support.
14-16
export record as
dblp key:
Dines Bjørner :
On the Use of Formal Methods in Software Development.
17-29
export record as
dblp key:
Panel:
Understanding and Assessing the Software Process
export record as
dblp key:
Mark Dowson :
Iteration in the Software Process: Review of the 3rd International Software Process Workshop.
36-41
Formal Specification Languages
export record as
dblp key:
E. F. Berliner ,
Pamela Zave :
An Experiment in Technology Transfer: PAISLey Specification of Requirements for an Undersea Lightwave Cable System.
42-50
export record as
dblp key:
export record as
dblp key:
Measuring and Modeling the Software Process
export record as
dblp key:
export record as
dblp key:
Panel:
Empirical Studies of the Software Process
export record as
dblp key:
More Formal Specification Languages
export record as
dblp key:
Peter B. Ladkin :
Specification of Time Dependencies and Synthesis of Concurrent Processes.
106-115
export record as
dblp key:
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
export record as
dblp key:
Supporting Version Control
export record as
dblp key:
export record as
dblp key:
Panel:
Database Technologies and Software Engineering
export record as
dblp key:
Some Existing Software Process Models
export record as
dblp key:
export record as
dblp key:
D. P. Schwartz :
Software Evolution Management: An Integrated Discipline for Managing Software.
189
export record as
dblp key:
Panel:
Artificial Intelligence and Software Engineering
export record as
dblp key:
User Interface Support
export record as
dblp key:
Christian Rathke :
Human-Computer Communication Meets Software Engineering.
216-224
export record as
dblp key:
Software Process Assessments and Improvements
export record as
dblp key:
J. C. Kelly :
A Comparison of Four Design Methods for Real-Time Systems.
238-252
export record as
dblp key:
export record as
dblp key:
T. Nomura :
Use of Software Engineering Tools in Japan.
263-269
export record as
dblp key:
Panel:
Sampling of Existing Environments
export record as
dblp key:
export record as
dblp key:
Mark Dowson :
ISTAR and the Contractual Approach.
287-288
export record as
dblp key:
Anthony Hall :
Tool Interfaces in Integrated Project Support Environments.
289-290
export record as
dblp key:
Y. Matsumoto :
Ten Years Experiences of a Software/Hardware Producing Environment.
291
export record as
dblp key:
Panel:
Software Process Management:
Lessons Learned from History
export record as
dblp key:
Barry W. Boehm :
Software Process Management: Lessons Learned from History.
296-298
export record as
dblp key:
export record as
dblp key:
W. A. Hosier :
Pitfalls and Safeguards in Real-Time Digital Systems with Emphasis on Programming.
311-327
export record as
dblp key:
W. W. Royce :
Managing the Development of Large Software Systems: Concepts and Techniques.
328-339
Panel:
Prospects for Future Envionments
export record as
dblp key:
Colin Tully :
Prospects for Future Environments: Introduction to Panel Session.
340-343
Panel:
Appoaches to Improving Software Processes
export record as
dblp key:
export record as
dblp key:
Support for Evolution and Reuse
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
