Применение инструментов автоматического анализа программ в цикле разработки безопасного ПО

ИСП РАН

В рамках конференции OS DAY 2019 (10 июня) старший научный сотрудник ИСП РАН Александр Герасимов выступил с докладом «Применение инструментов автоматического анализа программ в цикле разработки безопасного ПО».

Он рассказал о цикле разработки безопасного ПО, перечне знаний, необходимого для его создания, методологии, а также инструментальной поддержке и автоматизации процесса. 

Тематика:

#ПО

Компании:

#ИСП_РАН

Мероприятия:

#OS_DAY

Расскажите знакомым:

212Дата добавления:03.07.2019
212Дата добавления:03.07.2019
Добавить мою презентацию
на ICT.Moscow
Что такое ICT.Moscow?

ICT.Moscow — открытая площадка о цифровых технологиях в Москве. Мы создаем наиболее полную картину развития рынка технологий в городе и за его пределами, помогаем бизнесу следить за главными трендами, не упускать возможности и находить новых партнеров.


Если не указано иное, материалы доступны по лицензии Creative Commons BY 4.0