Object Oriented Programming/Separation of Static and Dynamic

Systems Architecture edit

(Logical) Networks edit

The Benefits of Static Analysis edit

Provable Correctness edit

Dealing With Hierarchies edit

Deep Single-Rooted Hierarchy edit

Shallow, Multi-Rooted Hierarchies edit

Traditional Neglect of Dynamic Analysis edit

Data Flow Diagrams edit

Interfaces and Components edit