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

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



«Системы и средства информатики»
Выпуск 20, № 3, Москва, ИПИ РАН, 2010 г.

Аннотации на русском языке | Аннотации на английском языке

Оглавление

  • С.Л. Френкель, А.Л. Курц, Д.Л. Либуркин, Н.А. Фандюшина, Б.Н. Андерс
    ТРАНСЛЯТОР ТАБЛИЧНЫХ ПРЕДСТАВЛЕНИЙ АВТОМАТОВ МИЛИ В ПРОГРАММЫ НА ЯЗЫКЕ SMV ДЛЯ АВТОМАТИЗАЦИИ ВЕРИФИКАЦИИ ПРОЕКТОВ ВЫЧИСЛИТЕЛЬНЫХ УСТРОЙСТВ НА ОСНОВЕ ПРОВЕРКИ МОДЕЛЕЙ.
  • В.Ю. Егоров, Е.А. Матвеев
    ИСПОЛЬЗОВАНИЕ СПЕЦИФИКАЦИИ «HYPERVISOR FUNCTIONAL SPECIFICATION» ПРИ РАЗРАБОТКЕ ВИРТУАЛЬНЫХ МАШИН И УПРАВЛЕНИИ ИХ РАБОТОЙ.
  • Т.В. Бондаренко, О.А. Бондаренко, К.И. Волович, В.А. Кондрашев
    СИГНАЛЬНЫЙ МЕХАНИЗМ ЯЗЫКА CELL.
  • Т.В. Бондаренко, О.А. Бондаренко, К.И.Волович, В.А Кондрашев.
    ЯЗЫК CELL: МОДЕЛЬ ОБРАБОТКИ КЛОНОВ
  • Т.В. Бондаренко, О.А. Бондаренко, К.И. Волович, В.А. Кондрашев
    БАЗОВАЯ МОДЕЛЬ ФУНКЦИОНИРОВАНИЯ АВТОМАТАВ СИСТЕМЕ ПРОГРАММИРОВАНИЯ CELL.
  • А.В. Босов, А.А. Зацаринный, А.П. Сучков
    НЕКОТОРЫЕ ОБЩИЕ ПОДХОДЫ К ФОРМИРОВАНИЮ ФУНКЦИОНАЛЬНЫХ ТРЕБОВАНИЙ К СИТУАЦИОННЫМ ЦЕНТРАМ И ИХ РЕАЛИЗАЦИИ.
  • А.А. Зацаринный, К.Г. Чупраков
    ОБ ОДНОМ ПОДХОДЕ К ОБОСНОВАНИЮ ТРЕБОВАНИЙ К КОМПОНЕНТАМ ОБОРУДОВАНИЯ СИТУАЦИОННОГО ЦЕНТРА.
  • А.А. Зацаринный, А.И. Гаранин, Ю.С. Ионенков
    МЕТОДИЧЕСКИЙ ПОДХОД К ОБОСНОВАНИЮ ТРЕБОВАНИЙ К НАДЁЖНОСТИ ИНФОРМАЦИОННО- ТЕЛЕКОММУНИКАЦИОННЫХ СЕТЕЙ.
  • А.А.Зацаринный, А.И.Гаранин, С.В.Козлов
    СТЕНД ГЛАВНОГО КОНСТРУКТОРА – ОРГАНИЗАЦИОННО-ТЕХНИЧЕСКАЯ ОСНОВА РАЗРАБОТКИ КРУПНОМАСШТАБНЫХ ИНФОРМАЦИОННО- ТЕЛЕКОММУНИКАЦИОННЫХ СИСТЕМ.