Теория объектно-событийных моделей. Индукция, моделирование и синтез последовательных и параллельных программ

Группа	Научная литература
Название на русском языке	Теория объектно-событийных моделей. Индукция, моделирование и синтез последовательных и параллельных программ
Авторы на русском языке	Пекунов В.В.
Название на английском языке	Theory of Object-Event Models. An Induction, Modelling and Synthesis of Sequential and Parallel Programs
Авторы на английском языке	Pekunov V.V.

Резюме

Монография содержит введение, четыре главы и заключение. В первой главе формулируется аксиоматическая теория объектно-событийных моделей (даны основные леммы, утверждения, теоремы и выводы). Во второй главе обсуждаются практические вопросы прямого применения объектно-событийных моделей (в виде процедур с планированием повторного входа) в программирования последовательных и параллельных алгоритмов. В третьей главе обсуждаются вопросы прямого генеративного и решающего дедуктивного порождения программ, приведены полезные практические примеры его применения для автоматизации программирования. В четвертой главе рассматривается индукция программ в метаслое, а также вопросы построения моделей данных и временных характеристик программы в ходе ее исполнения.

Издание "Теория объектно-событийных моделей. Индукция, моделирование и синтез последовательных и параллельных программ" (Пекунов В.В.) отмечено наградой
МЕДАЛЬ «ЗА ВЕРНОСТЬ ТРАДИЦИЯМ ОТЕЧЕСТВЕННОГО ОБРАЗОВАНИЯ» С УДОСТОВЕРЕНИЕМ

Оформление наградных документов и заказ каталога