|
| MDA (1) | MDD (2) | MDE (1) |
| memory consistency model (1) | meta-transformation (2) | metamodeling (2) |
| model access (1) | model checking (4) | Model Driven Engineering (2) |
| model generation (1) | model query (2) | model transformation (14) |
| model transformations (10) | model validation (1) | model-based systems engineering (1) |
| Model-based testing - Graph Transformation - Model Checking - Fault-Tolerant Services (1) | model-driven engineering (1) | modeling and development tools (1) |
| Modelling (1) | modular verification (1) | MONDO (1) |
| MSC (1) | multi-objective optimization (1) | Multiple-valued Decision Diagram (1) |
