5. SEKE 1993: San Francisco, CA, USA

Knowledge-Based Query Processing

Object Orientation in SE & KE

Panel: The Workshop on Software Automation

Reverse Engineering

Small-Group Presentations

Panels: Advances in SE & KE

Knowledge-Level V&V

Tools and Environments

Program-Level V&V

Panel: KE in Concurrent Engineering and Experience Factories

Panel: Software Engineering in the Year 2000

Reuse

Testing and Understanding Programs

Panel: Knowledge-Based Support for Reverse Engineering

The Dynamics of Model Construction

Panel: Future Directions of the KBSA Program

Prototyping

A Context for Software Development

SE & KE Process Issues

Diversity in Formal Methods