|
| 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) |
