ЗМІСТ

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

Акуловский В.Г.
Некоторые аспекты формализации данных и декомпозиция Д-операторов

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

МОДЕЛІ ТА ЗАСОБИ ПАРАЛЕЛЬНИХ І РОЗПОДІЛЕНИХ ПРОГРАМ

Мохница А.С., Иовчев В.А., Андрющенко Е.А.
Особенности реализации средств трансформационного синтеза параллельных алгоритмов

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

Коваль Г.І.
Підхід до моделювання якості сімейств програмних систем

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

Дерецкий В.А., Богданова М.М., Горошанський С.И.
Подход к разработке программных приложений с использованием семантических Веб–сервисов

Глинчук Л.Я.
Оцінка ефективності алгоритмів криптографічного стиснення побудованих на основі дерева Штерна-Броко

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

Ігнатенко О.П., Цицкун Д.В.
Середовище імітаційного моделювання конфліктних процесів у комп’ютерних мережах

Прохоров В.Г.
Анализ параметров как средство повышения эффективности обучения нейронных сетей