Фобос-Грунт - полёт на свалку [Ckona#02.02.12 11:34]

au> Хороший программист пишет хороший код... Баги найдутся неизбежно, потому что они всегда есть.

Вот тут хочется провести параллель между машиностроением/электроникой и софтверной областью деятельности.
В машиностроении путь от примитивных до совершеных конструкций длился не менее ста лет, за это время люди придумали стандартизацию и систему документирования изделий, что позволило во много раз уменьшить количество опытных образцов(тестов, проверок, испытаний) при выходе к окончательно надежному изделию.
В софтверной области путь от простейшего до современного - максимум два поколения разработчиков. Что является аналогом тех приемов, которыми исключается подавляющая часть "машиностроительных багов" ? Если нечто подобное (типа, культура составления техзаданий, с методиками проверки) уже существует, изучается ли в современных ВУЗах ?
Возможно, я недостаточно осведомлен, но в обозримых рамках вижу некую дыру, или скорее разрыв - между бесконечными вариантами софтверного продукта и общепринятыми запретами "так нельзя", которые и составляют основу стандартов/документирования, то есть культуры разработок.