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) Abstraction (1) Action Semantics (1)
adaptive graph pattern matching (1) AIS (2) analysis of transformation systems (1)
Arinc 653 (1) back-annotation (1) bounded model checking (1)
business process (1) by-example synthesis (1) CEGAR (1)
CEP (1) change impact analysis (1) code generation (1)
coloured Petri net (1) communication mediation (1) Component-wise abstraction (1)
Computation Tree Logic (1) Computer Science (1) concurrency (1)
constraint programming (1) deductive databases (1) dependability (2)
derived features (2) design space exploration (3) domain-specific languages (2)
DSE (1) dynamic constraint problems (1) dynamism (1)
Eclipse (1) EJB 3.0 (1) embedded systems (2)
EMF (2) execution traces (1) exploratory data analysis (1)
formal methods (1) formal semantics (1) formal verification (3)
generic transformation (2) grabats (1) graph pattern matching (2)
graph transformation (20) graph transformation tool contest (2) ILP (1)
IMA (1) IncQuery (20) Incremental algorithm (1)
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) LTL (1) MDA (1)
MDD (2) MDE (1) meta-transformation (2)
metamodeling (2) model checking (3) Model Driven Engineering (2)
model query (2) model transformation (14) model transformations (10)
model validation (1) Model-based testing - Graph Transformation - Model Checking - Fault-Tolerant Services (1) model-driven engineering (1)
modeling and development tools (1) MSC (1) multi-objective optimization (1)
Multiple-valued Decision Diagram (1) OCL (1) ontology (1)
optimization (2) Pattern matching (4) Petri nets (3)
Pex (1) planner algorithms (2) platform-specific transformers (1)
PLC (1) program slicing (2) programming languages (1)
quantitative characterization (1) query (1) query-driven synchronization (1)
quickfix generation (1) Reachability analysis (1) recursive pattern matching (1)
refinement (1) relational databases (2) reliable messaging (1)
requirement specification (1) resilience (1) Robustness testing (1)
rule-based design space exploration (1) sa forum (1) Safety (1)
safety criteria (1) safety critical systems (1) safety systems (1)
saturation (3) SCC computation (1) search plans (1)
search-based software engineering (2) search-based techniques (1) secure i* (1)
security argumentation (1) security patterns (1) security requirements engineering (1)
semantics (2) semantics of visual techniques (1) sequence diagram (1)
service availability (1) Service Oriented Architecture (1) soft links (1)
static analysis (5) statistics (1) streaming transformations (1)
symbolic execution (1) Symbolic model checking (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)
traceability (2) Trans-IMA (1) transformation generation (1)
transformation rule derivation (1) type checking (5) UML (5)
UML modeling (1) validation (1) verification (3)
Viatra (62) Viatra-CEP (1) view models (1)
visual languages (2) visualization (1) XMI (1)