Онтологический подход к спецификации свойств программных систем и их компонентов
Запропоновано новий підхід до організації життєвого циклу розробки програмних систем, орієнтований на максимально можливе використання готових рішень на всіх стадіях розробки нових програмних продуктів. Зазначений підхід ґрунтується на оригінальному механізмі спільного використання онтологій проблем...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2009 |
| Main Author: | Бабенко, Л.П. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2009
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/44316 |
| 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: | Онтологический подход к спецификации свойств программных систем и их компонентов / Л.П. Бабенко // Кибернетика и системный анализ. — 2009. — № 1. — С. 180-187. — Бібліогр.: 17 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Трансформационный подход к разработке программных архитектур на основе нечетких графовых моделей
by: Парасюк, И.Н., et al.
Published: (2008)
by: Парасюк, И.Н., et al.
Published: (2008)
Концепция создания параметрической системы проектирования параллельных алгоритмов и их программных реализаций
by: Погорелый, С.Д., et al.
Published: (2009)
by: Погорелый, С.Д., et al.
Published: (2009)
Генерирующее и сборочное программирование. Аспекты разработки семейств программных систем
by: Лаврищева, Е.М.
Published: (2013)
by: Лаврищева, Е.М.
Published: (2013)
Алгебраический подход к задаче решения систем линейных неравенств
by: Львов, М.С.
Published: (2010)
by: Львов, М.С.
Published: (2010)
Теория и практика фабрик программных продуктов
by: Лаврищева, Е.М.
Published: (2011)
by: Лаврищева, Е.М.
Published: (2011)
Подход к экспертному оцениванию в программной инженерии
by: Лаврищева, Е.М., et al.
Published: (2009)
by: Лаврищева, Е.М., et al.
Published: (2009)
Как понять программу. Характеристический анализ современных подходов к пецификации программ
by: Бабенко, Л.П.
Published: (2012)
by: Бабенко, Л.П.
Published: (2012)
Формальные основы интероперабельности компонентов в программировании
by: Лаврищева, Е.М.
Published: (2010)
by: Лаврищева, Е.М.
Published: (2010)
Инженерия требований и семантический веб
by: Бабенко, Л.П.
Published: (2016)
by: Бабенко, Л.П.
Published: (2016)
Методы обучения параллельно-иерархической сети и их применение для распознавания образов
by: Тимченко, Л.И., et al.
Published: (2011)
by: Тимченко, Л.И., et al.
Published: (2011)
Алгоритмы решения систем линейных уравнений в кольцах вычетов
by: Крывый, С.Л.
Published: (2016)
by: Крывый, С.Л.
Published: (2016)
Метод трапецоидов решения систем линейных неравенств и его реализация инсерционным моделированием
by: Львов, М.С., et al.
Published: (2012)
by: Львов, М.С., et al.
Published: (2012)
К распараллеливанию последовательных программ: распределение массивов между процессорами и структуризация коммуникаций
by: Адуцкевич, Е.В., et al.
Published: (2012)
by: Адуцкевич, Е.В., et al.
Published: (2012)
Математическое обеспечение для исследования состояний сложных систем в условиях неопределенности на основании нечетких сетевых моделей доверия
by: Парасюк, И.Н., et al.
Published: (2014)
by: Парасюк, И.Н., et al.
Published: (2014)
Оптимизированные по быстродействию и точности кодирования методы и алгоритмы повышения информационной эффективности фунционирования абонентских систем беспроводных сетей
by: Шевчук, Б.М.
Published: (2014)
by: Шевчук, Б.М.
Published: (2014)
Численная оптимизация на основе алгоритмов сортировки с приложением к дифференциальным и нелинейным уравнениям общего вида
by: Ромм, Я.Е., et al.
Published: (2011)
by: Ромм, Я.Е., et al.
Published: (2011)
Алгоритм регуляризации τ-метода Ланцоша и его реализация средствами алгебраического программирования
by: Денисенко, П.Н.
Published: (2011)
by: Денисенко, П.Н.
Published: (2011)
Метод автоматической генерации автотюнеров для параллельных программ
by: Иваненко, П.А., et al.
Published: (2014)
by: Иваненко, П.А., et al.
Published: (2014)
Технология формирования гибридных документов
by: Иванов, А.И., et al.
Published: (2014)
by: Иванов, А.И., et al.
Published: (2014)
Оптимизация тайлинга при численном решении многомерного уравнения теплопроводности на кольце процессоров
by: Соболевский, П.И., et al.
Published: (2010)
by: Соболевский, П.И., et al.
Published: (2010)
Качественный анализ системы противоопухолевого иммунитета на основе дерева решений
by: Марценюк, В.П., et al.
Published: (2015)
by: Марценюк, В.П., et al.
Published: (2015)
Метод построения нечеткой регрессионной модели на основе LARS для выбора значимых признаков
by: Ерохин, А.Л., et al.
Published: (2016)
by: Ерохин, А.Л., et al.
Published: (2016)
Измерение производительности параллельных компьютеров с распределенной памятью
by: Ющенко, Р.А.
Published: (2009)
by: Ющенко, Р.А.
Published: (2009)
Система управления комплексными проектами
by: Крижановский, В.В., et al.
Published: (2009)
by: Крижановский, В.В., et al.
Published: (2009)
Суперкомпьютерная технология моделирования жизненного цикла особо сложных технических объектов
by: Слободян, Я.Е.
Published: (2009)
by: Слободян, Я.Е.
Published: (2009)
Портал кластерных вычислений для управления вычислительными процессами на суперкомпьютерном комплексе
by: Якуба, A.А., et al.
Published: (2009)
by: Якуба, A.А., et al.
Published: (2009)
Сравнение методов распределения наблюдений на классы при прогнозировании наличия осложнений у тяжелобольных
by: Иванчук, М.А., et al.
Published: (2015)
by: Иванчук, М.А., et al.
Published: (2015)
Развитие отечественной технологии программирования
by: Лаврищева, Е.М.
Published: (2014)
by: Лаврищева, Е.М.
Published: (2014)
Синтез адаптивных логических сетей на основе полинома Жегалкина
by: Опанасенко, В.Н., et al.
Published: (2015)
by: Опанасенко, В.Н., et al.
Published: (2015)
Метод доказательства инвариантности линейных неравенств для линейных циклов
by: Львов, М.С.
Published: (2014)
by: Львов, М.С.
Published: (2014)
Метод организации параллельно-иерархической сети для распознавания образов
by: Тимченко, Л.И., et al.
Published: (2011)
by: Тимченко, Л.И., et al.
Published: (2011)
Методы синхронизации цифровых водяных знаков
by: Кошкина, Н.В.
Published: (2008)
by: Кошкина, Н.В.
Published: (2008)
Современное состояние теории мультимножеств с сущностной точки зрения
by: Редько, В.Н., et al.
Published: (2015)
by: Редько, В.Н., et al.
Published: (2015)
Аналитическое исследование составляющих ошибки для решения дискретных некорректных задач на основе случайного проецирования
by: Ревунова, Е.Г.
Published: (2015)
by: Ревунова, Е.Г.
Published: (2015)
Преобразование алгоритмов, записанных в виде композиционных схем
by: Акуловский, В.Г., et al.
Published: (2014)
by: Акуловский, В.Г., et al.
Published: (2014)
Национальная система электронных цифровых подписей как открытая система
by: Мелащенко, А.О., et al.
Published: (2011)
by: Мелащенко, А.О., et al.
Published: (2011)
Распознавание вторичной структуры ДНК нечеткими системами логического вывода
by: Сергиенко, И.В., et al.
Published: (2014)
by: Сергиенко, И.В., et al.
Published: (2014)
Агентные технологии для отбора информативных признаков
by: Олейник, Ан.А., et al.
Published: (2012)
by: Олейник, Ан.А., et al.
Published: (2012)
Математическое моделирование геометрических фракталов с помощью R-функций
by: Максименко-Шейко, К.В., et al.
Published: (2012)
by: Максименко-Шейко, К.В., et al.
Published: (2012)
Обобщение логистической регрессии, веса категории переменной и индекса Джини для непрерывной целевой переменной, принимающей вероятностные значения
by: Солошенко, А.Н.
Published: (2015)
by: Солошенко, А.Н.
Published: (2015)
Similar Items
-
Трансформационный подход к разработке программных архитектур на основе нечетких графовых моделей
by: Парасюк, И.Н., et al.
Published: (2008) -
Концепция создания параметрической системы проектирования параллельных алгоритмов и их программных реализаций
by: Погорелый, С.Д., et al.
Published: (2009) -
Генерирующее и сборочное программирование. Аспекты разработки семейств программных систем
by: Лаврищева, Е.М.
Published: (2013) -
Алгебраический подход к задаче решения систем линейных неравенств
by: Львов, М.С.
Published: (2010) -
Теория и практика фабрик программных продуктов
by: Лаврищева, Е.М.
Published: (2011)