On second thought the tribal testing framework here is a bit simplistic, and there's some cross-tribe pollination, to varying levels of success.

The ‘maker’ tribe also tests with HCI assessments like GOMS and other methods from the ‘soft’ sciences like psychology and sociology, not just economics/business science.

Model-checking and complexity proofs (and complexity type systems) are mathematical attempts to apply mathematician-programmer methods to engineer-programmer properties.

Cyclomatic complexity is an attempt to measure mathematician-programmer properties using engineer-programmer methods.