Другие журналы

научное издание МГТУ им. Н.Э. Баумана

НАУКА и ОБРАЗОВАНИЕ

Издатель ФГБОУ ВПО "МГТУ им. Н.Э. Баумана". Эл № ФС 77 - 48211.  ISSN 1994-0408

VI Международная конференция «Перспективы систем информатики». Новосибирск, Академгородок

Дата проведения: 27.06.06 - 30.06.06

Тематика конференции включает сл

    Тематика конференции включает следующие разделы:

    

Основания анализа и разработки программ и систем:

  • методы спецификации, валидации и верификации;

  • анализ, синтез и преобразования программ;

  • семантика, логика и формальные модели программ;

  • частичное выполнение, смешанные вычисления, абстрактная интерпретация, разработка компиляторов;

  • доказательство теорем и проверка моделей;

  • теория параллелизма;

  • моделирование и анализ систем реального времени и гибридных систем;

  • модели и алгоритмы биоинформатики.

        Методология и технология программирования:

  • объектно-ориентированное, компонентное и родовое программирование;

  • программирование по контракту;

  • создание систем и программ для параллельных и распределенных вычислений;

  • программирование в ограничениях;

  • мультиагентные технологии;

  • перепрограммирование и переиспользование систем;

  • интегрированные программные обстановки;

  • архитектура программного обеспечения;

  • разработка и тестирование программ;

  • модельно-управляемая разработка систем и программ;

  • «быстрая» разработка программного обеспечения;

  • инструментарий технологии программирования;

  • понимание и визуализация программ.

    Информационные технологии:

  • модели данных, базы данных и информационные системы;

  • базы знаний и конструирование знаний;

  • онтологии и семантический web;

  • электронные библиотеки, собрания и архивы, web-публикации;

  • управление равноправными данными.

Официальный сайт конференции: http://www.iis.nsk.su/psi06/index_r.shtml

 

 
ПОИСК
 
elibrary crossref ulrichsweb neicon rusycon
 
ЮБИЛЕИ
ФОТОРЕПОРТАЖИ
 
СОБЫТИЯ
 
НОВОСТНАЯ ЛЕНТА



Авторы
Пресс-релизы
Библиотека
Конференции
Выставки
О проекте
Rambler's Top100
Телефон: +7 (915) 336-07-65 (строго: среда; пятница c 11-00 до 17-00)
  RSS
© 2003-2019 «Наука и образование»
Перепечатка материалов журнала без согласования с редакцией запрещена
 Тел.: +7 (915) 336-07-65 (строго: среда; пятница c 11-00 до 17-00)