Buchumschlag

Модель перевірки компонентів та їх композиції у компонентну систему

Пропонується модель перевірки простих і складних компонентів, як композицій простих. Розглядається загальна компонента модель, метод верифікації та композиції правильних компонентів у компонентну систему. Model verification of the simple and the compound components as compositions of the si...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2006
1. Verfasser:	Рожнов, А.М.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	Інститут програмних систем НАН України 2006
Schlagworte:	Інструментальні засоби і середовища програмування
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/1562
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:	Модель перевірки компонентів та їх композиції у компонентну систему / А.М. Рожнов // Проблеми програмування. — 2006. — N 2-3. — С. 600-604. — Бібліогр.: 27 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Технологічна модель процесу побудови та використання адаптивної композиції Web-сервісів
von: Слабоспицька, О.О.
Veröffentlicht: (2015)

Гібридна модель автотьюнінгу з використанням статистичного моделювання
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2016)

До питання оптимізації хмарних обчислень з урахуванням їх вартості
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2020)

Автотюнінг паралельних програм з використанням системи аналізу даних IBM Watsons Analytics
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2018)

Еволюція та "природний відбір" базових концепцій мов програмування: на прикладах мов C, C++, Java та C#
von: Колодницький, М.М.
Veröffentlicht: (2004)

Автоматизована система управління запасами на OC Android та бази даних Firebase з використанням штрих кодів та QR-кодів
von: Гайдукевич, Я.О., et al.
Veröffentlicht: (2022)

Концепції та моделі інтеграції об’єктів метатехнології в середовищі Metacase
von: Зінькович, В.М., et al.
Veröffentlicht: (2006)

До питання автоматизації проектування робочих процесів на основі алгеброалгоритмічного та онтологічного інструментарію
von: Овдій, О.М.
Veröffentlicht: (2019)

Інструментальні засоби дослідження часової та функціональної ефективності біонічних алгоритмів розв’язку екстремальних задач
von: Шинкаренко, В.І., et al.
Veröffentlicht: (2018)

О синтезе программ на языке Java по алгеброалгоритмическим спецификациям
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2006)

Экономичный интерпретатор для узлов сенсорной сети
von: Рагозин, Д.В.
Veröffentlicht: (2006)

Розробка синтаксичного аналізатора мови програмування PL/I для реінженірингу блок-схем алгоритмів
von: Фісун, М.Т., et al.
Veröffentlicht: (2006)

Программно-агентная среда для поддержки совместного обучения на основе платформы Microsoft.Net
von: Воног, С.Н., et al.
Veröffentlicht: (2006)

Трансформация произвольных текстовых данных в XML-пред¬ставление по шаблону на основе регулярных выражений
von: Пантелеймонов, А.А.
Veröffentlicht: (2006)

Интеллектуализация программных средств описания и спецификации телекоммуникационных систем и процессов их функционирования
von: Ластовченко, М.М., et al.
Veröffentlicht: (2006)

Особенности языка VHDL для программирования кристаллов ПЛИС
von: Опанасенко, В.Н., et al.
Veröffentlicht: (2006)

Об одном подходе к проектированию алгебраических типов данных
von: Песчаненко, В.С.
Veröffentlicht: (2006)

Засоби автоматизації генерації електронних документів в системах організаційного управління
von: Хмелюк, В.С., et al.
Veröffentlicht: (2008)

A resource limited parallel program model
von: Rahozin, D.V.
Veröffentlicht: (2019)

Паралельна розподілена реалізація моделювання паралельних обчислень
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2014)

Застосування засобів нейроеволюції в технічних системах автоматизації керування
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2021)

О применении машинного обучения для проектирования адаптивних программ сортировки в алгебре алгоритмов
von: Яценко, Е.А.
Veröffentlicht: (2011)

Интерфейс в программировании
von: Лаврищева, Е.М.
Veröffentlicht: (2007)

Засіб налаштування програм на платформі .NET за допомогою переписувальних правил
von: Мамедов, Т.А., et al.
Veröffentlicht: (2019)

Инструментальные средства алгебры алгоритмики на платформе WEB 2.0.
von: Иовчев, В.А., et al.
Veröffentlicht: (2010)

Моделювання RESTFUL API для системи автоматизації приватних електронних закупівель
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2021)

Ефективний емпіричний метод дедублікації на файловому рівні
von: Піговський, Ю.Р.
Veröffentlicht: (2014)

О алгоритме перевода документов msc в сети Петри
von: Чугаенко, А.В., et al.
Veröffentlicht: (2008)

Программа проверки орфографии (spellchecker) на основе распределенных представлений
von: Омельченко, Р.С.
Veröffentlicht: (2013)

Програмна платформа для наукових досліджень
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2007)

Автоматизоване проектування програм для платформи .net, що використовують бібліотеку паралельних задач
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2020)

Проектування програми візуалізації земної поверхні з використанням алгебро-алгоритмічного інструментарію
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2019)

Оптимізація автотьюнінгу програм з використанням нейромереж
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2017)

TermWare-3 – система переписування термів, заснована на контекстному численні
von: Шевченко, Р.С., et al.
Veröffentlicht: (2019)

Представление графического интерфейса пользователя для тестирования программ
von: Пригожев, А.С.
Veröffentlicht: (2010)

Автоматизоване проектування OpenCL програм на основі алгебро-алгоритмічного підходу
von: Дорошенко, А.Ю., et al.
Veröffentlicht: (2019)

Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов
von: Дорошенко, А.Е., et al.
Veröffentlicht: (2008)

Задачи повышения производительности запросов в программной системе
von: Федоров, И.В.
Veröffentlicht: (2008)

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

Особенности реализации многослойного сценария распределенного поиска оптимальных решений
von: Галаган, Т.Н., et al.
Veröffentlicht: (2008)