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