Как внедрить анализ программ в процесс разработки? Владимир Иванов о разработке ПО

Анализ программ — сложный, но важный этап в процессе разработки надежного ПО. Он может существенно сократить время между внесением и обнаружением ошибки, в разы уменьшая затраты на ее исправление. В этом докладе Владимир Иванов рассказывает о том, как грамотно внедрить анализ программ в процесс разработки, и какие преимущества это дает. Среди них: быстрая обратная связь, беспрерывный рабочий процесс, явные результаты изменений и др. / В КАДРЕ: Владимир Иванов – руководитель группы по направлению формальной верификации. Связаться с автором: или ivvl82@. / СМОТРИТЕ ТАКЖЕ • Нуждается ли дизайн вашей программы в формальных методах? ➜ / КНИГИ ПО ТЕМЕ Роман Зайруллин, «Сквозь дебри проектирования: путеводитель для программистов» ➜ Роман Зайруллин, «LEGACY SOFTWARE: Как заставить чужой код работать?» ➜ Сильные разработки создаются не в одиночку, а в коллективе. LIVREZON CLUB объединяет более 50-ти коллективов в разных отраслях научного знания. В ежедневном режиме они делятся опытом, собирают новые данные, пишут книги и статьи, тестируют технологии и получают друг от друга полезную обратную связь. Хотите вступить в Клуб авторов? Пишите на info@ Подписывайтесь на наш YouTube-канал: Сайт издательства LIVREZON: ВКонтакте — Наш телеграм-канал — #ФормальныйМетод #Программирование #LIVREZON