Институт проблем информатики Российской Академии наук
Институт проблем информатики Российской Академии наук
Российская Академия наук

Институт проблем информатики Российской Академии наук



«Системы и средства информатики»
Москва, ИПИ РАН, 2005 г.

Специальный выпуск: «ФОРМАЛЬНЫЕ МЕТОДЫ И МОДЕЛИ В КОМПОЗИЦИОННЫХ ИНФРАСТРУКТУРАХ РАСПРЕДЕЛЁННЫХ ИНФОРМАЦИОННЫХ СИСТЕМ»

  • Калиниченко Л. А.
    Синтез канонических моделей, предназначенных для достижения семантической интероперабельности неоднородных источников информации.
  • Ступников С. А.
    Формальная семантика ядра канонической объектной информационной модели.
  • Ступников С. А.
    Отображение спецификаций, выраженных средствами ядра канонической модели, в язык AMN.
  • Ступников С. А.
    Автоматизация верификации уточнения при композиционном проектировании информационных систем и посредников .
  • Ступников С. А., Брюхов Д. О.
    Представление языков UML и ОЗД в канонической информационной модели.
  • Калиниченко Л.А., Ступников С.А., Земцов Н.А.
    Каноническая модель процессов и её формальная интерпретация.
  • Калиниченко Л. А., Мартынов Д. О., Ступников С. А.
    Переписывание запросов на основе взглядов в типизированной среде посредников.
  • Калиниченко Л.А., Скворцов Я.А
    Реверсивное онтологическое моделирование при унифицированном представлении различных онтологических моделей источников информации в предметном посреднике.
  • Bernadskiy М. P
    robabilistic model checking.
  • Fomenko F.
    Basic dual-context calculus of terms with restricted substitution and recursion.
  • Zadorozhny V.I., Sharma D., Chrysanthis P.K., Labrinidis A.
    Data Transmission Algebra for Collision-Aware Scheduling in Sensor Networks.