Попытка применить формальные методы для всех программных проектов так же плоха, как и попытка применить разработку кода и фиксирования ко всем проектам.
95% на контенте и компьютерном языке остаются прежними.