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

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

Оглавление

С.Л. Френкель, А.Л. Курц, Д.Л. Либуркин, Н.А. Фандюшина, Б.Н. Андерс ТРАНСЛЯТОР ТАБЛИЧНЫХ ПРЕДСТАВЛЕНИЙ АВТОМАТОВ МИЛИ В ПРОГРАММЫ НА ЯЗЫКЕ SMV ДЛЯ АВТОМАТИЗАЦИИ ВЕРИФИКАЦИИ ПРОЕКТОВ ВЫЧИСЛИТЕЛЬНЫХ УСТРОЙСТВ НА ОСНОВЕ ПРОВЕРКИ МОДЕЛЕЙ.

В.Ю. Егоров, Е.А. Матвеев ИСПОЛЬЗОВАНИЕ СПЕЦИФИКАЦИИ «HYPERVISOR FUNCTIONAL SPECIFICATION» ПРИ РАЗРАБОТКЕ ВИРТУАЛЬНЫХ МАШИН И УПРАВЛЕНИИ ИХ РАБОТОЙ.

Т.В. Бондаренко, О.А. Бондаренко, К.И. Волович, В.А. Кондрашев СИГНАЛЬНЫЙ МЕХАНИЗМ ЯЗЫКА CELL.

Т.В. Бондаренко, О.А. Бондаренко, К.И.Волович, В.А Кондрашев. ЯЗЫК CELL: МОДЕЛЬ ОБРАБОТКИ КЛОНОВ

Т.В. Бондаренко, О.А. Бондаренко, К.И. Волович, В.А. Кондрашев БАЗОВАЯ МОДЕЛЬ ФУНКЦИОНИРОВАНИЯ АВТОМАТАВ СИСТЕМЕ ПРОГРАММИРОВАНИЯ CELL.

А.В. Босов, А.А. Зацаринный, А.П. Сучков НЕКОТОРЫЕ ОБЩИЕ ПОДХОДЫ К ФОРМИРОВАНИЮ ФУНКЦИОНАЛЬНЫХ ТРЕБОВАНИЙ К СИТУАЦИОННЫМ ЦЕНТРАМ И ИХ РЕАЛИЗАЦИИ.

А.А. Зацаринный, К.Г. Чупраков ОБ ОДНОМ ПОДХОДЕ К ОБОСНОВАНИЮ ТРЕБОВАНИЙ К КОМПОНЕНТАМ ОБОРУДОВАНИЯ СИТУАЦИОННОГО ЦЕНТРА.

А.А. Зацаринный, А.И. Гаранин, Ю.С. Ионенков МЕТОДИЧЕСКИЙ ПОДХОД К ОБОСНОВАНИЮ ТРЕБОВАНИЙ К НАДЁЖНОСТИ ИНФОРМАЦИОННО- ТЕЛЕКОММУНИКАЦИОННЫХ СЕТЕЙ.

А.А.Зацаринный, А.И.Гаранин, С.В.Козлов СТЕНД ГЛАВНОГО КОНСТРУКТОРА – ОРГАНИЗАЦИОННО-ТЕХНИЧЕСКАЯ ОСНОВА РАЗРАБОТКИ КРУПНОМАСШТАБНЫХ ИНФОРМАЦИОННО- ТЕЛЕКОММУНИКАЦИОННЫХ СИСТЕМ.