15. ASE 2000: Grenoble, France

Session 1: Verification

Session 2: Requirements

Session 3: Evolution

Session 4: Synthesis and Code Generation

Session 5: Algebraic Specification

Session 6: Process

Session 7: Design

Session 8: Testing

Short Papers