Since the 1990's prominent ERP software vendors have provided sophisticated supporting frameworks for developing business solutions. These tools hide aspects of technical infrastructure and thus facilitate development acceleration, which, however, tempt even mathematically well educated developers to produce messy code.
Contrary to this disfavour for formal foundations when developing business solutions, we observe proper use of mathematical models in the development of infrastructure applications. In the talk, I want to discuss this mismatch and how we can better attract attention to mathematical underpinnings of business solutions