Формальные основы интероперабельности компонентов в программировании
Досліджено проблему взаємодії різнорідних компонентів і систем — з теоретичної, семантичної і реалізаційної точок зору. Представлено теорію структурної організації типів даних, семантику перетворення нерелевантних типів даних і підходи до реалізації типів даних мов програмування в сучасних середовищ...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2010 |
| Main Author: | Лаврищева, Е.М. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2010
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/45250 |
| 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: | Формальные основы интероперабельности компонентов в программировании / Е.М. Лаврищева // Кибернетика и системный анализ. — 2010. — № 4. — С. 134-150. — Бібліогр.: 26 назв. — рос |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители
by: Андон, Ф.И., et al.
Published: (2011)
by: Андон, Ф.И., et al.
Published: (2011)
Теория и практика фабрик программных продуктов
by: Лаврищева, Е.М.
Published: (2011)
by: Лаврищева, Е.М.
Published: (2011)
Развитие отечественной технологии программирования
by: Лаврищева, Е.М.
Published: (2014)
by: Лаврищева, Е.М.
Published: (2014)
Генерирующее и сборочное программирование. Аспекты разработки семейств программных систем
by: Лаврищева, Е.М.
Published: (2013)
by: Лаврищева, Е.М.
Published: (2013)
Подход к экспертному оцениванию в программной инженерии
by: Лаврищева, Е.М., et al.
Published: (2009)
by: Лаврищева, Е.М., et al.
Published: (2009)
Онтологический подход к спецификации свойств программных систем и их компонентов
by: Бабенко, Л.П.
Published: (2009)
by: Бабенко, Л.П.
Published: (2009)
Высокоточные максимальные напряжения в задаче о взаимодействии упругих волн с системой цилиндрических полостей в условиях плоской деформации
by: Панченко, Б.Е., et al.
Published: (2015)
by: Панченко, Б.Е., et al.
Published: (2015)
Преобразование алгоритмов, записанных в виде композиционных схем
by: Акуловский, В.Г., et al.
Published: (2014)
by: Акуловский, В.Г., et al.
Published: (2014)
Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования
by: Летичевский, А.А., et al.
Published: (2010)
by: Летичевский, А.А., et al.
Published: (2010)
Аналитическое исследование составляющих ошибки для решения дискретных некорректных задач на основе случайного проецирования
by: Ревунова, Е.Г.
Published: (2015)
by: Ревунова, Е.Г.
Published: (2015)
Суперкомпьютерная технология моделирования жизненного цикла особо сложных технических объектов
by: Слободян, Я.Е.
Published: (2009)
by: Слободян, Я.Е.
Published: (2009)
Использование искусственных нейронных сетей для классификации черно-белых изображений
by: Борисов, Е.С.
Published: (2008)
by: Борисов, Е.С.
Published: (2008)
Алгебро-алгоритмические аспекты полноты: абстракции, биология и экология
by: Цейтлин, Г.Е.
Published: (2008)
by: Цейтлин, Г.Е.
Published: (2008)
Развитие инструментария алгебры алгоритмики с целью разработки параллельных программ с использованием эвристических средств
by: Дорошенко, А.Е., et al.
Published: (2010)
by: Дорошенко, А.Е., et al.
Published: (2010)
Метод автоматической генерации автотюнеров для параллельных программ
by: Иваненко, П.А., et al.
Published: (2014)
by: Иваненко, П.А., et al.
Published: (2014)
Численная оптимизация на основе алгоритмов сортировки с приложением к дифференциальным и нелинейным уравнениям общего вида
by: Ромм, Я.Е., et al.
Published: (2011)
by: Ромм, Я.Е., et al.
Published: (2011)
Алгоритмы решения систем линейных уравнений в кольцах вычетов
by: Крывый, С.Л.
Published: (2016)
by: Крывый, С.Л.
Published: (2016)
Инструментальные средства автоматизации параллельного программирования на основе алгебры алгоритмов
by: Андон, Ф.И., et al.
Published: (2015)
by: Андон, Ф.И., et al.
Published: (2015)
Порождающие паттерны проектирования в компьютерной лингвистике: Factory Method, Prototype, Singleton
by: Никоненко, А.А.
Published: (2012)
by: Никоненко, А.А.
Published: (2012)
Формализация взаимосвязей операторов и данных в рамках расширенной алгебры алгоритмов
by: Акуловский, В.Г.
Published: (2008)
by: Акуловский, В.Г.
Published: (2008)
Количественный критерий пространственной неоднородности электромагнитного поля в ближней зоне рамочного излучателя
by: Николов, Н.А.
Published: (2013)
by: Николов, Н.А.
Published: (2013)
Технология формирования гибридных документов
by: Иванов, А.И., et al.
Published: (2014)
by: Иванов, А.И., et al.
Published: (2014)
Математическое обеспечение для исследования состояний сложных систем в условиях неопределенности на основании нечетких сетевых моделей доверия
by: Парасюк, И.Н., et al.
Published: (2014)
by: Парасюк, И.Н., et al.
Published: (2014)
Алгебраический подход к задаче решения систем линейных неравенств
by: Львов, М.С.
Published: (2010)
by: Львов, М.С.
Published: (2010)
Полиномиальные инварианты линейных циклов
by: Львов, М.С.
Published: (2010)
by: Львов, М.С.
Published: (2010)
Дополнение Nadra-3D add-on для программного комплекса Blender
by: Белоус, М.В.
Published: (2016)
by: Белоус, М.В.
Published: (2016)
Оптимизированные по быстродействию и точности кодирования методы и алгоритмы повышения информационной эффективности фунционирования абонентских систем беспроводных сетей
by: Шевчук, Б.М.
Published: (2014)
by: Шевчук, Б.М.
Published: (2014)
Метод доказательства инвариантности линейных неравенств для линейных циклов
by: Львов, М.С.
Published: (2014)
by: Львов, М.С.
Published: (2014)
Сравнение методов распределения наблюдений на классы при прогнозировании наличия осложнений у тяжелобольных
by: Иванчук, М.А., et al.
Published: (2015)
by: Иванчук, М.А., et al.
Published: (2015)
Нелинейные инварианты линейных циклов и собственные полиномы линейных операторов
by: Львов, М.С., et al.
Published: (2012)
by: Львов, М.С., et al.
Published: (2012)
Информационное обеспечение технологии автоматизированного мониторинга состояния здоровья населения
by: Рогозинская, Н.С., et al.
Published: (2013)
by: Рогозинская, Н.С., et al.
Published: (2013)
Классификация больших площадей земного покрова по ретроспективным спутниковым данным
by: Лавренюк, Н.С., et al.
Published: (2016)
by: Лавренюк, Н.С., et al.
Published: (2016)
Оптимизация тайлинга при численном решении многомерного уравнения теплопроводности на кольце процессоров
by: Соболевский, П.И., et al.
Published: (2010)
by: Соболевский, П.И., et al.
Published: (2010)
Параллельная обработка данных многокомпонентных сейсмических наблюдений
by: Фальфушинский, В.В.
Published: (2011)
by: Фальфушинский, В.В.
Published: (2011)
Методы синхронизации цифровых водяных знаков
by: Кошкина, Н.В.
Published: (2008)
by: Кошкина, Н.В.
Published: (2008)
Современное состояние теории мультимножеств с сущностной точки зрения
by: Редько, В.Н., et al.
Published: (2015)
by: Редько, В.Н., et al.
Published: (2015)
Концепция создания параметрической системы проектирования параллельных алгоритмов и их программных реализаций
by: Погорелый, С.Д., et al.
Published: (2009)
by: Погорелый, С.Д., et al.
Published: (2009)
Измерение производительности параллельных компьютеров с распределенной памятью
by: Ющенко, Р.А.
Published: (2009)
by: Ющенко, Р.А.
Published: (2009)
О структуре полиномиальных инвариантов линейных циклов
by: Львов, M.C.
Published: (2015)
by: Львов, M.C.
Published: (2015)
Графовые запросы для интеграции данных посредством XML
by: Тульчинский, В.Г., et al.
Published: (2008)
by: Тульчинский, В.Г., et al.
Published: (2008)
Similar Items
-
Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители
by: Андон, Ф.И., et al.
Published: (2011) -
Теория и практика фабрик программных продуктов
by: Лаврищева, Е.М.
Published: (2011) -
Развитие отечественной технологии программирования
by: Лаврищева, Е.М.
Published: (2014) -
Генерирующее и сборочное программирование. Аспекты разработки семейств программных систем
by: Лаврищева, Е.М.
Published: (2013) -
Подход к экспертному оцениванию в программной инженерии
by: Лаврищева, Е.М., et al.
Published: (2009)