Software Engineering in general

Software Architectures

Empirical Software Engineering

Model-based and Model-driven Engineering

Modeling Languages

Meta-modeling

Requirements Engineering

Model Transformation

Graphical Editor Development

Model-based Testing

Software Design Methodologies (especially Design-by-Contract)

Formal Verification

Software Engineering In Education (Teaching Software Engineering)