Ответсообщение недоступно
Не, формализация - это спека. Потому что по хорошей спеке можно писать тесты без кода. А потом уже кодом закрывать. Ну...если позволяет ситуация, конечно.
В идеальном случае как раз 90% разработки - это спека. Хорошая, подробная. Но это, опять же, утопия.