Using formal logic languages, OCL, TLA, etc., is always tantalizing, yet I’m afraid they aren’t savory to modern and more utilitarian demands. Indeed, any method you desire to combat entropy (and there have been many over the past 30 years — many wonderful, useful, and incredible) would fix the enormity of the problems mentioned in the Atlantic’s piece, yet, as with any art or science steeped in principled practice, the practice leapfrogs over the principles at the slightest hint of scale. Quite literally, more money, more problems. So what’s the solution? How do we convince our fellow developers to adopt more principled practices? Well, religion has been targeting this same issue with respect to pure compilation and error-free runtimes of the soul for millennia, asking fellow believers, “How do we combat our flawed human nature and weakness and adopt principled practice?”
Remember that no code schools currently target the upper echelon of academic rigor before emphasizing the ability to start contributing society-affecting code, and that the rate of developers entering the workplace has a doubling rate of around 4 years. This means that, for the foreseeable future, at least half of all developers will have less than 4 years of work experience.
I do not have an answer for these problems, and if I did, I’m not sure of the application, nor the practice in remedy. There is certainly a trend, and the trend will continue.