Fingerprint Dive into the research topics where Model Driven Software Engineering W&I is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Engineering & Materials Science

Model checking
Semantics
Software engineering
Specifications
Algebra
Industry
Software design
DSL
Formal methods
Finite automata
Communication
Computer programming languages
Testing
Controllers
Network protocols
Chemical analysis
Software architecture
Visualization
Application programming interfaces (API)
Embedded systems
Static analysis
Specification languages
Explosions
Ecosystems
Pattern matching

Mathematics

Bisimulation
Rewriting
Branching
Model Checking
Termination
Process Algebra
Equivalence
Correctness
Automata
Model
Specification
Transition Systems