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



Главная

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

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

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

English
 Home

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


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

Яndex



   Главная / Новости (версия для печати)


Новости



Новости в формате RSS

Страницы: [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [Все новости]

19.02.2007

В разделе Работы опубликованы бакалаврские работы П. Маврина и Ю. Бедного

19.02.2007

Электрические Джунгли: Цымбалюк Е.А., Шалыто А.А. Система управления существами «Хрюшки» для игры Electric Jungle

19.02.2007

Адаптация принципов автоматно-ориентированного программирования к технологии CORBA

19.02.2007

Непейвода Н.Н. Какая информатика нам нужна?

19.02.2007

Журнал «Наука и жизнь» и автоматное программирование

19.02.2007

DataArt об успехах использования Автоматного программирования на пресс конференции в СПбГУ ИТМО

19.02.2007

Откуда появилось понятие «автоматное программирования»?

19.02.2007

Вавилов К.В., Шалыто А.А. Что плохого в неавтоматном подходе к программированию контроллеров?

19.02.2007

UniMod как любимый инструмент

19.02.2007

Гуров В.С., Мазин М.А., Шалыто А.А. UniMod — Инструментальное средство для автоматного программирования

13.02.2007

Котов А.Н., Шалыто А.А. Сравнение различных вариантов реализации на примере задачи о декодировании файлов формата GIF

10.02.2007

Шалыто А.А. Победы и проблемы российской школы программирования

10.02.2007

Е. Гришковец. Новые позитивные

10.02.2007

Е. Гришковец. Хам в партере

10.02.2007

Вице-президент РАН о состоянии Российской науки и Петре Митричеве

10.02.2007

Пример одной диссертации

10.02.2007

Шалыто А.А. Как получать научные результаты

10.02.2007

Фаулер М. и Скотт К. о применении диаграмм взаимодействия для описания поведения

09.02.2007

Президиум Высшей аттестационной комиссии Министерства образования и науки решил выдать диплом кандидата технических наук Корнееву Георгию Александровичу. Поздравляем!

05.02.2007

Парфенов В.Г, Шалыто А.А. Финал командного чемпионата мира по программированию ACM 2005/06 гг. в Сан-Хосе (США)

05.02.2007

Электрические Джунгли — новый раздел сайта

05.02.2007

UniMod проект: Моделирование цифрового фотоаппарата на основе автоматного подхода к программированию

05.02.2007

Как добиться успеха в науке

29.01.2007

SWITCH-технология развивается

29.01.2007

Сайт «Информатика в России»

29.01.2007

Мне нужны постдоки для того, чтобы они были буфером между мною и аспирантами, я ведь не такой герой как Шалыто.
Из разговора Бертрана Мейера в СПбГУ ИТМО

29.01.2007

Сколько должен получать профессор

29.01.2007

Наш первый студент, который научился профессионально писать

29.01.2007

Какая шахматная программа самая сильная?

29.01.2007

Российское настоящее кино: «Возвращение»  Звягинцева, «Итальянец» А.Кравчука, «Четыре» И. Хржановского, «Изображая жертву» К. Серебренникова, «Эйфория» И. Вырыпаева, «Остров» П. Лунгина. А еще были «Хрусталев, в машину» А. Германа, «Настройщик» К. Муратовой, «Гарпастум» А.Герман-младшего и т.д.

29.01.2007

Шалыто А.А. Победы и проблемы российской школы программирования

19.01.2007

СПбГУ ИТМО ввели в программный комитет конференции Tools-Europe 2007

12.01.2007

Прошел второй семинар по теме «Технологии программирования» с участием почетного доктора СПбГУ ИТМО Бертрана Мейера (Высшая Политехническая Школа в Цюрихе)

03.01.2007

Новые гренадеры

03.01.2007

Рецензия на статью Шалыто А.А. Писать по-русски

15.12.2006

Шалыто А.А. Писать по-русски

09.12.2006

В разделе «Статьи» введен подраздел «Встроенные системы» (программирование встроенных систем на основе автоматного программирования).

09.12.2006

Государственный контракт:
Часть 3. Мобильные системы
Часть 4. Клиент-серверные системы
Часть 5. Интернет-системы

09.12.2006

Вавилов К.В., Шалыто А.А. LabVIEW и SWITCH-технология

09.12.2006

Свидетельство о регистрации программы для ЭВМ (встраиваемый модуль UniMod для Eclipse)

09.12.2006

Ярцев Б.М., Шалыто А.А. Система программной эмуляции роботов Lego Mindstorms (Проект Isenguardemu)

06.12.2006

О нас пишут

06.12.1006

Маврин П.Ю., Корнеев Г.А., Шалыто А.А. Формальная семантика диаграмм состояний, удобная для практического применения

02.12.2006

Презентация PowerPoint: Паращенко Д.А., Царев Ф.Н., Шалыто А.А. Применение автоматного программирования для моделирования группового управления движением одного класса беспилотных летательных объектов

02.12.2006

Поздравляем Федора Царева с присуждением специальной стипенции Правительства Санкт-Петербурга

30.11.2006

UniMod-проект Решетников Е.О., Смачных М.В. Система управления пассажирским лифтом

30.11.2006

UniMod-проект Киракозов А.Х., Шалыто А.А., Яминов Б.Р. Система управления автомобильной сигнализацией

30.11.2006

Shopyrin D.G., Shalyto A.A. A Graphical Notion of State-Based Classes' Inheritance
Канжелев С.Ю., Шалыто А.А. Автоматическая генерация кода программ с явным выделением состояний
Канжелев С.Ю., Шалыто А.А. Автоматическая генерация кода программ с явным выделением состояний

27.11.2006

Шалыто А.А. Боль

26.11.2006

Курс Юрия Лифшица "Современные задачи теоретической информатики", читавшийся на кафедре "Компьютерные технологии" СПбГУ ИТМО, признан компанией "Яндекс" одним из восьми лучших курсов России по информационному поиску и смежным областям.
http://company.yandex.ru/class/courses/lifshits.xml

26.11.2006

Новый проект: Система программной эмуляции роботов Lego Mindstorms (Проект Isenguardemu)

26.11.2006

Студент МГУ выиграл три из трёх крупнейших турниров по программированию 2006 года

26.11.2006

Студент МГУ стал лидером мирового рейтинга по программированию

26.11.2006

И это стоит прочесть

22.11.2006

Это стоит прочесть

22.11.2006

Корнеев Г.А. Диссертация на тему Автоматизация построения визуализаторов алгоритмов дискретной математики на основе автоматного подхода

22.11.2006

Дмитриев С. Языково-ориентированное программирование: следующая парадигма

22.11.2006

Татарческий В. Некоторые мысли по поводу программирования встроенных систем

22.11.2006

Новая книга: Шидловский С.В. Автоматическое управление. Перестраиваемые структуры.

18.11.2006

Победители TopCoder Collegiate Challenge-2006

17.11.2006

TopCoder Collegiate Challenge - 2006 finalists

10.11.2006

О нас пишут

10.11.2006

Отзыв читателя на текст «О понимании жизни»

10.11.2006

Что-то не хочется таких успехов

10.11.2006

Это можно прочесть

10.11.2006

UniMod-проект: Моделирование работы «умного» светофора

10.11.2006

UniMod-проект: Моделирование работы автоматического путеукладчика на основе автоматного программирования

01.11.2006

UniMod-проект: Козлов В.А., Комалёва О.А. Моделирование работы банкомата

01.11.2006

Очередная польско-российская победа
Шалыто А.А. Кому нужны ИТ-таланты

01.11.2006

Корнеев Г.А., Шалыто А.А. Построение системы конечных автоматов по программному коду

31.10.2006

Надежда Поликарпова за работу «Объектно-ориентированный подход к моделированию и спецификации сущностей со сложным поведением» награждена дипломом первой степени на Всероссийском конкурсе инновационных проектов аспирантов и студентов по приоритетному направалению развития науки и техники «Информационно-телекоммуникационные системы», который проводился в 2006 г. Федеральным агентством по науке и инновациям.

http://ict.edu.ru/itkonkurs/
http://ict.edu.ru/itkonkurs/module.php?QP_From=40&a=itconc&c=getForm&r=itconcList&d=mod&id_conc=1&id_n_conc=2&s_fio=1&rows_on_page=10
http://www.ict.edu.ru/itkonkurs/1257/
http://www.ict.edu.ru/itkonkurs/photo/2006/p1020115.jpg

26.10.2006

Поздравляем Георгия Корнеева с успешной защитой кандидатской диссертации

23.10.2006

Шалыто А.А. О понимании жизни

17.10.2006

Шалыто А.А. Как правильно?

17.10.2006

Маврин П.Ю., Корнеев Г.А., Станкевич А.С., Шалыто А.А. Моделирование жизненного цикла компоненты программного комплекса с использованием диаграмм состояний

13.10.2006

Лобанов П.Г., Шалыто А.А. Использование генетических алгоритмов для автоматического построения конечных автоматов в задаче о «флибах»

13.10.2006

Алексей Герман-младший

13.10.2006

Программирование с явной реализацией моделей

13.10.2006

А.А. Шалыто. Лучше поздно, чем никогда

10.10.2006

Петрошенко П.А., Корнеев Г.А., Шалыто А.А. Реализация игры «Морской бой» на основе автоматного подхода

09.10.2006

Автореферат кандидатской диссертации Корнеева Г.А.

09.10.2006

У нас приняли доклады на 1-ю Российскую мультиконференцию по проблемам управления

29.09.2006

Исполняемый UML, UniMod, SWITCH-технология

29.09.2006

В. Гуров и А. Шалыто включены в программный комитет симпозиума The Second AIS SIGSAND European Symposium on Systems Analysis and Design. University of Gdansk, Poland, 2007

28.09.2006

У нас приняли доклады на конференцию "Software Engineering Conference (Russia) — 2006" (SECR-2006)

28.09.2006

Наш доклад приняли на «Девятую международную конференцию „Интеллектуальные системы и компьютерные науки”», которую проводит мехмат МГУ

28.09.2006

UniMod-проект: Яковлев А.В., Лукин М.А., Шалыто А.А. Реализация классической игры "Ним" на основе автоматного подхода

25.09.2006

Автоматное программирование заметили в очередной раз

23.09.2006

Бертран Мейер — почетный доктор Санкт-Петербургского государственного университета информационных технологий, механики и оптики

20.09.2006

UniMod-проект: Вокин А.В., Пименов И.А., Шалыто А.А. Имитация работы автоматической коробки передач

15.09.2006

Григорий Перельман, доказавший гипотезу Пуанкаре

08.09.2006

Шалыто А.А. Доброе слово не только кошке приятно

08.09.2006

Шалыто А.А. О цитируемости

31.08.2006

Четыре новые статьи в разделе «Визуализаторы»:
Корнеев Г.А., Шалыто А.А. Vizi — язык описания логики визуализаторов алгоритмов
Корнеев Г.А. Технология разработки визуализаторов алгоритмов
Корнеев Г.А., Шалыто А.А. Построение визуализаторов алгоритмов дискретной математики
Корнеев Г.А. Метод преобразования программ в систему взаимодействующих автоматов

29.08.2006

Майя Плисецкая, балерина. Объяснение в любви

29.08.2006

Владимир Евтушенков. Председатель совета директоров АФК «Система»

25.08.2006

Как работает Google

25.08.2006

Шутки

23.08.2006

Применение конечных автоматов при программировании мобильных устройств

23.08.2006

Автоматное описание живописи (А. Матисс)

23.08.2006

Шалыто А.А. Об оценке профессионалами

23.08.2006

UniMod-проект: Реализация алгоритма Лампорта на основе автоматного подхода

16.08.2006

UniMod-проект: Технология моделирования одного класса мультиагентных систем на основе автоматного программирования на примере игры «Соревнование летающих тарелок»

06.08.2006

Эхо Москвы: Россиянин решил знаменитую математическую задачу

06.08.2006

Долой ОС, даешь автоматы

04.08.2006

Нам пишут

04.08.2006

Шалыто А.А. Не люблю, когда унижают!

04.08.2006

У нас приняли доклад на конференцию в МГУ

01.08.2006

Академия Борланд приглашает студентов третьих курсов ВУЗов СПб на вступительные испытания для поступления на первый курс Академии.

24.07.2006

На хорошем сайте заметили

24.07.2006

Правильная библиотека :-)

