Object Oriented Programming/Separation of Static and Dynamic
Systems Architecture
(Logical) Networks
The Benefits of Static Analysis
Provable Correctness
Dealing With Hierarchies
Deep Single-Rooted Hierarchy
Shallow, Multi-Rooted Hierarchies
Traditional Neglect of Dynamic Analysis
Data Flow Diagrams
Interfaces and Components