Дорошенко А. Ю. Алгеброалгоритмічні основи програмування. Об'єктна орієнтованість та паралелізм : Навч. посіб. / А. Ю. Дорошенко, Г. С. Фінін, Г. О. Цейтлін; НАН України. Ін-т програм. систем. - К. : Наук. думка, 2004. - 457 c. - Бібліогр.: с. 445-457. - укp.Викладено теоретичні засади алгоритміки - сучасного напряму досліджень високорівневих моделей алгоритмів і програм, розроблених на основі використання алгебричних методів. Розкрито зміст теоретичних понять та розглянуто основні положення теорії клонів і алгебри алгоритміки. Наведено моделі та парадигми паралельних обчислень та алгеброалгоритмічні засоби проектування та синтезу в об'єктно-орієнтованих середовищах, а також методи конструювання синтаксично-правильних паралельних алгоритмів і програм. Показано можливості використання алгебр алгоритмів та їх семантичних моделей для опису синхронних та асинхронних паралельних обчислень зі спільною та розподіленою пам'яттю. Викладено алгоритмічні засоби формалізації об'єктно-орієнтованих обчислень, моделі та методи для формалізованого проектування та розробки паралельних і об'єктно-орієнтованих програм. Наведено опис алгоритмічного апарату, на базі якого розроблено практичні інформаційні технології та відповідні інструментальні системи відкритого типу. Освещены теоретические основы алгоритмики - современного направления исследований высокоуровневых моделей алгоритмов и программ, разработанных на базе использования алгебраических методов. Раскрыто содержание теоретических понятий и рассмотрены основные положения теории клонов и алгебры алгоритмики. Приведены модели и парадигмы паралельных исчислений и алгеброалгоритмические средства проектирования и синтеза в объектно-ориентированных средах. Предствалены методы конструирования синтаксически-правильных параллельных алгоритмов и программ. Показаны возможности использования алгебр алгоритмов и их семантических моделей для описания синхронных и асинхронных параллельных исчислений с общей и распределенной памятью. Описаны алгоритмические средства формализации объектно-ориентированных исчислений, а также модели и методы формализованного проектирования и разработки параллельных и объектно-ориентированных программ. Рассмотрен алгоритмический аппарат, на основе которого разработаны практические информационные технологии и соответствующие инструментальные системы открытого типа. Індекс рубрикатора НБУВ: З973-018 я73
Рубрики:
Шифр НБУВ: ВА664439 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|