Семинар "Технологии разработки и анализа программ" 20 октября

[Eugene Kornykhin]

Доброго времени суток!

Городской ежемесячный научно-практический семинар "Технологии
разработки и анализа программ" продолжает свою работу. На этот раз
встреча состоится 20 октября. На ней Владимир Петрович Козырев (канд.
техн. наук, доцент МИФИ, эксперт "ДС БАРС") расскажет, как
верифицировать программы в соответствии с требованиями стандартов
DO-178B/C, какие необходимо проводить обязательные мероприятия
(activities) и какие для этого разработаны инструменты в «ДС БАРС».

В этом сезоне наш семинар переместился в Институт системного
программирования РАН (метро Таганская или Марксистская, улица
Александра Солженицына, дом 25). Теперь он начинается не в 18:00, а в
17:00.

Итак, ИСП РАН, Александра Солженицына, дом 25, 20 октября, начало в
17:00, аудитория 110. Вход в институт - из дворика.

До встречи!

С уважением,
Евгений Корныхин