ЗМІСТ

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

Wolfgang Goerigk, Hans Langmaack
Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation

Нікітченко М.С., Шкільняк С.С.
Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення

Грищенко В.Н.
Формальные модели компонентного программирования

ФОРМАЛЬНЫЕ МЕТОДЫ ПРОГРАММИРОВАНИЯ

Чеботарев А.Н.
Синтез автомата, специфицированного множеством дизъюнктов

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

Задорожна Н.Т., Валь К.Л.
Концепція керiваного проектування інформаційних систем управлінської діяльності