Always thought formal methods were an attempt to achieve this. However the biggest obvious difference that prevents dev becoming like an engineering assembly l

Always thought formal methods were an attempt to achieve this. However the biggest obvious difference that prevents dev becoming like an engineering assembly line is that the engineers on the line are not surrounded by car customers changing how the car should or shouldn't work/look/cost every two weeks. Not that cleaning up the actual process of development so its more easily and naturally verifiable wouldn't be a good thing.