| applied formal methods (2) | aspect-oriented programming (2) | embedded systems (7) |
| feature dependencies (2) | feature modelling (7) | flow maps (1) |
| GCWA (1) | generalised closed world assumption (1) | graphs (1) |
| higher-order transformation (1) | higher-order transformations (1) | Industrial Liquid Containers (1) |
| mobile value added services (1) | model transformation (2) | model-based user interface engineering (3) |
| model-driven software engineering (8) | process modelling (1) | product configuration (9) |
| product line engineering (28) | RFID (1) | SAT (1) |
| smart homes (1) | software architecture (1) | software evolution (4) |
| software visualisation (11) | Supply Chain Management (1) | traceability (1) |
| variability modeling (1) | ||