24.07.2006

Классное (!) чтение

24.07.2006

Победители живут рядом

24.07.2006

Автоматы — это очень просто

24.07.2006

Игорь Горынин, академик РАН

24.07.2006

Егор Кончаловский, кинорежиссер

24.07.2006

Сергей Минаев

24.07.2006

Нобелевский лауреат о российской науке

12.07.2006

Switch-технология в Wikipedia

12.07.2006

Очередная польско-российская победа

12.07.2006

Шалыто А.А. Скромное обаяние автоматного программирования

12.07.2006

.NET Technologies 2006. Short communication papers proceedings

12.07.2006

У нас приняли доклад на семинар «Наукоемкое программное обеспечение»

12.07.2006

Опубликована магистерская работа Корниенко А.А. Автоматный подход к реализации элементов графического пользовательского интерфейса

06.07.2006

Благодарственные письма Бертрана Мейера

06.07.2006

Опубликован новый рассказ А.А. Шалыто «О благотворительности»

06.07.2006

Участие в конференции CIMSA 2006

06.07.2006

10 people who don't matter — 10 людей, которые не играют роли

06.07.2006

Абдрашитов Д.С. Система управления персонажем в многопользовательской ролевой игре

06.07.2006

Опубликована магистерская работа А.А. Корниенко Автоматный подход к реализации элементов графического пользовательского интерфейса

