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) Access control (1)
access controls (1) Action Semantics (1) adaptive graph pattern matching (1)
AIS (2) analysis (1) analysis of transformation systems (1)
Arinc 653 (1) authorisation (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) Collaborative software (1) collaborative-modeling framework (1)
coloured Petri net (1) communication mediation (1) component-based design (1)
Component-wise abstraction (1) composition language (1) Computation Tree Logic (1)
Computer Science (1) concurrency (1) concurrent (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)
Fault (1) formal methods (1) formal semantics (2)
formal verification (4) generic transformation (2) grabats (1)
graph pattern matching (2) graph transformation (20) graph transformation tool contest (2)
groupware (1) 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) integration and modeling (1)
inter-enterprise collaboration (1) intra-enterprise collaboration (1) isolation (1)
J2EE (1) knowledge based systems (1) litmus test (1)
live model queries (1) Load modeling (1) logic properties of graphs and transformations (1)
LTL (1) 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) OCL (1) ontology (1)
optimization (2) partial modeling (1) Pattern matching (4)
Petri nets (4) 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 access control policies (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) secure views (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) Simulation (1)
smart contracts (1) SMT-solvers (1) soft links (1)
Software architecture (1) Software development (1) software engineering (1)
Software testing. White-box test generation. Empirical study (1) statecharts (1) static analysis (5)
statistics (1) Stochastic analysis (1) streaming transformations (1)
symbolic execution (1) Symbolic model checking (1) system architectures (1)
system verification (2) systems engineering (1) taxonomy (1)
temporal logic (1) termination (1) Test classification (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)