Объектно-компонентная разработка изменяемых программных систем
Объектно-компонентный метод (ОКМ) моделирования программных систем Лаврищевой – Грищенко развит согласованными моделями вариабельности систем и их вариантной конфигурационной сборки из компонентов, а также алгеброй операций изоморфного преобразования нерелевантных типов данных для этих компонентов....
Збережено в:
| Опубліковано в: : | Проблеми програмування |
|---|---|
| Дата: | 2016 |
| Автори: | Лаврищева, Е.М., Слабоспицкая, О.А., Стеняшин, А.Ю., Колесник, А.Л. |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут програмних систем НАН України
2016
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/126375 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Объектно-компонентная разработка изменяемых программных систем / Е.М. Лаврищева, О.А. Слабоспицкая, А.Ю. Стеняшин, А.Л. Колесник // Проблеми програмування. — 2016. — № 1. — С. 3-16. — Бібліогр.: 22 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
Проблема интероперабельности разнородных объектов, компонентов и систем. Подходы к ее решению
за авторством: Лаврищева, Е.М.
Опубліковано: (2010)
за авторством: Лаврищева, Е.М.
Опубліковано: (2010)
Концептуальні моделі розподілених компонентних систем
за авторством: Лавріщева, К.М., та інші
Опубліковано: (2013)
за авторством: Лавріщева, К.М., та інші
Опубліковано: (2013)
Аналітичний огляд підходів до інтеграції програмних систем
за авторством: Дивак, Ю.А.
Опубліковано: (2021)
за авторством: Дивак, Ю.А.
Опубліковано: (2021)
n- исчисление – реалистичная формализация класса переписывающих систем
за авторством: Шевченко, Р.С., та інші
Опубліковано: (2011)
за авторством: Шевченко, Р.С., та інші
Опубліковано: (2011)
DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 1
за авторством: Колесник, В.Г.
Опубліковано: (2015)
за авторством: Колесник, В.Г.
Опубліковано: (2015)
DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 2
за авторством: Колесник, В.Г.
Опубліковано: (2015)
за авторством: Колесник, В.Г.
Опубліковано: (2015)
DS-теория. Представление канонического алгоритма с помощью алгоритмического языка
за авторством: Колесник, В.Г.
Опубліковано: (2015)
за авторством: Колесник, В.Г.
Опубліковано: (2015)
DS-теория. Научные аспекты и перспективы развития
за авторством: Колесник, В.Г.
Опубліковано: (2017)
за авторством: Колесник, В.Г.
Опубліковано: (2017)
DS-теория. Исследование факторов форматирования Р-данных
за авторством: Колесник, В.Г.
Опубліковано: (2016)
за авторством: Колесник, В.Г.
Опубліковано: (2016)
Описание параллелизма в алгоритмах информационно-управляющих систем средствами алгебраического аппарата
за авторством: Акуловский, В.Г., та інші
Опубліковано: (2013)
за авторством: Акуловский, В.Г., та інші
Опубліковано: (2013)
Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем
за авторством: Колчин, А.В.
Опубліковано: (2008)
за авторством: Колчин, А.В.
Опубліковано: (2008)
Гібридний алгоритм методу Ньютона для розв’язування систем нелінійних рівнянь з блочними матрицями Якобі
за авторством: Хіміч, О.М., та інші
Опубліковано: (2020)
за авторством: Хіміч, О.М., та інші
Опубліковано: (2020)
Генерувальне програмування програмних систем і їх сімейств
за авторством: Лавріщева, К.М.
Опубліковано: (2009)
за авторством: Лавріщева, К.М.
Опубліковано: (2009)
Моделі взаємодії програм, систем і операційних середовищ
за авторством: Лавріщева, К.М.
Опубліковано: (2011)
за авторством: Лавріщева, К.М.
Опубліковано: (2011)
Інтенсіонально-орієнтований підхід до побудови логічних систем
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2007)
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2007)
Аналіз систем нечіткої логіки для апроксимації нечітких функцій
за авторством: Щегельський, Т.С., та інші
Опубліковано: (2012)
за авторством: Щегельський, Т.С., та інші
Опубліковано: (2012)
Двохкомпонентні алгоритми сортування
за авторством: Шинкаренко, В.І., та інші
Опубліковано: (2022)
за авторством: Шинкаренко, В.І., та інші
Опубліковано: (2022)
Методы прямого и обратного символьного моделирования систем, заданных базовыми протоколами
за авторством: Потиенко, С.В.
Опубліковано: (2008)
за авторством: Потиенко, С.В.
Опубліковано: (2008)
Аспекты моделирования в системе Гомеопат
за авторством: Провотар, А.А., та інші
Опубліковано: (2012)
за авторством: Провотар, А.А., та інші
Опубліковано: (2012)
Програмування в обмеженнях у системі інсерційного моделювання
за авторством: Летичевський, О.А., та інші
Опубліковано: (2011)
за авторством: Летичевський, О.А., та інші
Опубліковано: (2011)
Метод извлечения логики поведения из промышленного программного кода на языке Кобол
за авторством: Губа, А.А., та інші
Опубліковано: (2016)
за авторством: Губа, А.А., та інші
Опубліковано: (2016)
О некоторых подходах к вычислению неопределенностей
за авторством: Провотар, А.И., та інші
Опубліковано: (2010)
за авторством: Провотар, А.И., та інші
Опубліковано: (2010)
О методе проектирования абстрактного типа данных в алгебре алгоритмики
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2012)
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2012)
Описание списков и множеств в метаязыке нормальных форм знаний
за авторством: Кургаев, А.Ф.
Опубліковано: (2020)
за авторством: Кургаев, А.Ф.
Опубліковано: (2020)
Аналіз ефективності реалізації арифметичних алгоритмів на мовах програмування C++ та Python
за авторством: Новокшонов, А.К.
Опубліковано: (2016)
за авторством: Новокшонов, А.К.
Опубліковано: (2016)
Керування синтезом нейронних мереж
за авторством: Катеринич, Л.А.
Опубліковано: (2009)
за авторством: Катеринич, Л.А.
Опубліковано: (2009)
Мультимножества: обзор библиографии, построение решетки мультимножеств
за авторством: Богатырева, Ю.А.
Опубліковано: (2010)
за авторством: Богатырева, Ю.А.
Опубліковано: (2010)
Дослідження паралельного алгоритму побудови діаграми Вороного на площині
за авторством: Березовський, К.А.
Опубліковано: (2009)
за авторством: Березовський, К.А.
Опубліковано: (2009)
О структурних элементах компонентной сети Петри
за авторством: Лукьянова, Е.А.
Опубліковано: (2012)
за авторством: Лукьянова, Е.А.
Опубліковано: (2012)
Полнота алгебры алгоритмов с данными
за авторством: Акуловский, В.Г., та інші
Опубліковано: (2016)
за авторством: Акуловский, В.Г., та інші
Опубліковано: (2016)
Состав и свойства данных, специфицируемых в композиционных схемах алгоритмов
за авторством: Акуловский, В.Г., та інші
Опубліковано: (2013)
за авторством: Акуловский, В.Г., та інші
Опубліковано: (2013)
Интеграция семейства расширенных дескриптивных логик с реляционной моделью данных
за авторством: Резниченко, В.А., та інші
Опубліковано: (2016)
за авторством: Резниченко, В.А., та інші
Опубліковано: (2016)
Алгебра алгоритмов с данными и прогнозирование вычислительного процесса
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2011)
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2011)
Согласованное описание алгоритмов в рамках алгебраического аппарата
за авторством: Акуловский, В.Г., та інші
Опубліковано: (2014)
за авторством: Акуловский, В.Г., та інші
Опубліковано: (2014)
Отображение дескриптивной логики ALC в бинарную реляционную структуру данных
за авторством: Резниченко, В.А., та інші
Опубліковано: (2015)
за авторством: Резниченко, В.А., та інші
Опубліковано: (2015)
Алгебраическое проектирование программ: алгоритмы, объекты, инструменты
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2007)
за авторством: Дорошенко, А.Е., та інші
Опубліковано: (2007)
Management of the coordination process in socio-technical system
за авторством: Girchenko, L.A., та інші
Опубліковано: (2020)
за авторством: Girchenko, L.A., та інші
Опубліковано: (2020)
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2019)
за авторством: Нікітченко, М.С., та інші
Опубліковано: (2019)
Відношення логічного наслідку в логіках часткових предикатів з композицією предикатного доповнення
за авторством: Шкільняк, О.С.
Опубліковано: (2019)
за авторством: Шкільняк, О.С.
Опубліковано: (2019)
Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності
за авторством: Шкільняк, C.С.
Опубліковано: (2019)
за авторством: Шкільняк, C.С.
Опубліковано: (2019)
Схожі ресурси
-
Проблема интероперабельности разнородных объектов, компонентов и систем. Подходы к ее решению
за авторством: Лаврищева, Е.М.
Опубліковано: (2010) -
Концептуальні моделі розподілених компонентних систем
за авторством: Лавріщева, К.М., та інші
Опубліковано: (2013) -
Аналітичний огляд підходів до інтеграції програмних систем
за авторством: Дивак, Ю.А.
Опубліковано: (2021) -
n- исчисление – реалистичная формализация класса переписывающих систем
за авторством: Шевченко, Р.С., та інші
Опубліковано: (2011) -
DS-теория. Исследование факторов деления Р-данных для генерации прикладных алгоритмов. Часть 1
за авторством: Колесник, В.Г.
Опубліковано: (2015)