1 июня 2010
16 июня в 18.00 одновременно в СКБ Контур и на математико-механическом факультете УрГУ (507 ауд.) пройдет очередной онлайн-семинар, посвященный вопросам Software engineering и Computer science.

На этот раз преподаватель МГУ Виктор Кулямин представит проект на тему «Open source проект по тестированию браузеров на основе формальных спецификаций».

Виктор Кулямин работает в Институте системного программирования РАН, в настоящее время в должности старшего научного сотрудника, а также является преподавателем кафедры системного программирования ВМК МГУ. Виктор Кулямин имеет около 50 публикаций по следующим темам: методы тестирования на основе моделей, методы верификации ПО, анализ требований к ПО, образование в области программной инженерии.

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

На первом семинаре, который прошел 19 мая, Алексей Баранцев рассказал о сущности понятия «тестирование», о моделях и этапах данного процесса. В режиме реального времени докладчик ответил на все вопросы, интересовавшие аудиторию.

Комментарии Написать свой
Спасибо за ваше мнение!

Заполните, пожалуйста, все поля.

Предложение, замечание, просьба или вопрос.