Software development
Knowledge
Formal methods
Cybernetics
System
Systems science
Abstraction
Model checking
Complexity
Science
Computing
Programming paradigms