Анализ программ — сложный, но важный этап в процессе разработки надежного ПО. Он может существенно сократить время между внесением и обнаружением ошибки, в разы уменьшая затраты на ее исправление. В этом докладе Владимир Иванов рассказывает о том, как грамотно внедрить анализ программ в процесс разработки, и какие преимущества это дает. Среди них: быстрая обратная связь, беспрерывный рабочий процесс, явные результаты изменений и др.
/ В КАДРЕ: Владимир Иванов – руководитель группы по направлению формальной верификации. Связаться с автором: https://t.me/ivvl82 или [email protected].
/ СМОТРИТЕ ТАКЖЕ
• Нуждается ли дизайн вашей программы в формальных методах? ➜ https://youtu.be/-_d4TM-_iPE
/ КНИГИ ПО ТЕМЕ
Роман Зайруллин, «Сквозь дебри проектирования: путеводитель для программистов» ➜ https://livrezon.com/shop/product/skvoz-debri-proektirovaniya
Роман Зайруллин, «LEGACY SOFTWARE: Как заставить чужой код работать?» ➜ https://livrezon.com/shop/product/legacy-software
Сильные разработки создаются не в одиночку, а в коллективе. LIVREZON CLUB объединяет более 50-ти коллективов в разных отраслях научного знания. В ежедневном режиме они делятся опытом, собирают новые данные, пишут книги и статьи, тестируют технологии и получают друг от друга полезную обратную связь. Хотите вступить в Клуб авторов? Пишите на [email protected]
Подписывайтесь на наш YouTube-канал: https://www.youtube.com/livrezon?reload=9&sub_confirmation=1
Сайт издательства LIVREZON: https://livrezonpublisher.com
ВКонтакте — https://vk.com/livrezon
Наш телеграм-канал — https://t.me/livrezon
#ФормальныйМетод #Программирование #LIVREZON