НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ, МЕХАНИКИ И ОПТИКИ
Кафедра «Технологии программирования»



Главная

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

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

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

English
 Home

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


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

Яndex



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


САЙТ ПО АВТОМАТНОМУ ПРОГРАММИРОВАНИЮ И МОТИВАЦИИ К ТВОРЧЕСТВУ



  Убедительны только наделенные страстью люди. Самый простой человек, наделенный страстью, гораздо более убедителен, чем самый красноречивый, не обладающий ею

Р. Декарт

Информация о кафедре

25 мая 2004 г. доктор технических наук, профессор Шалыто А.А., ранее руководивший кафедрой «Информационные системы», избран заведующим кафедрой «Технологии программирования».

27 декабря 2011 г. решением Ученого Совета НИУ ИТМО утверждено создание лаборатории "Алгоритмы сборки геномных последовательностей". Сайт лаборатории: http://genome.ifmo.ru


Шалыто А.А. Заметки о мотивации. Текущая версия (PDF)

Шалыто А. А. Мои счастливые годы жизни на кафедре «Компьютерные технологии» СПбГУ ИТМО (к двадцатилетию кафедры). Текущая версия (PDF)

Парфенов В.Г., Шалыто А.А. Подготовка высококвалифицированных специалистов в области производства программного обеспечения и развитие технологий программирования на кафедре "Компьютерные технологии" // Университет XXI века. СПбГУ ИТМО. 2011, с.53 - 126. (PDF)

Васильев В.Н., Парфенов В.Г. Истории кафедры «Компьютерные технологии» НИУ ИТМО (PDF)

Буклет для финала чемпионата мира по программированию 2013 года в Санкт-Петербурге (PDF)

Президент НП "Руссофт" В. Макаров: "Cвоим подвигом они создают честь и славу всей индустрии, всей стране" (внешняя ссылка: www.russoft.ru)


Международная научная лаборатория "Компьютерные технологии" (внешняя ссылка: irc.ifmo.ru)

Сайт инициативы "Сохраним в университетах лучших!" (внешняя ссылка: www.savethebest.ru)

Сможем ли мы сохранить в университетах лучших? (внешняя ссылка: www.pcweek.ru)

Инициатива "Сохраним в университетах лучших!" поддержана Президентом РФ Д.А.Медведевым (внешняя ссылка: www.kremlin.ru)

Инициатива "Сохраним в университетах лучших!" была изложена Президенту РФ Дмитрию Анатольевичу Медведеву на встрече с победителями студенческого командного чемпионата мира по программированию 2009 г., которая проходила в Барвихе 06.05.2009 г., и была им одобрена (PDF)

Открыт сайт по проектному обучению на основе автоматного программирования (внешняя ссылка: project.ifmo.ru)

Разработка кода происходит путем внесения в него изменений и дополнений, - сказал один опытный программист. Какое уж там проектирование программ?

Шалыто А.А. Зачем нужны автоматы? (PDF)

Прочтите эти статьи, и природа автоматного программирования станет яснее!

http://www.osp.ru/os/2008/06/5345473/ (внешняя ссылка: www.osp.ru)

http://is.ifmo.ru/works/turing/

Что такое автомат? Посмотрите здесь

Шалыто А.А. Автоматное программирование, водка и буква Ё (PDF)

Трудно ли было придумать, что перед операцией надо мыть руки? ("Город 812" - Почему доктора не хотят мыть руки) (внешняя ссылка: www.online812.ru)

Шалыто А.А. Тяжелый коврик и автоматное программирование

Чем отличается автоматное программирование от программирования с применением автоматов? (PDF)

Новая инициатива для ИТ-отрасли России «Сохраним в университетах лучших!» (PDF)

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

Автоматное программирование в Wikipedia (внешняя ссылка: ru.wikipedia.org)

Справедливость требует не тому отдать наибольшую научную славу, кто первым высказал истину, а тому, кто сумел убедить в ней других, показал ее достоверность и сделал ее применимой в науке. Д.И. Менделеев

Круглый стол в газете "Санкт-Петербургские ведомости" на тему "Нужны ли России информационные технологии?" (внешняя ссылка: www.spbvedomosti.ru)

Шалыто Анатолий Абрамович в Wikipedia (внешняя ссылка: ru.wikipedia.org)

Switch-технология в Wikipedia (внешняя ссылка: ru.wikipedia.org)

Шалыто А.А. Триединая задача одного педагогического эксперимента в области ИТ-образования

Исследовательский центр СПбГУ ИТМО «Технологии автоматного программирования»

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

Шалыто А.А. Термин "автоматное программирование" на английском языке

КоммерсантЪ: Волшебный сундучок Роснауки (внешняя ссылка: www.kommersant.ru)

Сотрудничество кафедры «Технологии программирования» и компании eVelopers

