|
|
2010, том 20, выпуск 3
|
 |
|
 |
 Дополнительная информация о выпуске
|
Предисловие
|
3 |
|
|
Транслятор табличных представлений автоматов Мили в программы на языке SMV для автоматизации верификации проектов вычислительных устройств на основе Проверки Моделей
С. Л. Френкель, А. Л. Курц, Д. Л. Либуркин, H. A. Фандюшина, Б. Н. Андерс
|
4–16 |
|
|
Использование спецификации «Hypervisor Functional Specification» при разработке виртуальных машин и управлении их работой
В. Ю. Егоров, Е. А. Матвеев
|
17–44 |
|
|
Сигнальный механизм языка Cell
Т. В. Бондаренко, О. А. Бондаренко, К. И. Волович, В. А. Кондрашев
|
45–66 |
|
|
Язык Cell: модель обработки клонов
Т. В. Бондаренко, О. А. Бондаренко, К. И. Волович, В. А. Кондрашев
|
67–81 |
|
|
Базовая модель функционирования автомата в системе программирования Cell
Т. В. Бондаренко, О. А. Бондаренко, К. И. Волович, В. А. Кондрашев
|
82–97 |
|
|
Некоторые общие подходы к формированию функциональных требований к ситуационным центрам и их реализации
А. В. Босов, А. А. Зацаринный, А. П. Сучков
|
98–125 |
|
|
Об одном подходе к обоснованию требований к компонентам оборудования ситуационного центра
А. А. Зацаринный, К. Г. Чупраков
|
126–156 |
|
|
Методический подход к обоснованию требований к надежности информационно-телекоммуникационных сетей
А. А. Зацаринный, А. И. Гаранин, Ю. С. Ионенков
|
157–173 |
|
|
Стенд главного конструктора — организационно-техническая основа разработки крупно-масштабных информационно-телекоммуникационных систем
А. А. Зацаринный, А. И. Гаранин, С. В. Козлов
|
174–190 |
|
|
Обратная связь: