|
| abstract state machines (2) | Action Semantics (1) | adaptive graph pattern matching (1) |
| AIS (2) | analysis of transformation systems (1) | Arinc 653 (1) |
| bounded model checking (1) | business process (1) | by-example synthesis (1) |
| change impact analysis (1) | code generation (1) | coloured Petri net (1) |
| communication mediation (1) | Computation Tree Logic (1) | Computer Science (1) |
| concurrency (1) | constraint programming (1) | deductive databases (1) |
| dependability (1) | derived features (1) | design space exploration (2) |
| domain-specific languages (2) | dynamic constraint problems (1) | dynamism (1) |
| Eclipse (1) | EJB 3.0 (1) | embedded systems (1) |
| EMF (2) | formal methods (1) | formal semantics (1) |
| formal verification (2) | generic transformation (2) | grabats (1) |
| graph pattern matching (1) | graph transformation (20) | graph transformation tool contest (2) |
| IncQuery (6) | incremental evaluation (1) | incremental graph pattern matching (2) |
| incremental graph pattern matching - RETE - benchmarking (1) | incremental model transformation (1) | inductive logic programming (1) |
| integrated development environment (1) | J2EE (1) | live model queries (1) |
| logic properties of graphs and transformations (1) | MDA (1) | MDD (2) |
| MDE (1) | meta-transformation (2) | metamodeling (2) |
| model checking (3) | 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) | Multiple-valued Decision Diagram (1) |
| ontology (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) | requirement specification (1) | sa forum (1) |
| safety criteria (1) | safety critical systems (1) | safety systems (1) |
| saturation (2) | search plans (1) | search-based software engineering (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) | temporal logic (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 (50) | visual languages (2) |
| visualization (1) | XMI (1) | |
