25. ASE 2010: Antwerp, Belgium

Design and architecture

Natural language processing and generation

Architecture and product lines

Bug finding

Poster session I

Formal demos I

Model-driven development

Model checking


Mining software repositories

Poster session II

Formal demos II

Specification and verification

Testing and debugging

Reuse and component-based development

Software evolution

Doctoral symposium