![](/files/styles/news/public/news/image/kosmos.-den-kosmonavtiki.jpg?itok=6F1Kfy00)
12 апреля в ИСИ СО РАН с 10:50 до 13:00 прошло заседание семинара "Теоретическое и экспериментальное программирование" со следующей повесткой:
- С 10:50 до 11:40: просмотр записи лекции Holzmann G.J. Mars Code. Communications of the ACM, Vol. 57, n. 2, 2014, p. 64-73.
- С 11:50 до 12:30: реферат статьи: Тюгашев А. А., Ильин И. А., Ермаков И. Е. Пути повышения надежности и качества программного обеспечения в космической отрасли. Управление большими системами, вып. 39, 2012, стр.288-299. (Реферировал Н.В. Шилов).
- С 12:30 до 13:00: реферат статьи: Колташев А.А., Кочура С.Г. Технология создания и сопровождения бортового программного обеспечения спутников связи, навигации и геодезии: современное состояние. Наукоемкие технологии, № 9, т. 15, 2014, стр.39-42. (Реферировал В.И. Шелехов).