ЗМIСТ

Титульная страница и содержание

Летичевский А.Ад.
Инсерционное моделирование

Губа А.А., Шушпанов К.И.
Инсерционная семантика плоских многопотоковых моделей языка UCM

Годлевский А.Б.
Инсерционная семантика параллельных процедурных конструктов языка UCM

Мищенко Н.М., Фелижанко О.Д., Щёголева Н.Н.
Универсальная система программ обработки тематических текстов

Колчин А.В., Котляров В.П., Дробинцев П.Д.
Метод генерации тестовых сценариев в среде инсерционного моделирования

Потиенко С.В.
Организация базы знаний о переходах системы с атрибутами перечислимых типов

Кожаев В.В.
Инсерционное моделирование сценариев ролевых игр

Никитченко Н.С., Тимофеев В.Г.
О применении композиционно-номинативных логик в инсерционном моделировании

Летичевский А.А. (мл.), Мороховец М.К., Песчаненко В.С.
Система доказательного программирования

Галковская Л.А., Глибовец Н.Н., Гороховский С.С.
Гибридный алгоритм решения задачи удовлетворения ограничений

Коломейко В.В.
Методологические аспекты обеспечения эффективного взаимодействия программных средств и специалистов в многоуровневых человеко-машинных системах

*******
Наши авторы
Систематический указатель статей, опубликованных в 2012 году
Алфавитный именной указатель за 2012 год