ЗМІСТ

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

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

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

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

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

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

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

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

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