Buchumschlag

Формальные основы интероперабельности компонентов в программировании

Досліджено проблему взаємодії різнорідних компонентів і систем — з теоретичної, семантичної і реалізаційної точок зору. Представлено теорію структурної організації типів даних, семантику перетворення нерелевантних типів даних і підходи до реалізації типів даних мов програмування в сучасних середовищ...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Кибернетика и системный анализ
Datum:	2010
1. Verfasser:	Лаврищева, Е.М.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2010
Schlagworte:	Программно-технические комплексы
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/45250
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Формальные основы интероперабельности компонентов в программировании / Е.М. Лаврищева // Кибернетика и системный анализ. — 2010. — № 4. — С. 134-150. — Бібліогр.: 26 назв. — рос

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Программирование высокопроизводительных параллельных вычислений: формальные модели и графические ускорители
von: Андон, Ф.И., et al.
Veröffentlicht: (2011)

Развитие отечественной технологии программирования
von: Лаврищева, Е.М.
Veröffentlicht: (2014)

Теория и практика фабрик программных продуктов
von: Лаврищева, Е.М.
Veröffentlicht: (2011)

Генерирующее и сборочное программирование. Аспекты разработки семейств программных систем
von: Лаврищева, Е.М.
Veröffentlicht: (2013)

Подход к экспертному оцениванию в программной инженерии
von: Лаврищева, Е.М., et al.
Veröffentlicht: (2009)

Онтологический подход к спецификации свойств программных систем и их компонентов
von: Бабенко, Л.П.
Veröffentlicht: (2009)

Высокоточные максимальные напряжения в задаче о взаимодействии упругих волн с системой цилиндрических полостей в условиях плоской деформации
von: Панченко, Б.Е., et al.
Veröffentlicht: (2015)

Преобразование алгоритмов, записанных в виде композиционных схем
von: Акуловский, В.Г., et al.
Veröffentlicht: (2014)

Атомарные радиально базисные функции в численных алгоритмах решения краевых задач для уравнения Лапласа
von: Колодяжный, В.М.
Veröffentlicht: (2008)

Аналитическое исследование составляющих ошибки для решения дискретных некорректных задач на основе случайного проецирования
von: Ревунова, Е.Г.
Veröffentlicht: (2015)

Суперкомпьютерная технология моделирования жизненного цикла особо сложных технических объектов
von: Слободян, Я.Е.
Veröffentlicht: (2009)

Использование искусственных нейронных сетей для классификации черно-белых изображений
von: Борисов, Е.С.
Veröffentlicht: (2008)

Алгебро-алгоритмические аспекты полноты: абстракции, биология и экология
von: Цейтлин, Г.Е.
Veröffentlicht: (2008)

Изоморфные трансформации эллиптической кривой над конечным полем
von: Чевардин, В.Е.
Veröffentlicht: (2013)

Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования
von: Летичевский, А.А., et al.
Veröffentlicht: (2010)

Развитие инструментария алгебры алгоритмики с целью разработки параллельных программ с использованием эвристических средств
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2010)

Метод автоматической генерации автотюнеров для параллельных программ
von: Иваненко, П.А., et al.
Veröffentlicht: (2014)

Численная оптимизация на основе алгоритмов сортировки с приложением к дифференциальным и нелинейным уравнениям общего вида
von: Ромм, Я.Е., et al.
Veröffentlicht: (2011)

Инструментальные средства автоматизации параллельного программирования на основе алгебры алгоритмов
von: Андон, Ф.И., et al.
Veröffentlicht: (2015)

Алгоритмы решения систем линейных уравнений в кольцах вычетов
von: Крывый, С.Л.
Veröffentlicht: (2016)

Порождающие паттерны проектирования в компьютерной лингвистике: Factory Method, Prototype, Singleton
von: Никоненко, А.А.
Veröffentlicht: (2012)

Формализация взаимосвязей операторов и данных в рамках расширенной алгебры алгоритмов
von: Акуловский, В.Г.
Veröffentlicht: (2008)

О распространении вероятностей в нечетких байесовских сетях с недетерминированными состояниями
von: Верёвка, О.В., et al.
Veröffentlicht: (2008)

Количественный критерий пространственной неоднородности электромагнитного поля в ближней зоне рамочного излучателя
von: Николов, Н.А.
Veröffentlicht: (2013)

Технология формирования гибридных документов
von: Иванов, А.И., et al.
Veröffentlicht: (2014)

Качественный анализ системы противоопухолевого иммунитета на основе дерева решений
von: Марценюк, В.П., et al.
Veröffentlicht: (2015)

К распараллеливанию последовательных программ: распределение массивов между процессорами и структуризация коммуникаций
von: Адуцкевич, Е.В., et al.
Veröffentlicht: (2012)

Метод обобщенных грамматических конструкций для автоматизированного перевода текстовой информации в жестовые аналоги
von: Крак, Ю.В., et al.
Veröffentlicht: (2014)

Математическое обеспечение для исследования состояний сложных систем в условиях неопределенности на основании нечетких сетевых моделей доверия
von: Парасюк, И.Н., et al.
Veröffentlicht: (2014)

Полиномиальные инварианты линейных циклов
von: Львов, М.С.
Veröffentlicht: (2010)

Алгебраический подход к задаче решения систем линейных неравенств
von: Львов, М.С.
Veröffentlicht: (2010)

Метод доказательства инвариантности линейных неравенств для линейных циклов
von: Львов, М.С.
Veröffentlicht: (2014)

Оптимизированные по быстродействию и точности кодирования методы и алгоритмы повышения информационной эффективности фунционирования абонентских систем беспроводных сетей
von: Шевчук, Б.М.
Veröffentlicht: (2014)

Дополнение Nadra-3D add-on для программного комплекса Blender
von: Белоус, М.В.
Veröffentlicht: (2016)

Сравнение методов распределения наблюдений на классы при прогнозировании наличия осложнений у тяжелобольных
von: Иванчук, М.А., et al.
Veröffentlicht: (2015)

Нелинейные инварианты линейных циклов и собственные полиномы линейных операторов
von: Львов, М.С., et al.
Veröffentlicht: (2012)

Информационное обеспечение технологии автоматизированного мониторинга состояния здоровья населения
von: Рогозинская, Н.С., et al.
Veröffentlicht: (2013)

Метод трапецоидов решения систем линейных неравенств и его реализация инсерционным моделированием
von: Львов, М.С., et al.
Veröffentlicht: (2012)

Классификация больших площадей земного покрова по ретроспективным спутниковым данным
von: Лавренюк, Н.С., et al.
Veröffentlicht: (2016)

Оптимизация тайлинга при численном решении многомерного уравнения теплопроводности на кольце процессоров
von: Соболевский, П.И., et al.
Veröffentlicht: (2010)