Зміст, №6 (242), 2012
- Тітул, зміст. 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.
