Системы и средства информатики. Спец. вып. Формальные методы и модели в композиционных инфраструктурах распределенных информационных системжурнал

Статьи, опубликованные в журнале

---

• • 2005 Reversive ontological modeling for subject mediator
  • Kalinichenko L.A., Skvortsov N.A.
  • в журнале Системы и средства информатики. Спец. вып. Формальные методы и модели в композиционных инфраструктурах распределенных информационных систем, с. 183-211
• • 2005 Synthesis of canonical models providing for heterogeneous information sources interoperability
  • Kalinichenko L.A.
  • в журнале Системы и средства информатики. Спец. вып. Формальные методы и модели в композиционных инфраструктурах распределенных информационных систем, с. 11-39
• • 2005 Автоматизация верификации уточнения при композиционном пректировании информационных систем и посредников
  • Ступников С.А.
  • в журнале Системы и средства информатики. Спец. вып. Формальные методы и модели в композиционных инфраструктурах распределенных информационных систем, с. 96-119
• • 2005 Отображение спецификаций, выраженных средствами ядра канонической модели, в язык AMN
  • Ступников С.А.
  • в журнале Системы и средства информатики. Спец. вып. Формальные методы и модели в композиционных инфраструктурах распределенных информационных систем, с. 69-95
• • 2005 Переписывание запросов на основе взглядов в типизированной среде посредников
  • Калиниченко Л.А., Мартынов Д.О., Ступников С.А.
  • в журнале Системы и средства информатики. Спец. вып. Формальные методы и модели в композиционных инфраструктурах распределенных информационных систем, с. 152-183
• • 2005 Представление UML и OCL в канонической информационной модели
  • Ступников С.А., Брюхов Д.О.
  • в журнале Системы и средства информатики. Спец. вып. Формальные методы и модели в композиционных инфраструктурах распределенных информационных систем, с. 120-129
• • 2005 Формальная семантика ядра канонической объектной информационной модели
  • Ступников С.А.
  • в журнале Системы и средства информатики. Спец. вып. Формальные методы и модели в композиционных инфраструктурах распределенных информационных систем, с. 40-68