Compact comparison of competing software designs

The numerical traceability matrix of a given software system is a compact representation of the system design in terms of software components. It is a much more powerful design tool than a checklist as has been used so far. Two competing designs are equivalent if, and only if, their matrices can be put in identical form. The most modular design is that with the highest computed diagonality. The paper discusses case studies illustrating these claims.