8. ICSE 1985:
London,
UK
Proceedings,
8th International Conference on Software Engineering,
August 28-30,
1985,
London,
UK. IEEE Computer Society,
ISBN 0-8186-0620-7
Environments:
Life Cycle Support
Formal Methods
Environments:
Extended Capabilities
- Raymond J. A. Buhr, C. Murray Woodside, Gerald M. Karam, K. Van Der Loo, D. G. Lewis:
Experiments with Prolog Design Descriptions and Tools in CAEDE: An Iconic Design Environment for Multitasking, Embdedded Systems.
62-67 BibTeX
- Peter B. Henderson, Mark Weiser:
Continous Execution: The VisiProg Environment.
68-74 BibTeX
- Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden:
Interface Control and Incremental Development in the PIC Environment.
75-82 BibTeX
- Jochen Ludewig, Martin Glinz, Hansjörg Huser, G. Matheis, Hans Matheis, M. F. Schmidt:
SPADES - A Specification and Design System and Its Graphical Interface.
83-91 BibTeX
Software Design and Development
Panel
Ensuring Software Quality
Environment:
Database Issues
Panel
Education and Technical Transfer
Rapid Prototyping
Path Testing and Analysis
Software Management Concerns
Panel
Testing and Debugging
Defect Measurement
Knowledge-Based Approaches
Metric Studies from the SEL
Panel
Copyright © Sat May 16 23:21:33 2009
by Michael Ley (ley@uni-trier.de)