06.07.2006

Опубликована статья-программа Д. Павлова «Автоматный серпентарий»

05.07.2006

Жданов А.Д., Коломейцева Т.М., Шалыто А.А. Реализация надежного протокола передачи данных

22.06.2006

Опубликован проект «Бодрое Утро»

22.06.2006

Опубликована статья М. Мазина и А. Шалыто Анимация. Flash-технология. Автоматы

21.06.2006

Опубликован новый проект «Мультиагентная система дорожного движения»

10.06.2006

Шалыто А.А. Занимательные вопросы

10.06.2006

А. Шалыто. Почему у нас трудности с инновациями?

10.06.2006

А. Шалыто. Должен ли народ знать своих героев?

10.06.2006

Новый проект: Система управления моделью аудиопроигрывателя. Вариант 2

02.06.2006

Это должны прочесть толковые молодые люди
Это тоже стоит читать молодым толковым людям

02.06.2006

У нас приняты два доклада на «Третью международную конференцию по проблемам управления».
М.: Институт проблем управления, 20-22.06.2006. http://www.ipu.ru/semin/pu2006/prog.htm#D41

Секция Д3. Системы логического управления.
Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. UniMod - инструментальное средство для автоматного программирования.
Секция Е5. Нейронные сети и нейроподобные сети.
Аничкин И.М. Применение нейронной сети для управления мотоциклом.

