Object-oriented programming
Distributed computing
Process calculus
SIGNAL
Modeling language
Component-based software engineering
System