Институт в фотографиях

isislogo

12.03.2019

Семинар «Инжиниринг современных информационных систем»

15 марта 2019 г. (пятница). 11-00. Учебный центр ИАиЭ, зал 1

Тема доклада:
Язык требований в автоматном программировании

Докладчик: канд. техн. наук, зав.лаб. Шелехов Владимир Иванович (Институт систем информатики им. А. П. Ершова)

В обзорной лекции, которую прочитает заведующий лабораторией системного программирования ИСИ СО РАН, будут обсуждаться вопросы инженерии требований в программах, широко используемых в системах управления, встраиваемых системах, и вообще -- в кибер-физических системах.

Ссылка на видеозапись -- https://www.youtube.com/watch?v=IpZ9VlIcHYQ

Страница семинара