Automated reasoning techniques

Component-based systems

Computer-supported cooperative work

Configuration management

Data mining for software engineering

Domain modeling and meta-modeling

Empirical software engineering

Human-computer interaction

Knowledge acquisition and management

Maintenance and evolution

Model-driven development

Model transformations

Program synthesis & transformations

Modeling language semantics

Open systems development

Program comprehension

Re-engineering

Requirements engineering

Specification languages

Software analysis

Software architecture and design

Software product line engineering

Software visualization

Testing, verification, and validation