30. ICSE 2008: Leipzig, Germany

Software tools

Specification I

Testing I

Components & reuse

Specification II

Testing II

Empirical software engineering

Program analysis

Empirical software process

Formal analysis

Program comprehension

Empirical testing & analysis

Software process

Architecture

Refactoring

Evolution

Frameworks

Models

Software engineering economics

Process & models

Architecture & design

Quality assurance

Requirements engineering

Architecture

Quality

Modeling & Architecture

Quality

Extending the frontiers in SE education

SE education practices

Inter- and intradisciplinary SE foundations

Innovatin in SE education

Model-driven development and model analysis I

Model-driven development & model analysis II

Traceability

Code management

Verification & validation

Validation