|
| abstract state machines (2) | Action Semantics (1) | adaptive graph pattern matching (1) |
| AIS (2) | analysis of transformation systems (1) | Arinc 653 (1) |
| business process (1) | by-example synthesis (1) | change impact analysis (1) |
| code generation (1) | communication mediation (1) | Computer Science (1) |
| concurrency (1) | constraint programming (1) | deductive databases (1) |
| dependability (1) | derived features (1) | design space exploration (1) |
| domain-specific languages (2) | dynamic constraint problems (1) | dynamism (1) |
| Eclipse (1) | EJB 3.0 (1) | embedded systems (1) |
| EMF (2) | formal semantics (1) | formal verification (2) |
| generic transformation (2) | grabats (1) | graph pattern matching (1) |
| graph transformation (20) | graph transformation tool contest (2) | IncQuery (3) |
| incremental evaluation (1) | incremental graph pattern matching (2) | incremental graph pattern matching - RETE - benchmarking (1) |
| incremental model transformation (1) | inductive logic programming (1) | J2EE (1) |
| logic properties of graphs and transformations (1) | MDA (1) | MDD (2) |
| MDE (1) | meta-transformation (2) | metamodeling (2) |
| model checking (2) | Model Driven Engineering (1) | model query (1) |
| model transformation (14) | model transformations (8) | model validation (1) |
| Model-based testing - Graph Transformation - Model Checking - Fault-Tolerant Services (1) | modeling and development tools (1) | optimization (2) |
| Pattern matching (4) | Petri nets (2) | planner algorithms (2) |
| platform-specific transformers (1) | program slicing (2) | query (1) |
| quickfix generation (1) | recursive pattern matching (1) | refinement (1) |
| relational databases (2) | reliable messaging (1) | sa forum (1) |
| safety criteria (1) | safety critical systems (1) | search plans (1) |
| secure i* (1) | security argumentation (1) | security patterns (1) |
| security requirements engineering (1) | semantics of visual techniques (1) | service availability (1) |
| Service Oriented Architecture (1) | static analysis (5) | system verification (2) |
| taxonomy (1) | termination (1) | test generation (1) |
| testing (1) | time (1) | tool contest (1) |
| tool integration (1) | Tool support (1) | transformation generation (1) |
| transformation rule derivation (1) | type checking (5) | UML (4) |
| UML modeling (1) | validation (1) | verification (3) |
| Viatra (48) | visual languages (2) | XMI (1) |
