12. ASE 1997: Lake Tahoe, CA, USA

Session 1A: Synthesis I

Session 1B: Requirements and Process

Session 2A: Verification I

Session 2B: Reverse Engineering I

Session 3A: Refinement

Session 3B: Program Understanding

Session 4A: Synthesis II

Session 4B: Maintenance

Session 5A: Architecture

Session 5B: Reverse Engineering I

Session 6A: Reuse

Session 6B: Verification II

Short Papers