Блог им. SVEETonline доклад Виктора Кулямина

16 июня в 18.00 Виктор Кулямин представит проект на тему «Оpen source проект по тестированию браузеров на основе формальных спецификаций». Трансляция будет вестись в офисе СКБ Контур по адресу ул. Народной воли, 19а и на мат-мехе УрГУ, ауд. 507.

Виктор Кулямин
Является старшим научным сотрудником Института системного программирования РАН и доцентом кафедры системного программирования ВМиК МГУ им. М. В. Ломоносова. Закончил механико-математический факультет МГУ в 1995 году, защитил степень кандидата физико-математических наук на мехмате МГУ в 2000 году. Его научные интересы включают программную инженерия в целом, формальные методы программной инженерии, методы верификации программного обеспечения, методы тестирования на основе формальных моделей.
  • +5
  • SVEET
  • 26 мая 2010, 16:58

Комментарии (7)

Несколько вопросов:
1. Интернет-трансляции совсем не будет?!
2. И какова вместимость предполагаемых аудиторий?
3. Нужна заранее резервировать «место» или все желающие могут посетить? Документы с собой брать?
Внимание! Изменилась дата онлайн-доклада!

1. Интернет-трансляции не будет
2. Вместимость аудитории 25 человек
3. Место резервировать никак не нужно
4. Трансляция в офисе СКБ контур ведется исключительно для сотрудников компании
При посещении трансляции в УрГУ нужно взять с собой паспорт для получения разового пропуска в университет.
Если вход свободный, и наберется аудитория полная, меня точно впустят даже стоя смотреть?
Прослушать предыдущий доклад можно здесь: barancev.msk.ru/files/webinars/microsoft_20100519/
Все вопросы по данной теме можно задавать здесь: guru-urals.livejournal.com/
Также здесь можно узнавать все изменения, уточнения и просто кучу полезной информации
Отличная новость! Кроме платных мастер-классов Илья Кантор прочитает открытую лекцию, где расскажет о состоянии дел и современных тенденциях в развитии клиентских web-технологий.

В этом секторе произошла настоящая революция. Сейчас клиентские технологии — одно из самых перспективных направлений развития web-разработчика.

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

Приглашаются все желающие. Регистрироваться заранее не требуется.

Место проведения: 23 июня в 18.30
Место: УрГУ (Тургенева, 4), ауд. 509

Если Вы не являетесь студентом университета, рекомендуем Вам взять паспорт для оформления временного пропуска.
В ходе мероприятия Виктор Кулямин расскажет о проекте, над которым будут трудиться кандидаты на участие в следующей школе CSEDays (тема «Надежность ПО»), которая пройдет в октябре (сейчас у школы пока нет сайта, есть сайт прошлого мероприятия www.csedays.ru/).

План доклада:
• Стандарт DOM API
o Что такое DOM
o Зачем нужен стандарт (переносимость Web-приложений)
o Основные элементы DOM API
o Примеры
• Формализация требований стандарта
o Что она дает (контроль полноты и согласованности стандарта, база для тестов)
o Примеры
• Разработка тестов DOM API
o Какие тесты есть и почему их недостаточно (не все покрыто, требования выделены не всегда аккуратно)
o Техническая основа — JsUnit (техника оформления тестов и их выполнение)
o Разработка тестов на основе формальных требований (нацеливание на ситуации, различаемые спецификацией, проверка установленных ограничений)
o Примеры
o Приглашение к сотрудничеству (адрес проекта, что требуется делать)
Только зарегистрированные и авторизованные пользователи могут оставлять комментарии.