Алгебраическое проектирование программ: алгоритмы, объекты, инструменты
Освещены современные исследования средств проектирования алгоритмов и программ. Известный тезис Вирта: "алгоритмы + структуры данных = программы" распространен на современные исследования по методологии и технологии программирования. При этом особое внимание уделено тем из них, которые соп...
Saved in:
| Date: | 2007 |
|---|---|
| Main Authors: | Дорошенко, А.Е., Захария, Л.М., Цейтлин, Г.Е. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2007
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/284 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Алгебраическое проектирование программ: алгоритмы, объекты, инструменты / А.Е. Дорошенко, Л.М. Захария, Г.Е. Цейтлин // Пробл. програмув. — 2007. — N 2. — C. 5-14. — Библиогр.: 20 назв. — рус. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Алгеброалгоритмические аспекты полноты: абстракции, биология и экология
by: Цейтлин, Г.Е., et al.
Published: (2008)
by: Цейтлин, Г.Е., et al.
Published: (2008)
О построении клонов алгебр функциональных n-отношенеий
by: Захария, Л.М., et al.
Published: (2006)
by: Захария, Л.М., et al.
Published: (2006)
Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании
by: Львов, М.С.
Published: (2015)
by: Львов, М.С.
Published: (2015)
Формализованное проектирование эффективных многопоточных программ
by: Дорошенко, А.Е., et al.
Published: (2007)
by: Дорошенко, А.Е., et al.
Published: (2007)
n- исчисление – реалистичная формализация класса переписывающих систем
by: Шевченко, Р.С., et al.
Published: (2011)
by: Шевченко, Р.С., et al.
Published: (2011)
Состав и свойства данных, специфицируемых в композиционных схемах алгоритмов
by: Акуловский, В.Г., et al.
Published: (2013)
by: Акуловский, В.Г., et al.
Published: (2013)
Описание параллелизма в алгоритмах информационно-управляющих систем средствами алгебраического аппарата
by: Акуловский, В.Г., et al.
Published: (2013)
by: Акуловский, В.Г., et al.
Published: (2013)
Алгебра алгоритмов с данными и прогнозирование вычислительного процесса
by: Дорошенко, А.Е., et al.
Published: (2011)
by: Дорошенко, А.Е., et al.
Published: (2011)
О методе проектирования абстрактного типа данных в алгебре алгоритмики
by: Дорошенко, А.Е., et al.
Published: (2012)
by: Дорошенко, А.Е., et al.
Published: (2012)
Согласованное описание алгоритмов в рамках алгебраического аппарата
by: Акуловский, В.Г., et al.
Published: (2014)
by: Акуловский, В.Г., et al.
Published: (2014)
Полнота алгебры алгоритмов с данными
by: Акуловский, В.Г., et al.
Published: (2016)
by: Акуловский, В.Г., et al.
Published: (2016)
Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення
by: Шкільняк, О.С., et al.
Published: (2017)
by: Шкільняк, О.С., et al.
Published: (2017)
Загальнозначні теоретико-множинні конструкції повного образу, обмеження, сумісності: властивості та застосування
by: Буй, Д.Б., et al.
Published: (2010)
by: Буй, Д.Б., et al.
Published: (2010)
Двохкомпонентні алгоритми сортування
by: Шинкаренко, В.І., et al.
Published: (2022)
by: Шинкаренко, В.І., et al.
Published: (2022)
Проблема интероперабельности разнородных объектов, компонентов и систем. Подходы к ее решению
by: Лаврищева, Е.М.
Published: (2010)
by: Лаврищева, Е.М.
Published: (2010)
Функции и методы поддержки современных парадигм метода дельфи
by: Ильина, Е.П.
Published: (2009)
by: Ильина, Е.П.
Published: (2009)
О структурних элементах компонентной сети Петри
by: Лукьянова, Е.А.
Published: (2012)
by: Лукьянова, Е.А.
Published: (2012)
Объектно-компонентная разработка изменяемых программных систем
by: Лаврищева, Е.М., et al.
Published: (2016)
by: Лаврищева, Е.М., et al.
Published: (2016)
Конструктивно-продукционная модель графового представления текста
by: Шинкаренко, В.И., et al.
Published: (2016)
by: Шинкаренко, В.И., et al.
Published: (2016)
Керування синтезом нейронних мереж
by: Катеринич, Л.А.
Published: (2009)
by: Катеринич, Л.А.
Published: (2009)
Синтез многоуровневых структур со многими выходами
by: Опанасенко, В.Н., et al.
Published: (2016)
by: Опанасенко, В.Н., et al.
Published: (2016)
Концептуальні моделі розподілених компонентних систем
by: Лавріщева, К.М., et al.
Published: (2013)
by: Лавріщева, К.М., et al.
Published: (2013)
Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
by: Крывый, С.Л., et al.
Published: (2008)
by: Крывый, С.Л., et al.
Published: (2008)
Формалізований метод проектування застосувань в технології GPGPU
by: Кривий, С.Л., et al.
Published: (2018)
by: Кривий, С.Л., et al.
Published: (2018)
Структурний підхід до проблеми відтворення граматик
by: Ільман, В.М., et al.
Published: (2007)
by: Ільман, В.М., et al.
Published: (2007)
Інтенсіонально-орієнтований підхід до побудови логічних систем
by: Нікітченко, М.С., et al.
Published: (2007)
by: Нікітченко, М.С., et al.
Published: (2007)
Расширенная алгебра алгоритмов
by: Акуловский, В.Г.
Published: (2007)
by: Акуловский, В.Г.
Published: (2007)
Відношення логічного наслідку в логіках часткових предикатів з композицією предикатного доповнення
by: Шкільняк, О.С.
Published: (2019)
by: Шкільняк, О.С.
Published: (2019)
Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності
by: Шкільняк, C.С.
Published: (2019)
by: Шкільняк, C.С.
Published: (2019)
NP-трудность задач оптимизации коллективного преследования
by: Пашко, С.В.
Published: (2014)
by: Пашко, С.В.
Published: (2014)
Описание списков и множеств в метаязыке нормальных форм знаний
by: Кургаев, А.Ф.
Published: (2020)
by: Кургаев, А.Ф.
Published: (2020)
Дефинитологические основания сущностной платформы
by: Редько, В.Н., et al.
Published: (2012)
by: Редько, В.Н., et al.
Published: (2012)
Композиційно-номінативні логіки з непрямим іменуванням
by: Россада, Т.В., et al.
Published: (2012)
by: Россада, Т.В., et al.
Published: (2012)
Компонентне програмування. Теорія і реалізація
by: Лавріщева, К.М.
Published: (2012)
by: Лавріщева, К.М.
Published: (2012)
Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python
by: Новокшонов, А.К.
Published: (2016)
by: Новокшонов, А.К.
Published: (2016)
Генерувальне програмування програмних систем і їх сімейств
by: Лавріщева, К.М.
Published: (2009)
by: Лавріщева, К.М.
Published: (2009)
К-значная логика в расширенной алгебре алгоритмов
by: Акуловский, В.Г.
Published: (2008)
by: Акуловский, В.Г.
Published: (2008)
DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 1
by: Колесник, В.Г.
Published: (2015)
by: Колесник, В.Г.
Published: (2015)
Аналіз систем нечіткої логіки для апроксимації нечітких функцій
by: Щегельський, Т.С., et al.
Published: (2012)
by: Щегельський, Т.С., et al.
Published: (2012)
Концепція індустрії наукового софтвера і підхід до обчислення наукових задач
by: Лавріщева, К.М.
Published: (2011)
by: Лавріщева, К.М.
Published: (2011)
Similar Items
-
Алгеброалгоритмические аспекты полноты: абстракции, биология и экология
by: Цейтлин, Г.Е., et al.
Published: (2008) -
О построении клонов алгебр функциональных n-отношенеий
by: Захария, Л.М., et al.
Published: (2006) -
Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании
by: Львов, М.С.
Published: (2015) -
Формализованное проектирование эффективных многопоточных программ
by: Дорошенко, А.Е., et al.
Published: (2007) -
n- исчисление – реалистичная формализация класса переписывающих систем
by: Шевченко, Р.С., et al.
Published: (2011)