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

электронный журнал

МОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК

Издатель Академия инженерных наук им. А.М. Прохорова. Эл No. ФС77-51038. ISSN 2307-0609

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

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

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

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

    

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 

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



Авторы
Пресс-релизы
Библиотека
Конференции
Выставки
О проекте
Rambler's Top100
Телефон: +7 (499) 263-61-98
  RSS
© 2003-2023 «Молодежный научно-технический вестник» Тел.: +7 (499) 263-61-98