Control systems & computers. 2012 (6) АРХІВ (Всі випуски)
| Control systems & computers 2012. Вип. 6 |
- Титул, cодержание.
- Летичевский А. Ад. Инсерционное моделирование. - 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.
- Алфавитный именной указатель за 2012 год. - C. 93.
|
|