УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-Yota
 Стрим
 Смольный
Учебный процесс
 Образование
 Дипломы
 Курсовые проекты
 Лабораторные работы
 Учебные курсы
 Визуализаторы
 Unimod-проекты
 Семинары
 Стипендии
Наука
 События и факты
 Госконтракты
 Статьи
 Диссертации
 Книги
 Презентации
 Свидетельства
 Сотрудничество
Исследования
 Автоматы
 Верификация
 Геном
 Искусственный интеллект
 Генетические алгоритмы
 Движение
 UniMod
 Роботы и агенты
 Нейронные сети
 ФЦП ИТМО-Аалто
 Разное

О нас
 Премии
 Сертификаты и дипломы
 Соревнования по программированию
 Прорыв
 Автографы
 Рецензии

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

 Articles
 Posters
 Automata-Based Programming
 Initiatives
 Projects
 Presentations
 UniMod
 UniMod Projects
 Visualizers


Поиск по сайту

Яndex



   Главная / События и факты /

IEEE BT02/C16/CE08/COM19/CAS04/EM14 Societies Chapters. Section

.110 Anniversary of Radio Invention.

St.-Petersburg IEEE Chapters

St. Petersburg State Electrotechnical University .LETI., Prof. Popov Street, 5

Session - Computer

 

Co-Chairmen:

Prof. Vladimir Safonov, Dr. Dmitry Tkachenko, Prof. Alexander Korotkov

 

10.00 - 10.20

Sergey N. Baranov, Vsevolod P. Kotlyarov, Alexander A. Letichevsky, Pavel D. Drobintsev

(Motorola GSG, St. Petersburg, Russia)

.The technology of automation verification and testing in industrial projects.

10.20 - 10.40

Vsevolod P. Kotlyarov, Pavel D. Drobintsev, Dmitry V. Peskov, Yury V. Yusupov

 (Motorola GSG, St. Petersburg, Russia)

.Implementation of an integrated verification and testing technology in telecommunication project.

10.40 - 11.00

Sergey N. Baranov, Julia V. Kapitonova, Alexander A. Letichevsky, Alexander V. Kolchin, Oleksandr A. Letichevsky jr., Victor Yu. Radchenko, Stepan V. Potiyenko, Vladyslav A. Volkov

(Motorola GSG, Kiev, Ukraine)

.Tools for requirements capturing based on the technology of basic protocols.

11.00 - 11.20

Vsevolod P. Kotlyarov, Alexey A. Golubev, and Andrey N. Karpov (Motorola GSG, St. Petersburg, Russia)

.Testing Automation for J2ME applications and API.

11.20 - 11.40

Denis Dovzhenko, Denis Suvorov, Vsevolod P. Kotlyarov, Shamil Guseinov, Dmitry O. Vavilov, Sergey N. Baranov

(Motorola GSG, St. Petersburg, Russia)

.Reengineering of Large Software Projects: Approach, Phases, and Tools.

 

11.40 - 12.30

Break and coffee-break

 

12.30 - 12.50

Vadim S. Gurov, Maxim A. Mazin, Andrey S. Narvsky, Anatoly A. Shalyto

(eVelopers Corporation, SPbITMO, St. Petersburg, Russia)

.UniMod: method and tool for development of reactive object-oriented programs with explicit states emphasis.

12.50 - 13.10

Vladimir O. Safonov, Dmitry A. Grigoryev

(St. Petersburg State University , St. Petersburg, Russia)

.Aspect.NET . an aspect-oriented programming tool for Microsoft.NET.

13.10 - 13.30

Vladimir O. Safonov, Igor A. Kurilin

(St. Petersburg State University , St. Petersburg, Russia)

.The SIMPLE/SIP protocol and its implementation in Java.

13.30 - 13.50

Vladimir O. Safonov, Dmitry G. Cherepanov

(St. Petersburg State University , St. Petersburg, Russia)

.An extension of Java by production knowledge representation features and its implementation.




© 2002—2017 По техническим вопросам сайта: vl.ulyantsev@gmail.com