Vision

Let’s face it: the failure rate in building critical and agile information systems is alarming. A recent example is the Horizon IT scandal—an accounting system for the British Post Office—which contributing to at least four suicides, wrongful imprisonments and the loss of livelihoods and homes. France’s Louvois system, for military payroll, faced a similar fate, and countless other projects have been abandoned after wasting hundreds of millions in public or private funds.

​

As digital transformation accelerates, the need for quality, agility, cost-effectiveness and ethics becomes even more critical. Understanding how information systems actually work is essential—especially as they increasingly incorporate generative AI, whose billions of parameters make debugging nearly impossible.

 

The core challenge in software development is not coding, but clearly and unambiguously defining the business problem to be automated. This was clearly articulated by Fred Brooks, the author of The Mythical Man-Months: The hardest part of the software task is arriving at a complete and consistent specification [of the business problem] and much of the essence of building a program is in fact the debugging of the specification.

 

We believe the path forward doesn’t lie in simply adding more technologies—whether new programming languages, microservices, or domain-driven design—but in the "mathematization of software". The “mathematics” we refer to isn’t the one taught in high school or college; it’s formal logic, used to model business problems accurately, completely and concisely.

 

This logical (or semantic) business model is fully executable and runs in production with the required performance. Handwritten code is limited to technical scaffolding—completing the functionality while aligning with development practices and IT infrastructures.

​

That’s why our vision is to re-establish logic as the foundation of software development. And this isn’t just a vision—we practice it every day.