ЗМІСТ

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

Дорошенко А.Е., Цейтлин Г.Е.
Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью

Парасюк И.Н., Провотар А.И., Кондратенко В.А.
Аксиоматические модели и методы проектирования языковых трансляторов

Нікітченко М.С., Шкільняк С.С.
Композиційні логіки номінативних даних

Крывый С.Л., Невмержицкий А.В.
О несовместности одного вида нелинейных уравнений в множестве натуральных чисел

ПАРАЛЛЕЛЬНОЕ ПРОГРАММИРОВАНИЕ

Dimov I., Farago I., Zlatev Z.
Parallel Computations with Large-scale Air Pollution Models

ДИДАКТИЧЕСКИЕ АСПЕКТЫ ПРОГРАММИРОВАНИЯ

Baіa J., Koreko І., Poruban J., Vіclavk P.
Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits

МЕТОДЫ И СРЕДСТВА ПРОГРАММНОЙ ИНЖЕНЕРИИ

Ігнатенко П.П., Бистров В.М., Ігнатенко О.П., Ткаченко В.М.
Задачі та засоби моделювання й оцінювання життєздатних програмних систем

МОДЕЛИ И СРЕДСТВА ИНЖЕНЕРИИ БАЗ ДАННЫХ И ЗНАНИЙ

Алексєєв В.А., Ільїн С.А., Мягкова Л.А., Терещенко В.С.
Організація схем взаємодії відомчих інформаційних систем в інтегрованій міжвідомчій інформаційній системі