​Эпистемология качества программного обеспечения Исследования показывают, что на качество нашей работы в наибольшей степени влияет человеческий фактор. Почему же мы делаем такую большую ставку на технические решения? Об этом рассуждает Гиллель Уэйн, консультант по формальной верификации и автор книги Practical TLA+.