8. ICSE 1985: London, UK

Environments: Life Cycle Support

Formal Methods

Environments: Extended Capabilities

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