Содержание, №6 (242), 2012
- Титул, cодержание. C. 1-2.
Теоретические основы инсерционного моделирования
- Летичевский А.Ад. Инсерционное моделирование. C. 3-14.
Семантика формальных и естественных языков
- Губа А.А., Шушпанов К.И. Инсерционная семантика плоских многопотоковых моделей языка UCM. C. 15-21, 34.
- Годлевский А.Б. Инсерционная семантика параллельных процедурных конструктов языка UCM. C. 22-34.
- Мищенко Н.М., Фелижанко О.Д., Щеголева Н.Н. Универсальная система программ обработки тематических текстов. C. 35-42.
Технические приложения инсерционного моделирования
- Колчин А.В., Котляров В.П., Дробинцев П.Д. Метод генерации тестовых сценариев в среде инсерционного моделирования. C. 43-48, 63.
- Потиенко С.В. Организация базы знаний о переходах системы с атрибутами перечислимых типов. C. 49-52.
- Кожаев В.В. Инсерционное моделирование сценариев ролевых игр. C. 53-56.
Дедуктивные методы
- Никитченко Н.С., Тимофеев В.Г. О применении композиционно-номинативных логик в инсерционном моделировании. C. 57-63.
- Летичевский А.А., Мороховец М.К., Песчаненко В.С. Система доказательного программирования. C. 64-71.
Информационные технологии
- Галковская Л.А., Глибовец Н.Н., Гороховский С.С. Гибридный алгоритм решения задачи удовлетворения ограничений. C. 72-80, 88.
- Коломейко В. В. Методологические аспекты обеспечения эффективного взаимодействия программных средств и специалистов в многоуровневых человеко-машинных системах. C. 81-88.
Наши авторы. C. 89.
Систематический указатель статей, опубликованных в 2012 году. C. 90-92.
