also, they dont mean bunk if business side of the equation isnt behind them... following formal methods means that business also follows formal business methods (which would reduce sudden changes and mistaken product designs etc).

too many times "dev" is treated like a roving circus that can just change their routine on a dime with little consequences...