02.06.2006

Шалыто А.А. Почему холопы плохо работают?

29.05.2006

Какие материальные проблемы могут быть у авторов открытых кодов

29.05.2006

У нас приняли доклад на конференцию 2006 IEEE International Conference on Computational Intelligence for Measurement Systems and Applications — CIMSA 2006 (Испания): Paraschenko D., Shalyto A., Tsarev F. Modeling Technology of One Class of Multi-Agent Systems with Automata Based Programming.

29.05.2006

У нас принят доклад на конференцию "NET Technologies 2006" (Чехия)

29.05.2006

О нас пишут

21.05.2006

Марис Янсонс. О культуре

20.05.2006

Программа семинара с Бертраном Мейром на тему: «Работы по программной инженерии, проводимые на кафедре „Технологии программирования“ СПбГУ ИТМО»

19.05.2006

Ученые, объединенные научным интересом «программная инженерия»
Ученые, объединенные научным интересом «теория автоматов»

19.05.2006

Встреча с Бертраном Мейером

19.05.2006

Нам пишут

17.05.2006

На русскоязычном сайте Стива Кинга в среднем бывает 200 человек в день. Сегодня на нашем сайте было 219 человек!

15.05.2006

В журнале IEEE Software опубликована статья Шопырина Д.Г. "Multimethods Implementation in C++ Using Recursive Deferred Dispatching"

15.05.2006

kp.ru: Настоящие мужчины. Какие они?

15.05.2006

Опубликован второй UniMod-проект: Моделирование устройства для продажи газированной воды на инструментальном средстве UniMod

15.05.2006

Горшкова Е.А., Новиков Б.А. Использование диаграмм состояний переходов для моделирования гипертекста

15.05.2006

