Dependency Structure Matrices (DSMs) are very useful in the analysis and verification of software architectures because they allow the analyst to more easily understand inter-module dependencies than traditional box and arrow techniques which become impossible to use for all but the simplest applications.