It can be terrible in practice. Same with test driven development, also annoying if instituted by proclamation. A lot of code doesn't need these formalisms. By

It can be terrible in practice. Same with test driven development, also annoying if instituted by proclamation. A lot of code doesn't need these formalisms. By that I mean: Do it very carefully in circumstances where there is clear justification, and with an adequate budget for tooling and support. These techniques were invented before there was good tooling to support them, which makes bad outcomes a lot more likely.