eVelopers подружились с ИТМО (внешняя ссылка: www.spbit.ru)

UniMod — инструмент, поддерживающий SWITCH-технологию (внешняя ссылка: unimod.sourceforge.net)

Демонстрация работы пакета UniMod (внешняя ссылка: unimod.sourceforge.net)

Демонстрация работы отладчика в UniMod (внешняя ссылка: unimod.sourceforge.net)

Мнения об инструментальном средстве UniMod (PDF)

Гуров В., Нарвский А., Шалыто А. Исполняемый UML из России (PDF)

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

В ЗАО «Морские навигационные системы» используется автоматное программирование

Эффективный метод программной реализации дискретных управляющих автоматов во встроенных системах управления (внешняя ссылка: www.motorcontrol.ru)

«Самостоятельное внедрение SWITCH-технологии в сложном процессе»

«К чему я стремлюсь в программировании!» (PDF)

Никлаус Вирт — почетный доктор СПбГУ ИТМО (PDF)

Виртуальная лаборатория для первоначального обучения проектированию автоматных программ (внешняя ссылка: rain.ifmo.ru)

Инициатива "За открытую проектную документацию"

27.11.2002 на торжественном открытии полуфинальных соревнований командного чемпионата мира по программированию АСМ (Северо-Восточный Европейский регион) в Санкт-Петербургском городском Дворце творчества юных профессор СПбГУ ИТМО Шалыто А.А. объявил об организации инициативы «За открытую проектную документацию», которое является развитием «Движения за открытые программные источники» (Foundation for Open Project Documentation). В рамках этой инициативы делается упор на документацию проектов создания программ. Об этом движении — в разделах «Статьи», «Проекты» и «Визуализаторы».

Д.И. Менделеев. О науке

Обратите внимание:

Достижения студентов кафедры «Компьютерные технологии» на студенческих командных чемпионатах мира по программированию

«Новая инициатива в программировании. Инициатива за открытую проектную документацию»

«Еще раз об открытой проектной документации»

«Технология автоматного программирования»

«В чем кроется коренная причина проблемы нехватки квалифицированных ИТ-кадров в России?»

«Как вам это нравится?»

«А нравится ли Вам это?» (PDF)

Обсуждение с Иваром Якобсоном, одним из создателей языка UML, того, что с помощью этого языка не описать очень сложную логику

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

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

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

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

Откуда появился понятие «автоматное программирования»? (внешняя ссылка: old.intuit.ru)

Об автоматном программировании, инструментальном средстве UniMod и движении за открытую проектную документацию

Автоматное программирование как парадигма програмирования (внешняя ссылка: acm.mipt.ru)

Стили программирования (внешняя ссылка: acm.mipt.ru)

Автоматное программирование используется во Флориде (внешняя ссылка: vikerlabs.com)

Masters In Mathematics And Computer Science, ITMO (внешняя ссылка: www.masterstudies.com)

Не так важно, кто нечто придумал первым, - важно, кто начинает это использовать не от случая к случаю, а как технологию: "Как делаются общественно-политические изобретения. Например, само по себе изобретение паровой машины еще не вело к промышленной революции — нечто подобное создавалось и раньше в других странах Европы. Заслуга Джеймса Уатта была не в том, что он изобрел паровую машину, а в том, что сумел продать первые сто экземпляров. Это и есть опыт цивилизации — когда открытие, возникшее исторически случайно, начинает использоваться сознательно, как технология, и воспроизводится в дальнейшем опыте (Виталий Лейбин. Русский репортер)".
Я считаю, что так произошло с автоматным программированием, которое распространяется все шире и шире - http://www.state-machine.com/about/customers.php. Название нашего сайта уже много лет связано с автоматным программированием, у этого сайта даже понятие автомат даже входит в его название. Обратите внимание, каким компаниям нужны инструменты для автоматного программирования! А мне все не верили, как оно важно.

Customers of Quantum Leaps (внешняя ссылка: www.state-machine.com)

Ссылки и благодарности

Портал университета размещен по адресу www.ifmo.ru.

Некоторые из приведенных на сайте материалов опубликованы также на сайтах www.softcraft.ru и www.avrorasystems.com.

Разработчики сайта благодарны Александру Ивановичу Легалову, создателю сайта www.softcraft.ru, за поддержку в течение длительного времени автоматного программирования.

Контакты:

shalyto@mail.ifmo.ru (Шалыто)

Сайт создан студентом кафедры «Компьютерные технологии» СПбГУ ИТМО Александром Наумовым (gooroo@bk.ru). До 2007 года сайт поддерживался Сергеем Столбовым (stolbov@gmail.com). C 2007 года до мая 2011 года сайт поддерживался Михаилом Царевым (mikhail.tsarev@gmail.com). С мая 2011 года сайт поддерживается Владимиром Ульянцевым (vl.ulyantsev@gmail.com).




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