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

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

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

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

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

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

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

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

Сайт инициативы "Сохраним в университетах лучших!"
Сможем ли мы сохранить в университетах лучших?
Инициатива "Сохраним в университетах лучших!" поддержана Президентом РФ Д.А.Медведевым
Инициатива "Сохраним в университетах лучших!" была изложена Президенту РФ Дмитрию Анатольевичу Медведеву на встрече с победителями студенческого командного чемпионата мира по программированию 2009 г., которая проходила в Барвихе 06.05.2009 г., и была им одобрена
Научно-образовательный центр СПбГУ ИТМО "Искусственный интеллект и робототехника"
Открыт сайт по проектному обучению на основе автоматного программирования

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

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

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

http://www.osp.ru/os/2008/06/5345473/
http://is.ifmo.ru/works/turing/

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

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

Трудно ли было придумать, что перед операцией надо мыть руки? ("Город 812" - Почему доктора не хотят мыть руки)

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

Первый в мире сборник статей по автоматному программированию

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

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

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

Автоматное программирование в Wikipedia

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

Круглый стол в газете "Санкт-Петербургские ведомости" на тему "Нужны ли России информационные технологии?"

Шалыто Анатолий Абрамович в Wikipedia
Switch-технология в Wikipedia

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

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

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

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

«Наука и инновации»: Выбраны лучшие инновационные проекты России
КоммерсантЪ: Волшебный сундучок Роснауки

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

UniMod — инструмент, поддерживающий SWITCH-технологию;
Демонстрация работы пакета UniMod;
Демонстрация работы отладчика в UniMod.
Мнения об инструментальном средстве UniMod
Гуров В., Нарвский А., Шалыто А. Исполняемый UML из России
В Польше вышла книга про UML 2.0, в которой среди инструментальных средств для платформы Eclipse упомянут UniMod. Открытый проект UniMod опубликован на диске — приложении к этой книге

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

Эффективный метод программной реализации дискретных управляющих автоматов во встроенных системах управления

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

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

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

Виртуальная лаборатория для первоначального обучения проектированию автоматных программ

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

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

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

Обратите внимание:
Достижения студентов кафедры «Компьютерные технологии» на студенческих командных чемпионатах мира по программированию,
«Новая инициатива в программировании. Инициатива за открытую проектную документацию»,
«Еще раз об открытой проектной документации»,
«Технология автоматного программирования»,
«В чем кроется коренная причина проблемы нехватки квалифицированных ИТ-кадров в России?»,
«Как вам это нравится?»,
«А нравится ли Вам это?»,
Обсуждение с Иваром Якобсоном, одним из создателей языка UML, того, что с помощью этого языка не описать очень сложную логику,
Switch-технология продолжает внедряться,
Автоматное описание живописи (А. Матисс),
Применение конечных автоматов при программировании мобильных устройств,
Программирование с явной реализацией моделей,
Откуда появился понятие «автоматное программирования»?.

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

Автоматное программирование как парадигма програмирования

Стили программирования

Автоматное программирование используется во Флориде

Masters In Mathematics And Computer Science, ITMO

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

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

Портал университета размещен по адресу 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).