treating correctness separately from efficiency ), by view (e.g., analyzing data flow separately from control flow) or by size (modularity)

Modularity is a specific application of concerns to system components (separation by size). In modular systems, each module encapsulates a single concern, and modules are designed, implemented, and understood in isolation before being composed into a larger system. While modularity is the most common and recognizable embodiment of SoC in code structure, the principle of Separation of