ЗМІСТ

Титульні сторінки та зміст

ТЕОРЕТИЧНІ ТА МЕТОДОЛОГІЧНІ ОСНОВИ ПРОГРАМУВАННЯ

Шкільняк О.С.
Побудова секвенційних числень мультимодальних композиційно-номінативних логік

ФОРМАЛЬНІ МЕТОДИ РОЗРОБКИ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

Peschanenko V.
Partial evaluation in insertion modeling system

ЕКСПЕРТНІ ТА ІНТЕЛЕКТУАЛЬНІ ІНФОРМАЦІЙНІ СИСТЕМИ

Алексеєв В.А., Терещенко В.С.
Рольова функціональність суб'єктів експертизи програмного забезпечення інформаційно-телекомунікаційних систем

Глибовец А.Н., Глибовец Н.Н., Покопцев Д.Е., Сидоренко М.О.
Cемантическая паутина и Wiki-системы

Ильина Е.П., Синицын И.П., Слабоспицкая О.А., Яблокова Т.Л.
Интеллектуальная информационная технология экспертно-аналитической поддержки организационных решений

Провотар О.І., Заміховський А.А., Галкін О.В., Верес М.М., Катеринич Л.О.
Реалізація концепції адаптивного мовлення та системи автоматичної підготовки контенту

ПРОГРАМНІ СИСТЕМИ ЗАХИСТУ ІНФОРМАЦІЇ

Колтик М.А.
Методы и способы реализации автоматизированной поддержки проведения испытаний компьютерной системы защиты информации (КСЗИ)

ПРИКЛАДНІ ЗАСОБИ ПРОГРАМУВАННЯ ТА ПРОГРАМНЕ ЗАБЕЗПЕЧЕННЯ

Григорян Р.Д., Аксенова Т.В., Маркевич Р.А., Дериев И.И.
Программный симулятор поджелудочной железы

Оконський І.В., Дорошенко А.Ю., Жереб К.А.
Інструментальні засоби моделювання гетерогенних середовищ заснованих на відеографічних прискорювачах

Панченко Б.Е.
Высокоточное параллельное решение задачи о дифракции волн сдвига на системе упругих включений в полупространстве с защемленной границей