Средства и методы разработки

Здесь на всех этапах кроме кодирования -- нет формального языка. Поэтому автоматизировать и невозможно. И поэтому ошибки. По старинке ручками -- ну будет очередной фобос в грунт, очередная тойота, лифты зависающие на несуществующем 13-м этаже, турникеты бьющие людей, окирпичившиеся приборы, и так далее. Вообще же всё написанное -- это не про кодирование. Кодирование может как раз осуществляться "по старинке ручками". Но суть в том, что логика должна не из носа у программиста выковыриваться, а программист должен реализовать данную ему выше логику. И не изобретать отсебятины. А то что обычно в ТЗ описывается двумя абзацами потом почему-то превращается в два года работы. Недостаточная детализация, масса домыслов и упущений, отсутсвие формальных методик работы с "логической схемой". Вот корень проблемы.