Key research areas include requirements engineering, architecture, design, service-oriented computing, testing and verification, static analysis, software maintenance and multi-agent systems.