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



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-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] [Все новости]

07.10.2008

"Сохраним в университетах лучших" на сайте СПбГУ ИТМО

07.10.2008

Художник Илья Кабаков о том как мы жили

07.10.2008

Музей актуального искусства

04.10.2008

Сохраним в университетах лучших!

03.10.2008

Миронов А.М. Теория процессов

03.10.2008

Гуров В.С. Диссертация на тему «Технология проектирования и разработки объектно-ориентированных программ с явным выделением состояний (метод, инструментальное средство, верификация)»

03.10.2008

Российский научный журнал опубликовал бессмысленный текст, созданный компьютером

03.10.2008

Если бы Генри Джозеф Раунд не написал статью в два абзаца, то он бы не стал основоположником исследований в области светоизлучающих диодов. А напишите ли Вы хотя бы такую статью, если предложите что-либо толковое?

03.10.2008

На конференции SECR-2008 будет докладывать не только Эрих Гамма, но и Артем Астафуров!

03.10.2008

Гуров В.С., Мазин М.А., Шалыто А.А. Текстовый язык автоматного программирования //Научно-технический вестник СПбГУ ИТМО

30.09.2008

Русский аристократ и его коллекция, которую сейчас купили для России и показывают в Санкт-Петербурге в театральном музее
http://www.kommersant.ru/doc.aspx?DocsID=20191
http://www.kommersant.ru/doc-rss.aspx?DocsID=221707
http://www.kommersant.ru/doc.aspx?DocsID=9015733

26.09.2008

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

26.09.2008

Так в Америке сохраняют в университах лучших:
http://en.wiktionary.org/wiki/endowed_chair,
http://www2.creighton.edu/about/endowedchair/,
http://paradise.caltech.edu/bruck.html

26.09.2008

Вот к чему приводит автоматное программирование - Надежда Поликарпова и Бертран Мейер в Италии!

26.09.2008

Требования к выполнению курсовых работ

25.09.2008

Когда люди не жмотничают!

25.09.2008

Наш сайт кому-то нужен: все вставки с этого сайта

23.09.2008

И вам желаю того же!

23.09.2008

WebTV было предложено в СССР 36 лет назад!

23.09.2008

Кто способен попасть на эту конференцию?

22.09.2008

Компании DataArt и DevExpert, в руководство которых входят наши выпускники, среди лидеров по разработке экспортных программных продуктов

22.09.2008

Высшее образование и российское общество, или куда зашло высшее образование

21.09.2008

Очень интересный блог про программирование

20.09.2008

У нас может просто не остаться специалистов, которые хоть что-то будут понимать в термоядерных реакторах

20.09.2008

Мы смогли что-то сделать в жизни, потому что нас учили замечательные люди

20.09.2008

Еще раз о российском высшем образовании

20.09.2008

Жизнь против часовой стрелки!

19.09.2008

Если бы Генри Джозеф Раунд не написал статью в два абзаца, то он бы не стал основоположником исследований в области светоизлучающих диодов. А напишите ли Вы хотя бы такую статью, если предложите что-либо толковое?

19.09.2008

WiMax как минимум

19.09.2008

Юрий Лифшиц - инноватор

19.09.2008

Российские математики В.Арнольд и Л.Фаддеев получили в Гонконге "Азиатскую Нобелевскую премию"

19.09.2008

Мобильный WiMAX в действии

19.09.2008

"Программный продукт, полностью созданный в России, по словам Чемезова (генерального директора госкорпорации "Ростехнологии"), прекрасно с непревзойденным качеством передает мобильную картинку, ее можно использовать и в деле обеспечения безопасности при установке сколь угодно сложных сетей видеонаблюдения с большой разрешающей способностью на улицах и в общественных местах... Если этот проект будет реализован, "это будет первый случай, когда Россия внедряет в Западном полушарии столь высокую технологию, даже еще в США этого нет"

19.09.2008

Создан робот с биологическим мозгом

19.09.2008

Обама против аутсорсинга

19.09.2008

Высота газпромовской "башни" после грузинской агрессии

19.09.2008

Cергей Брин в Москве

19.09.2008

Большинство людей просто не любит напрягаться. А Вы?

16.09.2008

Награждение чемпионов мира по программированию в исследовательской лаборатории IBM

14.09.2008

Организации, участвующие в Движении в ИТ-отрасли России "Сохраним в университетах лучших"

