This observation by Parnas describes the de facto professional standards in
all classical engineering disciplines (civil, mechanical, electrical, etc.). Unfortunately,
it is in sharp contrast with current (industrial) practice in software
design, where mathematical models are hardly used at all, even by those who,
in Holloway’s words2
“aspire to be engineers.” The rare exceptions are certain
critical applications, where mathematical techniques are used under the general
name formal methods