Опубликована статья «Моделирование контроллера WEB-приложений с использованием UML»

15.05.2006

SWITCH-технологию применяют в программируемых логических контроллерах

15.05.2006

Идеи, аналогичные с предлагаемыми нами

11.05.2006

Обновлена проектная документация UniMod-проекта «Устройство» для карточной игры Покер: заменены диаграммы

07.05.2006

Switch-технология продолжает внедряться

06.05.2006

А.А. Шалыто. ИТ-образование: острых проблем еще очень много

06.05.2006

А.А. Шалыто. Зачем ссылки в тексте?

06.05.2006

В рассказе «Прикольно, гламурно, пафосно» появилось существенное дополнение

27.04.2006

Дает ли современный российский университет современные знания?

27.04.2006

«Не зря пишу»

26.04.2006

Опубликован UniMod проект Вишнякова С.М.,Кочелаева Д.Ю., Шалыто А.А. «Устройство» для карточной игры Покер

26.04.2006

Создан новый раздел — Unimod-проекты

25.04.2006

Опубликован проект А.Д. Руднева и А.А. Шалыто «Управление контроллером привода гибкого диска (на примере контроллера I8272A)»

24.04.2006

Работа: смысл жизни или неизбежное зло?

21.04.2006

В Польше вышла книга про UML 2.0, в которой среди инструментальных средств для платформы Eclipse упомянут UniMod. Открытый проект UniMod опубликован на диске — приложении к этой книге.

20.04.2006

В нашем Университете открыта аспирантура по специальности 05.13.11 — Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

18.04.2006

У сайта появился эпиграф

17.04.2006

О нас пишут

10.04.2006

Workshop по автоматному программированию

10.04.2006

ИТМО: Образование и наука - фундамент университета

10.04.2006

Артем Астафуров уверен, что работа в западных IT-компаниях идеальна для карьеристов. В одной из них он к 22 годам стал директором направления международных проектов

10.04.2006

Указ Президента РФ «О мерах государственной поддержки работников организаций оборонно-промышленного комплекса РФ»
Постановление Правительства Российской Федерации от 24 июня 2004 г. N 309 г. Москва О стипендии работникам организаций оборонно-промышленного комплекса Российской Федерации

06.04.2006

В NASA разрабытывается программное обеспечение на основе подхода, близкого к автоматному программированию, который базируется на анализе состояний

06.04.2006

Бабаев А. Автоматный интерфейс. Новый метод создание логики интерфейса

06.04.2006

Шалыто А.А. Информация или дух?

31.03.2006

На русскоязычном сайте Стива Кинга в среднем бывает 200 человек в день. Сегодня на нашем сайте было 205 человек!

29.03.2006

Шалыто А.А. «Прикольно, гламурно, пафосно»

28.03.2006

Профессор Бертран Мейер Ученым советом Санкт-Петербургского государственного университета информационных технологий, механики и оптики избран Почетным доктором университета.

27.03.2006

Умер Станислав Лем

24.03.2006

Проект «Наглядная система сборки Кубика Рубика»

18.03.2006

Нам пишут

16.03.2006

Создатель языка Eiffel Бертран Мейер и Никита Шамгунов

13.03.2006

Президиум ВАК России (решение от 10.02.2006 г. № 5к/89) решил выдать диплом кандидата технических наук Шопырину Данилу Геннадьевичу. Поздравляем!

11.03.2006

Книги М.А. Гаврилова в Политехническом музее в Москве

11.03.2006

Шалыто А.А. Кое-что об этике научных публикаций

05.03.2006

Поздравляем с 70-летием Леонида Яковлевича Розенблюма — одного из пионеров технической кибернетики в СССР

04.03.2006

В Туринском политехническом институте на UniMod обратили внимание как на многообещающий проект

04.03.2006

Журнал «Информационные технологии» об автоматном программировании

04.03.2006

Tutorial on Automata Based Programming (ABP). Events. Outsourcing-Russia.Com

04.03.2006

А.А. Шалыто. Продажа диплома

04.03.2006

Д. Завалишин. Экстремальное проектирование?

04.03.2006

С. Голубицкий. Жизненная позиция

04.03.2006

Схемная эмуляция и автоматное програмирование

04.03.2006

Памяти Валерия Николаевича Захарова посвящается

Страницы: [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [Все новости]




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