14.09.2008

А.А. Шалыто в полуфинале передачи "Игра ума" сезона 2007-2008 гг. на 5 канале

14.09.2008

А.А. Шалыто в ЗАКЛЮЧИТЕЛЬНОЙ (ее ЗАКРЫЛИ) передаче "Игра ума" на 5 канале

14.09.2008

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

14.09.2008

Главком СВ: танк будущего будет без танкистов

12.09.2008

Интернет взял высокую "Йоту"

11.09.2008

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

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

07.09.2008

Статья "Автоматное программирование" - один из победителей Всероссийского конкурса обзорно-аналитических статей по приоритетному направлению "Информационно-телекоммуникационные системы".

05.09.2008

000 "Скартел" первой в России запустила сеть WiMax для предоставления услуг под брендом Yota (http://www.yota.ru/ru/)! Основной акционер - кипрская WiMax Holding Ltd. (http://www.rian.ru/economy/20080903/150913385.html), также контролирующая компании разработчик мобильных сервисов "Скартел стар лаб" (генеральный директор - выпускник кафедры "Компьютерных технологий" СПбГУ ИТМО А.А.Штучкин http://is.ifmo.ru/projects/calc/) и агрегатора медиаконтента "Моrе" (генеральный директор - И.А. Шалыто)!!!

05.09.2008

Лекция ИТМО и программирование по контракту Бертрана Мейра

31.08.2008

Стрюк Л.Е., Дахин О.А., Шалыто А.А. Решение задачи движения робота по линии с применением автоматного подхода (проект RoboChuck)

27.08.2008

Enterprise Java Community: Asynchronous Processes Modeled as Persistent Finite State Machines

27.08.2008

Фетисов уедет, а с чем останемся мы?

27.08.2008

Бедний Ю.Д. Применение генетических алгоритмов для генерации автоматов при построении модели максимального правдоподобия и в задачах управления

09.08.2008

Такие жены достаются только гениям? Или не только? И как известно из истории не всем!

09.08.2008

Как расстреливали генетику

06.08.2008

Разговоры о Model Checking

06.08.2008

В поисках надежного кода

04.08.2008

Молодой человек 1981 года рождения Шидловский Станислав Викторович, работающий в Томском государственном универоситете систем управления и радиолектроники, утвержден ВАК Минобрнауки РФ доктором технических наук.

По этому университету издали приказ (после его защиты кандидатской диссертации в 23 года), что людям защитившим кандидатскую диссертацию до 24 лет выплачивают 250 т. руб (!), а докторскую до 28 лет - 500 т. руб (!!!).

Поздравляем от всей души!

04.08.2008

Женщины Билла Гейтса

23.07.2008

Точилин В.Н. Метод сокращенных таблиц для генерации автоматов с большим числом входных воздействий на основе генетического программирования

23.07.2008

ICFP 2008 Programming Contest - Построение системы управления марсоходом

Условия задачи: http://smlnj.org/icfp08-contest/task.html
Пример решения: http://www.youtube.com/watch?v=Ee3Bnhm2eU4

23.07.2008

Hoffman L. In Search of Dependable Design

23.07.2008

Hoffman L. Q&A Talking Model-Checking Technology

23.07.2008

Одному из автором АВЛ-деревьев, на повторной защите которого я был, 85 лет. Поздравляем!

23.07.2008

Astafurov A.A., Shalyto A.A. Declarative Approach to Implementing Automata Classes in Imperative Programming Languages

13.07.2008

Котов А.Н. Моделирование дорожного движения на многополосной магистрали при помощи двумерного вероятностного клеточного автомата с тремя состояниями

13.07.2008

Егоров К.В. Разработка верификатора автоматных программ

13.07.2008

Акишев И.Р. Разработка и анализ параллельных поисковых структур данных, нечувствительных к размеру кеша

13.07.2008

Абдрашитов Д.С. Применение деревьев для представления строковой информации

13.07.2008

Акишев И.Р. Об опыте участия в командных соревнованиях по программированию формата ACM ICPC

11.07.2008

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

11.07.2008

Научно-технический вестник Санкт-Петербургского государственного университета информационных технологий, механики и оптики включен в перечень ВАК Минобранауки РФ

10.07.2008

Поздравляем Анатолия Никитина с наградой на Imagine Cup

http://www.cybersecurity.ru/prognoz/51221.html
http://imaginecup.com/about/news.aspx
http://imaginecup.com/about/news.aspx

09.07.2008

The Engineering Excellence Achievement Award, sponsored by Microsoft's Enterprise Engineering Center, is designed to recognize three outstanding teams from the Software Development category that have created solutions that demonstrate the potential to be developed to scale with focused guidance from a Microsoft engineer, was won by the following:

Bulgaria - Team Atlas
Team Members: Boryana Miloshevska, Dobromira Ivanova, Martin Damyanov, Yordan Pavlov

USA - Team Sparx
Team Members: Adam Risi, Zachery Shivers, Ziyan Zhou

Russia - Team Ignition
Team Members: Anatoly Nikitin, Roman Belov, Daria Elkina

07.07.2008

Хобби российских чемпионов мира последних лет - любят сниматься с Дональдом Кнутом (2006 год - http://ivanromanov.livejournal.com/788.html#cutid1, 2008 год - http://is.ifmo.ru/programming_competitions/champ&knuth)

07.07.2008

А.А.Шалыто в пятый раз в "Игре ума"

06.07.2008

Наши среди великих (страница 14)

06.07.2008

Kurbatsky E. Verification of automata-based programs

06.07.2008

Иринев А.В. Генерация вероятностных автоматов методами стимулирующего обучения

06.07.2008

Kulev V.A., Mandrikov E.A. Development of Software System for State Machine Generation Using Genetic Algorithm

06.07.2008

Михаил Царев и Евгений Мандриков вошли в состав победителей конкурса "Умник". Поздравляем!

05.07.2008

Отчет по контракту о применении генетических алгоритмов для генерации автоматов. Третий этап.

04.07.2008

Чеботарева Ю.К. Визуальное редактирование автоматов в "Виртуальной лаборатории для первоначального обучения проектированию программ"

04.07.2008

Лагунов И.А. Разработка текстового языка автоматного программирования и его реализация для инструментального средства UniMod на основе автоматного подхода

04.07.2008

"Бог - это графический редактор для рисования конечных автоматов"

04.07.2008

Борисенко А.А., Пенкин Д.М. Моделирование работы электронной автомобильной сигнализационной системы

04.07.2008

За что дают технологического "нобеля"

04.07.2008

Давыдов А.А., Соколов Д.О., Царев Ф.Н., Шалыто А.А. Применение островного генетического алгоритма для постороения автоматов Мура и систем взаимодействующих автомтаов Мили на примере задачи об "Умном муравье"

04.07.2008

Бедный Ю.Д., Шалыто А.А. Применение генетических алгоритмов для создания системы управления танком в игре Robocode

04.07.2008

Данилов В.Р., Шалыто А.А. Метод генетического программирования для генерации автоматов, представленных деревьями решений

04.07.2008

Поздравления от Бертрана Мейра

04.07.2008

Очень немногие люди на земле два раза получали ACM AWARDS. Это, например, Кнут, Дейкстра, Харел, Кларк, Хольцман, Парфенов и Станкевич. Двое последних - в номинации "ACM International Collegiate Programming Contest"

03.07.2008

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

03.07.2008

Продолжение темы о родстве Балмера и Дворкина

03.07.2008

Являются ли Стив Балмер и Миша Дворкин родственниками?

01.07.2008

Халл Э., Джексон К., Дик Дж. Разработка и управление требованиями

01.07.2008

Работа, похожая на UniMod (только хуже)

01.07.2008

Поздравляем Виталия Клебана, Илью Колыхматова, Андрея Бреслава, Константина Рубинова, Дмитрия Суясова, Олега Степанова - студентов и аспирантов нашей кафедры с победой в конкурсе на предоставление в 2008 году грантов для студентов, аспирантов вузов и академических институтов, расположенных на территории Санкт-Петербурга

01.07.2008

"Санкт-Петербургские ведомости" о победе на чемпионате мира и о сохранении в университетах лучших

28.06.2008

Юрий Владимирович Матиясевич и Виктор Петрович Иванников избраны академиками Российской академии наук. Поздравляем!

22.06.2008

Методическая разработка по применению верификатора Spin

17.06.2008

Видеолекции по верификации

17.06.2008

Очень интересные лекции по верификации

11.06.2008

О нас пишут

11.06.2008

Еще два доклада (Клебан В.О., Шалыто А.А. на темы "Автоматный подход к проектированию многоуровневых систем управления мобильными роботами" и "Компонентная архитектура программного обеспечения мобильного робота") приняты Программным комитетом "Четвертой международной конференции по проблемам управления" (МКПУ-IV). Москва. Институт проблем управления РАН. Дата проведения: 26.01.2009. Он будет представлен в направлении "Управление в промышленности, энергетике и на транспорте", на секции "Системы логического управления".

11.06.2008

Об "Игре ума" пишут

11.06.2008

Применение автоматного программирования при создании автоответчика

10.06.2008

Работы по визуальному программированию

09.06.2008

Фотографии А.А. Шалыто

09.06.2008

Доклад Ю.Д. Бедного и А.А. Шалыто на тему "Применение генетических алгоритмов для создания системы управления танком в игре "Robocode" принят Программным комитетом "Четвертой международной конференции по проблемам управления" (МКПУ-IV). Москва. Институт проблем управления РАН. Дата проведения: 26.01.2009. Он будет представлен в направлении "Управление в гибридных и других сложных моделях динамических и интеллектуальных систем", на секции "Искусственный интеллект в управлении".

09.06.2008

Обсуждение автоматного программирования

09.06.2008

Скаков П.С. Классификация поведения одномерных клеточных автоматов

09.06.2008

В.И.Варшавский в хорошей компании

09.06.2008

Журнал "Хакер" о победе на чемпионате мира по программированию

09.06.2008

Подарок А.А. Шалыто от передачи "Игра ума" - "Beloved Expert - Анатолий Абрамович Шалыто"

08.06.2008

Как написать 85000 книг?

08.06.2008

Сайт, посвященный научно-технических проблемам отечественного тактического ДПЛАстроения

08.06.2008

5 июня 2008 года сайт посетило 216 пользователей

08.06.2008

Вторая в истории человечества :-) конференция, на которой была секция "Автоматное программирование" ("Automata-Based Programming"). http://syrcose.ispras.ru/program.html.

Впервые такая секция была на конференции "The International Computer Science Symposium in Russia, CSR-2006" http://unimod.sourceforge.net/wiki/index.php/CSR2006_ABP_WORKSHOP

08.06.2008

А.А. Шалыто в передаче "Игра ума" на "Пятом канале". Передача 4

01.06.2008

Дональд Кнут (профессор Стэнфордского университета) избран в мае 2008 года иностранным членом РАН

28.05.2008

Поздравляем Анатолия Абрамовича Шалыто с шестидесятилетием!

Желаем ему здоровья, благополучия, успехов в научной и педагогической работе!

25.05.2008

Оружие должны делать молодые люди

23.05.2008

О нас помнят

22.05.2008

В Стокгольме вручена престижная премия Кроуфорда математику из Химок

22.05.2008

Давыдов А.А., Соколов Д.О., Царев Ф.Н. Применение генетических алгоритмов для генерации автоматов Мура и систем взаимодействующих автоматов Мили в задаче об "Умном муравье"

22.05.2008

На факультете "Информационных технологий и программирования" СПбГУ ИТМО организована научно-исследовательская лаборатория "Искусственный интеллект и роботы". Научные руководители - Игорь Широков и Анатолий Шалыто.

22.05.2008

Царев М.Н., Царев Ф.Н. Графический язык описания игровых эпизодов в футболе

22.05.2008

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

21.05.2008

Важно и интересно: cовременные языки программирования и computer science

21.05.2008

State Chart XML (SCXML): State Machine Notation for Control Abstraction

21.05.2008

IBM Modeling and Integration Tools for State Chart XML

17.05.2008

Automata-Based Programming

17.05.2008

Чемпионы мира по программированию на приеме у губернатора Санкт-Петербурга В.И. Матвиенко (фотография)

17.05.2008

Награда за "Игру ума"

17.05.2008

Дворкин М.Э., Станкевич А.С., Шалыто А.А. О применении автоматов при реализации алгоритмов дискретной математики (на примере АВЛ-деревьев)

17.05.2008

Шалыто А.А. Ум должен быть с "кулаками"

17.05.2008

Клебан В.О., Шалыто А.А. Использование автоматного программирования для построения систем управления мобильными роботами

15.05.2008

Маврин П., Шалыто А. Зачем нам чемпионы мира по программированию

15.05.2008

Шалыто А.А. Кому нужна игра ума?

14.05.2008

В.A. Королева - А.А. Шалыто

09.05.2008

Открылся сайт проекта GAAP (Genetics Algorithms for Automata-based Programming), выполняемого студентами кафедры КТ. Ведущие проекта - Евгений Мандриков (mandrikov@rain.ifmo.ru) и Владимир Кулев (kulev@rain.ifmo.ru).

Присоединяйтесь: http://gaap.net.ru:8080/

08.05.2008

Хотите иметь цифровую копию жизни?

06.05.2008

Чемпионы мира по программированию на приеме у губернатора Санкт-Петербурга В.И. Матвиенко

06.05.2008

My baby, the finite state machine

05.05.2008

Третий семинар по программной инженерии с Бертраном Мейером

03.05.2008

Перечень ведущих рецензируемых научных журналов и изданий, в которых должны быть опубликованы основные научные результаты диссертации на соискание ученой степени доктора и кандидата наук (редакция апрель 2008 года)

03.05.2008

Как у нас любят чужие успехи

01.05.2008

В хорошей компании!

01.05.2008

Почему Паскаль?

01.05.2008

Berry G. Synchronous Programming Techniques for Embedded Systems

01.05.2008

Доклад Е.А.Мандрикова и В.А.Кулева на V Всероссийской межвузовской конференции молодых ученых "Разработка инструментального средства для автоматической генерации конечных автоматов с использованием генетических алгоритмов"

30.04.2008

А.А. Шалыто Зачем нам чемпионы по программированию? Пятнадцать аргументов в пользу программистских олимпиад

30.04.2008

Из обсуждения статьи "Сохраним в университетах лучших!" на сайте http://www.pcweek.ru/themes/detail.php?ID=108777

30.04.2008

Чем займутся чемпионы мира по программированию

30.04.2008

Еще одна победа наших студентов

30.04.2008

R. Breukelaar, Th. Back Использование генетических алгоритмов для прослеживания поведения в многомерных клеточных автоматах

29.04.2008

Шалыто А.А. в третьей передаче "Игра ума"

28.04.2008

В. Мошников - А. Шалыто

28.04.2008

В. Б. Яковлев - А. А. Шалыто

25.04.2008

На "Вторую молодежную Всероссийскую конференцию по программной инженерии", которая будет проходить 29-30 мая 2008 г. на матмехе СПбГУ у нас приняли восемь (!) докладов и сообщений (из них семь по автоматному программированию)

25.04.2008

Долматов А.Г., Петров А.С. Утилита разработки конечных автоматов StateCAD

24.04.2008

Поздравляем А.А. Шалыто, который за лекцию "Автоматное программирование" на научной школе "Технологии высокопроизводительных вычислений и систем" получил оценку слушателей 4,75. Выше оценка только у кофебрейка - 4,82.

24.04.2008

Поздравляем Анатолия Никитина студента кафедры КТ с грандиозной победой на полуфинальных (Всероссийских) соревнованиях ImagineCup, которые проходили в Москве. А за одно - "Знай наших".

24.04.2008

Поздравляем Михаила Царева с третьим местом на конкурсе "У.М.Н.И.К." ("Участник молодежного научно-инновационного конкурса"), проводимого Фондом содействия развитию малых форм предприятий в научно-технической сфере (при поддержке Федерального агентства по науке и инновациям и Федерального агентства по образованию), который проходил в рамках V Всероссийской межвузовской конференции молодых ученых

24.04.2008

Поздравляем студентов кафедры КТ Михаила Царева и Евгения Мандрикова с награждением дипломами I степени за лучшие доклады на соответствующих секциях на V Всероссийской межвузовской конференции молодых ученых.

24.04.2008

Триумф российской школы программирования

24.04.2008

"Сохраним в университетах лучших" на сайте еженедельника PCWEEK/RE

20.04.2008

В Цюрихском политехническом институте новый ректор - женщина

20.04.2008

О национальной капитуляции

20.04.2008

Наша История

16.04.2008

Какие компьютеры делали в СССР!

15.04.2008

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

15.04.2008

Наши студенты - Дмитрий Абдрашитов, Дмитрий Паращенко и Федор Царев (тренер - Андрей Станкевич) стали чемпионами мира и Европы по программированию! Поздравляем!

15.04.2008

Новые специалисты новой России

11.04.2008

Лучшие программисты теперь живут в Питере

11.04.2008

Д.А.Медведев, триумф российской школы программирования и сохраним в университетах лучших

11.04.2008

Еще одна российская инициатива

09.04.2008

Финал чемпионата по программированию 2008 года.

По информации из Канады, команда СПбГУ ИТМО сдала 8 задач (A,B,E,F,G,I,J,K) и стала чемпионом мира 2008 года. Команды MIT, ИжГТУ, Львовского НУ, МГУ, Stanford U, Tsinghua U, U of Zagreb, Waterloo U - 7 задач. Возможно, этот список неполон. Среди команд, решивших по 6 задач - СПбГУ, ПетрГУ, БГУ, МФТИ, Орловский ГТУ, Ставропольский ГУ, Warsaw U. У команд НГУ и УрГУ 5 задач, у команды Алтайского ГТУ 4 задачи.

Предварительный подсчёт даёт следующее распределение медалей. Золото - у СПбГУ ИТМО, и скорее всего - у МИТ, Ижевского ГТУ и Львовского НУ. Серебро - у МГУ и скорее всего, у Stanford U, Tsinghua U, U of Zagreb. Распределение бронзовых медалей зависит от "скрытых семёрок". По 6 задачам лучшее время у команды ПетрГУ, за ними следует команда СПбГУ. В случае, если приведённый список команд, решивших 7 задач, полный, бронзовые медали получит ещё одна команда, решившая 6 задач.

08.04.2008

У старшего преподавателя кафедры КТ Андрея Станкевича восьмой рейтинг в мире по спортивному программированию, у студента группы 4539 Михаила Дворкина - 27, у студента группы 6539 Павла Маврина - 37-ой. Первое место из 7238 участников, имеющих мировой рейтинг, с большим отрывом занимает другой российский программист - Петр Митричев, который в прошлом году закончил МГУ. http://www.topcoder.com/tc?module=AlgoRank

08.04.2008

Гуров В.С., Мазин М.А., Шалыто А.А. Текстовый язык автоматного программирования //Научно-технический вестник. Вып. 42. Фундаментальные и прикладные исследования информационных систем и технологий. СПбГУ ИТМО. 2007, с. 29-32

08.04.2008

Терехов А. Российская индустрия программирования

08.04.2008

Верификация моделей как основа новых методологий разработки ПО, способных гарантировать работу программ в точном соответствии с требованиями к ним

08.04.2008

Microsoft избавит программирование от написания кода

03.04.2008

Поздравляем студента группы 4539 Анатолия Никитина и возглавляемую им команду с победой в полуфинале (Северо-Западный Федеральный округ) ежегодного технологического конкурса "Кубок Технологий" ("Imagine Cup"), проводимого корпорацией Microsoft http://corp.cnews.ru/news/line/index.shtml?2008/03/18/292536

Тема работы: "Система поддержки принятия решений при борьбе с лесными пожарами "Арина" http://qd.ifmo.ru/view/projects?page=1

01.04.2008

Свидетельство о государственной регистрации программы для ЭВМ "Транслятор автоматной Unimod-модели во входной язык верификатора Spin"

01.04.2008

Свидетельство о государственной регистрации программы для ЭВМ "Расширение верификатора Bagor для верификации автоматных Unimod-моделей"

01.04.2008

Technology of Automata-based programming

01.04.2008

Попали в библиографию Вольфрама

01.04.2008

22 результата по Switch-технологии

23.03.2008

Microsoft и автоматы

22.03.2008

Нашествие безграмотности

22.03.2008

Когда у наших студентов есть потребность души, то они могут писать и такое! Статья признана хорошей! http://ru.wikipedia.org/wiki/Manowar

А на все связанное с программированием, особенно автоматным, надо загонять силой!

19.03.2008

Не всем нравится как люди программируют сегодня

19.03.2008

Программная инженерия в Высшей школе экономики

19.03.2008

Дети могут успешно руководить ИТ-компаниями

17.03.2008

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

17.03.2008

Решетников О.Е. Инструментальное средство для визуального проектирования автоматных программ на основе Microsoft Domain-Specific Language Tools

16.03.2008

Конечные автоматы в JavaScript. Часть 3: Тестируем виджет (исходники)

14.03.2008

Пишем!

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




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