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

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

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

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