Опрос на LUG.RU

Как вы думаете, нужна ли интеграция с социальными сетями?:
 Хостинг, домен
Серверное оборудование

online доклад Виктора Кулямина

Уважаемые участники LUG.RU! Напоминаем вам, что у нас есть своя jabber-конференция lug@conference.jabber.ru, которой не только можно, но и нужно переодически пользоваться. Smiling Для этого вы можете использовать любой клиент из этого списка.

Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь. Мы рекомендуем Вам зарегистрироваться либо зайти на сайт под своим именем.

ср., 26/05/2010 - 14:50

online доклад Виктора Кулямина

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

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

ср., 26/05/2010 - 17:32

Re: online доклад Виктора Кулямина

Изображение пользователя Ne01eX.

Стесняюсь спросить: в каком всё-таки городе был доклад? Smiling

My honour with me! I - Ne01eX
Протянув руку помощи, не забудь разжать кулак.

пн., 31/05/2010 - 14:20

Re: online доклад Виктора Кулямина

Изображение пользователя SVEET.

Доклад пройдет в г.Екатеринбурге, 9 июня в 18.00 Smiling

пн., 31/05/2010 - 15:38

Re: online доклад Виктора Кулямина

Изображение пользователя SVEET.

Внимание! Изменилась дата мероприятия!
Виктор Кулямин выступит с докладом 16 июня.
Место и время события остаются без изменений.

пн., 31/05/2010 - 15:48

Re: online доклад Виктора Кулямина

Изображение пользователя SVEET.

Все вопросы по данной теме можно задавать здесь: http://guru-urals.livejournal.com/
Также здесь можно узнавать все изменения и уточнения и просто кучу полезной информации Smiling

Кстати, прослушать предыдущий онлайн семинар можно здесь: http://barancev.msk.ru/files/webinars/microsoft_20100519/

вт., 01/06/2010 - 07:46

Re: online доклад Виктора Кулямина

Изображение пользователя Ne01eX.

Quote:

Начало: 26/05/2010 17:45
Часовой пояс: Europe/Moscow
9 июня в 18.00

У вас какие-то проблемы с заполнением соответствующих полей? Поправил в последний раз.

My honour with me! I - Ne01eX
Протянув руку помощи, не забудь разжать кулак.

ср., 09/06/2010 - 16:02

Re: online доклад Виктора Кулямина

Изображение пользователя SVEET.

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

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