15. ASE 2000: Grenoble, France

The Fifteenth IEEE International Conference on Automated Software Engineering (ASE'00), 11-15 September 2000, Grenoble, France, Proceedings. IEEE Computer Society, 2000

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