Keywords

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
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 (2)
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 (12) 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) isolation (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)
MSC (1) Multiple-valued Decision Diagram (1) ontology (1)
optimization (2) Pattern matching (4) Petri nets (2)
Pex (1) 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) Robustness testing (1)
sa forum (1) Safety (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 (1) semantics of visual techniques (1) sequence diagram (1)
service availability (1) Service Oriented Architecture (1) static analysis (5)
symbolic execution (1) system verification (2) taxonomy (1)
temporal logic (1) termination (1) test comparator (1)
test coverage (1) test evaluation (1) test generation (1)
testing (2) time (1) tool contest (1)
tool integration (1) Tool support (1) transformation generation (1)
transformation rule derivation (1) type checking (5) UML (5)
UML modeling (1) validation (1) verification (3)
Viatra (53) visual languages (2) visualization (1)
XMI (1)