Published Papers

The published papers behind the site. Each one carries the full formal development: definitions, theorems, and proofs.

The site explains results and applies them; it does not prove them. Every formal result used on the site is developed in full — definitions, theorems, and proofs — in a published paper on Zenodo. This page lists those papers, with what each one contains and its DOI.

1 The principle and its proof

Paper	What it contains	DOI
The Independent Variation Principle	The principle, its structural formulation, and the proof that the change-driver partition is the unique cost-minimizing modularization.	10.5281/zenodo.20794332

2 Change drivers

Paper	What it contains	DOI
The Change-Driver Taxonomy	A taxonomy of the exogenous sources of change that the principle assigns to elements.	10.5281/zenodo.21669704
Change Driver: Actor or Document?	Whether a change driver is an actor, a document, or neither.	10.5281/zenodo.21669958

3 Cohesion

Paper	What it contains	DOI
On the Nature of Cohesion: Cohesion as Correctness Relative to a Partitioning Rule	Cohesion as correctness relative to a partitioning rule, and the purity–completeness pair that measures it.	10.5281/zenodo.21703193
Causal Cohesion	Cohesion grounded in the causal structure of the domain rather than in code shape.	10.5281/zenodo.21703156
Cohesion and Change Propagation: Four Necessary Conditions for Optimal Modularization	The four conditions a modularization must meet for change propagation to be minimal.	10.5281/zenodo.21362420
Why Minimizing Change Propagation Minimizes Maintenance Cost	Why the change-propagation criterion and the maintenance-cost criterion select the same modularization.	10.5281/zenodo.21362542
Cohesion Metrics: A Survey of the Literature	The metric literature, and what each metric actually measures.	10.5281/zenodo.21703227

4 Coupling

Paper	What it contains	DOI
On the Nature of Coupling: All Coupling as Shared Resource Access	Coupling as access to a shared resource, with the resource taxonomy and the coupling modes.	10.5281/zenodo.21925122
A Self-Contained Derivation of the Optimal Modularization from Coupling	The optimal modularization derived from the coupling account alone.	10.5281/zenodo.21925268
Coupling as a Consequence of Cohesion: Decomposition, the Coupling Floor, and Domain-Imposed Coupling	Coupling derived from cohesion: decomposition, the coupling floor, and the coupling the domain requires.	10.5281/zenodo.21925201
Coupling in Software Engineering: A Survey of Dimensions, Formalisms, and the Unification Gap	The coupling literature: dimensions, formalisms, and the gap the account closes.	10.5281/zenodo.21925066

5 Classical principles

Paper	What it contains	DOI
Why SRP Is Wrong: The Cardinality Error in the Single Responsibility Principle	The adapter counterexample, the refutation under Martin’s own reading of his terms, and the failure of the split remedy.	10.5281/zenodo.20415656
SRP’s Vocabulary Problem: Why Every Reformulation Failed	Why the vocabulary SRP inherited made the cardinality error invisible.	10.5281/zenodo.20445691
The Interface Segregation Principle Is a Corollary of the Dependency Inversion Principle: A Structural Proof	The structural proof that ISP is DIP’s ownership clause applied per client.	10.5281/zenodo.19633560
SOLID: Where Do Client-Owned Interfaces Live? DIP, ISP, and Packaging Principles	Where client-owned interfaces live, and the proof that the packaging principles are jointly unsatisfiable.	10.5281/zenodo.19636635