Object Oriented Programming/Separation of Static and Dynamic
Systems Architecture
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
Interfaces and Components
edit