ЗМIСТ

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

ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ИНСЕРЦИОННОГО МОДЕЛИРОВАНИЯ

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

СЕМАНТИКА ФОРМАЛЬНЫХ И ЕСТЕСТВЕННЫХ ЯЗЫКОВ

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

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

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

ТЕХНИЧЕСКИЕ ПРИЛОЖЕНИЯ ИНСЕРЦИОННОГО МОДЕЛИРОВАНИЯ

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

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

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

ДЕДУКТИВНЫЕ МЕТОДЫ

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

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

ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ

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

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

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