Формализация требований к программам. Лекция 1

В рамках открытия Computer Science клуба состоится первая из трёх лекций Виктора Вячеславовича Кулямина по целям, методам и ограничениям формализации требований к программам.

Доклад представляет собой введение в формальные методы программной инженерии. Он рассказывает об основных подходах к формализации требований, способах использования формальных моделей при создании и сопровождении программного обеспечения, приводит примеры такого использования. Указываются и анализируются ограничения формальных методов, мешающие их использованию в промышленной разработке программных систем.

На открытии Александр Куликов (ПОМИ РАН, Санкт-Петербург) расскажет о Computer Science клубе, существующем в Санкт-Петербурге уже три года. Также будет рассказано о планируемых курсах осеннего семестра 2010 года и направлениях развития клуба.

Мероприятие состоится на математико-механическом факультете УрГУ им. А.М.Горького, ауд. 509.