Зображення обкладинки

Онтологический подход к спецификации свойств программных систем и их компонентов

Запропоновано новий підхід до організації життєвого циклу розробки програмних систем, орієнтований на максимально можливе використання готових рішень на всіх стадіях розробки нових програмних продуктів. Зазначений підхід ґрунтується на оригінальному механізмі спільного використання онтологій проблем...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в:	Кибернетика и системный анализ
Дата:	2009
ISSN:	0023-1274
Автор:	Бабенко, Л.П.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2009
Теми:	Программно-технические комплексы
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/44316
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Онтологический подход к спецификации свойств программных систем и их компонентов / Л.П. Бабенко // Кибернетика и системный анализ. — 2009. — № 1. — С. 180-187. — Бібліогр.: 17 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Трансформационный подход к разработке программных архитектур на основе нечетких графовых моделей
за авторством: Парасюк, И.Н., та інші
Опубліковано: (2008)

Концепция создания параметрической системы проектирования параллельных алгоритмов и их программных реализаций
за авторством: Погорелый, С.Д., та інші
Опубліковано: (2009)

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

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

Теория и практика фабрик программных продуктов
за авторством: Лаврищева, Е.М.
Опубліковано: (2011)

Подход к экспертному оцениванию в программной инженерии
за авторством: Лаврищева, Е.М., та інші
Опубліковано: (2009)

Как понять программу. Характеристический анализ современных подходов к пецификации программ
за авторством: Бабенко, Л.П.
Опубліковано: (2012)

Формальные основы интероперабельности компонентов в программировании
за авторством: Лаврищева, Е.М.
Опубліковано: (2010)

Инженерия требований и семантический веб
за авторством: Бабенко, Л.П.
Опубліковано: (2016)

Методы обучения параллельно-иерархической сети и их применение для распознавания образов
за авторством: Тимченко, Л.И., та інші
Опубліковано: (2011)

Алгоритмы решения систем линейных уравнений в кольцах вычетов
за авторством: Крывый, С.Л.
Опубліковано: (2016)

Метод трапецоидов решения систем линейных неравенств и его реализация инсерционным моделированием
за авторством: Львов, М.С., та інші
Опубліковано: (2012)

К распараллеливанию последовательных программ: распределение массивов между процессорами и структуризация коммуникаций
за авторством: Адуцкевич, Е.В., та інші
Опубліковано: (2012)

Математическое обеспечение для исследования состояний сложных систем в условиях неопределенности на основании нечетких сетевых моделей доверия
за авторством: Парасюк, И.Н., та інші
Опубліковано: (2014)

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

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

Алгоритм регуляризации τ-метода Ланцоша и его реализация средствами алгебраического программирования
за авторством: Денисенко, П.Н.
Опубліковано: (2011)

Метод автоматической генерации автотюнеров для параллельных программ
за авторством: Иваненко, П.А., та інші
Опубліковано: (2014)

Технология формирования гибридных документов
за авторством: Иванов, А.И., та інші
Опубліковано: (2014)

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

Качественный анализ системы противоопухолевого иммунитета на основе дерева решений
за авторством: Марценюк, В.П., та інші
Опубліковано: (2015)

Метод построения нечеткой регрессионной модели на основе LARS для выбора значимых признаков
за авторством: Ерохин, А.Л., та інші
Опубліковано: (2016)

Измерение производительности параллельных компьютеров с распределенной памятью
за авторством: Ющенко, Р.А.
Опубліковано: (2009)

Система управления комплексными проектами
за авторством: Крижановский, В.В., та інші
Опубліковано: (2009)

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

Портал кластерных вычислений для управления вычислительными процессами на суперкомпьютерном комплексе
за авторством: Якуба, A.А., та інші
Опубліковано: (2009)

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

Развитие отечественной технологии программирования
за авторством: Лаврищева, Е.М.
Опубліковано: (2014)

Синтез адаптивных логических сетей на основе полинома Жегалкина
за авторством: Опанасенко, В.Н., та інші
Опубліковано: (2015)

Метод доказательства инвариантности линейных неравенств для линейных циклов
за авторством: Львов, М.С.
Опубліковано: (2014)

Метод организации параллельно-иерархической сети для распознавания образов
за авторством: Тимченко, Л.И., та інші
Опубліковано: (2011)

Методы синхронизации цифровых водяных знаков
за авторством: Кошкина, Н.В.
Опубліковано: (2008)

Современное состояние теории мультимножеств с сущностной точки зрения
за авторством: Редько, В.Н., та інші
Опубліковано: (2015)

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

Преобразование алгоритмов, записанных в виде композиционных схем
за авторством: Акуловский, В.Г., та інші
Опубліковано: (2014)

Национальная система электронных цифровых подписей как открытая система
за авторством: Мелащенко, А.О., та інші
Опубліковано: (2011)

Распознавание вторичной структуры ДНК нечеткими системами логического вывода
за авторством: Сергиенко, И.В., та інші
Опубліковано: (2014)

Агентные технологии для отбора информативных признаков
за авторством: Олейник, Ан.А., та інші
Опубліковано: (2012)

Математическое моделирование геометрических фракталов с помощью R-функций
за авторством: Максименко-Шейко, К.В., та інші
Опубліковано: (2012)

Обобщение логистической регрессии, веса категории переменной и индекса Джини для непрерывной целевой переменной, принимающей вероятностные значения
за авторством: Солошенко, А.Н.
Опубліковано: (2015)