13. ASE 1998: Honolulu, Hawaii, USA

Session 1a: Specification

Session 1b: Validation and Verification

Session 2b: Reuse

Session 3b: Requirements

Session 4a: Testing

Session 4b: Synthesis

Session 5a: Short Papers

Session 5b: Short Papers

Session 6a: Program Understanding and Debugging

Session 6b: Synthesis and Development Environments

Session 7a: Short Papers

Session 7b: Short Papers