- Software Engineering
- Model Driven Software Engineering (MDSE)
- UML Profiles & Domain Specific Modeling Languages (DSMLs)
- Model Transformations & Bidirectional transformations (Bx)
- Design Patterns & Pattern Languages
- (Formal) Verification & Validation
- Software Testing & Automatic Test Case Generation
If you want to read some seminal papers related to the above subjects, click here…use “b1” as username and “Papers12” as password.