Концептуальні моделі розподілених компонентних систем
Запропоновані формальні моделі програмних систем (ПС) і їх сімейств (СПС) для їх використання у розподіленому середовищі. Їх проектування починається з об'єктної моделі предметної області (ПрО) і закінчується побудовою відповідних компонентних моделей. Основу ПС і СПС складають моделі інтеропер...
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2013 |
| Main Authors: | Лавріщева, К.М., Колесник, А.Л. |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2013
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/86662 |
| 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: | Концептуальні моделі розподілених компонентних систем / К.М. Лавріщева, А.Л. Колесник // Проблеми програмування. — 2013. — № 2. — С. 13-22. — Бібліогр.: 12 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Моделі взаємодії програм, систем і операційних середовищ
by: Лавріщева, К.М.
Published: (2011)
by: Лавріщева, К.М.
Published: (2011)
Генерувальне програмування програмних систем і їх сімейств
by: Лавріщева, К.М.
Published: (2009)
by: Лавріщева, К.М.
Published: (2009)
Компонентне програмування. Теорія і реалізація
by: Лавріщева, К.М.
Published: (2012)
by: Лавріщева, К.М.
Published: (2012)
Концепція індустрії наукового софтвера і підхід до обчислення наукових задач
by: Лавріщева, К.М.
Published: (2011)
by: Лавріщева, К.М.
Published: (2011)
Кібернетика, інформатика та програмна інженерія: аспекти розвитку
by: Лавріщева, К.М.
Published: (2010)
by: Лавріщева, К.М.
Published: (2010)
Объектно-компонентная разработка изменяемых программных систем
by: Лаврищева, Е.М., et al.
Published: (2016)
by: Лаврищева, Е.М., et al.
Published: (2016)
DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 1
by: Колесник, В.Г.
Published: (2015)
by: Колесник, В.Г.
Published: (2015)
DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 2
by: Колесник, В.Г.
Published: (2015)
by: Колесник, В.Г.
Published: (2015)
DS-теория. Представление канонического алгоритма с помощью алгоритмического языка
by: Колесник, В.Г.
Published: (2015)
by: Колесник, В.Г.
Published: (2015)
DS-теория. Научные аспекты и перспективы развития
by: Колесник, В.Г.
Published: (2017)
by: Колесник, В.Г.
Published: (2017)
DS-теория. Исследование факторов форматирования Р-данных
by: Колесник, В.Г.
Published: (2016)
by: Колесник, В.Г.
Published: (2016)
Інтенсіонально-орієнтований підхід до побудови логічних систем
by: Нікітченко, М.С., et al.
Published: (2007)
by: Нікітченко, М.С., et al.
Published: (2007)
Аналітичний огляд підходів до інтеграції програмних систем
by: Дивак, Ю.А.
Published: (2021)
by: Дивак, Ю.А.
Published: (2021)
n- исчисление – реалистичная формализация класса переписывающих систем
by: Шевченко, Р.С., et al.
Published: (2011)
by: Шевченко, Р.С., et al.
Published: (2011)
Проблема интероперабельности разнородных объектов, компонентов и систем. Подходы к ее решению
by: Лаврищева, Е.М.
Published: (2010)
by: Лаврищева, Е.М.
Published: (2010)
Аналіз систем нечіткої логіки для апроксимації нечітких функцій
by: Щегельський, Т.С., et al.
Published: (2012)
by: Щегельський, Т.С., et al.
Published: (2012)
Описание параллелизма в алгоритмах информационно-управляющих систем средствами алгебраического аппарата
by: Акуловский, В.Г., et al.
Published: (2013)
by: Акуловский, В.Г., et al.
Published: (2013)
Гібридний алгоритм методу Ньютона для розв’язування систем нелінійних рівнянь з блочними матрицями Якобі
by: Хіміч, О.М., et al.
Published: (2020)
by: Хіміч, О.М., et al.
Published: (2020)
Порівняння ефективності підходів Map-Reduce і акторної моделі при розв’язанні завдань з високою зв'язністю вхідних даних на прикладі задачі оптимізації рою часток
by: Ларін, В.О., et al.
Published: (2021)
by: Ларін, В.О., et al.
Published: (2021)
Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем
by: Колчин, А.В.
Published: (2008)
by: Колчин, А.В.
Published: (2008)
Методы прямого и обратного символьного моделирования систем, заданных базовыми протоколами
by: Потиенко, С.В.
Published: (2008)
by: Потиенко, С.В.
Published: (2008)
Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python
by: Новокшонов, А.К.
Published: (2016)
by: Новокшонов, А.К.
Published: (2016)
Дослідження паралельного алгоритму побудови діаграми Вороного на площині
by: Березовський, К.А.
Published: (2009)
by: Березовський, К.А.
Published: (2009)
Керування синтезом нейронних мереж
by: Катеринич, Л.А.
Published: (2009)
by: Катеринич, Л.А.
Published: (2009)
Алгебраическое проектирование программ: алгоритмы, объекты, инструменты
by: Дорошенко, А.Е., et al.
Published: (2007)
by: Дорошенко, А.Е., et al.
Published: (2007)
Алгеброалгоритмические аспекты полноты: абстракции, биология и экология
by: Цейтлин, Г.Е., et al.
Published: (2008)
by: Цейтлин, Г.Е., et al.
Published: (2008)
Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення
by: Шкільняк, О.С., et al.
Published: (2017)
by: Шкільняк, О.С., et al.
Published: (2017)
Загальнозначні теоретико-множинні конструкції повного образу, обмеження, сумісності: властивості та застосування
by: Буй, Д.Б., et al.
Published: (2010)
by: Буй, Д.Б., et al.
Published: (2010)
Формалізований метод проектування застосувань в технології GPGPU
by: Кривий, С.Л., et al.
Published: (2018)
by: Кривий, С.Л., et al.
Published: (2018)
О построении клонов алгебр функциональных n-отношенеий
by: Захария, Л.М., et al.
Published: (2006)
by: Захария, Л.М., et al.
Published: (2006)
Еволюційне програмування
by: Глибовець, М.М., et al.
Published: (2013)
by: Глибовець, М.М., et al.
Published: (2013)
Синтез многоуровневых структур со многими выходами
by: Опанасенко, В.Н., et al.
Published: (2016)
by: Опанасенко, В.Н., et al.
Published: (2016)
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення
by: Нікітченко, М.С., et al.
Published: (2019)
by: Нікітченко, М.С., et al.
Published: (2019)
Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
by: Крывый, С.Л., et al.
Published: (2008)
by: Крывый, С.Л., et al.
Published: (2008)
Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании
by: Львов, М.С.
Published: (2015)
by: Львов, М.С.
Published: (2015)
Внешние множественные операции табличной алгебры бесконечных таблиц
by: Глушко, И.М.
Published: (2016)
by: Глушко, И.М.
Published: (2016)
Структурний підхід до проблеми відтворення граматик
by: Ільман, В.М., et al.
Published: (2007)
by: Ільман, В.М., et al.
Published: (2007)
Композиційно-номінативні логіки над ієрархічними даними
by: Нікітченко, М.С., et al.
Published: (2010)
by: Нікітченко, М.С., et al.
Published: (2010)
Ієрархія композиційно-номінативних логік
by: Нікітченко, М.С., et al.
Published: (2004)
by: Нікітченко, М.С., et al.
Published: (2004)
Стабільність та монотонність програм щодо структурних трансформацій даних
by: Нікітченко, М.С., et al.
Published: (2010)
by: Нікітченко, М.С., et al.
Published: (2010)
Similar Items
-
Моделі взаємодії програм, систем і операційних середовищ
by: Лавріщева, К.М.
Published: (2011) -
Генерувальне програмування програмних систем і їх сімейств
by: Лавріщева, К.М.
Published: (2009) -
Компонентне програмування. Теорія і реалізація
by: Лавріщева, К.М.
Published: (2012) -
Концепція індустрії наукового софтвера і підхід до обчислення наукових задач
by: Лавріщева, К.М.
Published: (2011) -
Кібернетика, інформатика та програмна інженерія: аспекти розвитку
by: Лавріщева, К.М.
Published: (2010)