Онтологический подход к спецификации свойств программных систем и их компонентов
Запропоновано новий підхід до організації життєвого циклу розробки програмних систем, орієнтований на максимально можливе використання готових рішень на всіх стадіях розробки нових програмних продуктів. Зазначений підхід ґрунтується на оригінальному механізмі спільного використання онтологій проблем...
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: Тимченко, Л.И., et al.
Published: (2011)
by: Тимченко, Л.И., et al.
Published: (2011)
Алгоритмы решения систем линейных уравнений в кольцах вычетов
by: Крывый, С.Л.
Published: (2016)
by: Крывый, С.Л.
Published: (2016)
Математическое обеспечение для исследования состояний сложных систем в условиях неопределенности на основании нечетких сетевых моделей доверия
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: Иваненко, П.А., 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)
Метод построения нечеткой регрессионной модели на основе LARS для выбора значимых признаков
by: Ерохин, А.Л., et al.
Published: (2016)
by: Ерохин, А.Л., et al.
Published: (2016)
Измерение производительности параллельных компьютеров с распределенной памятью
by: Ющенко, Р.А.
Published: (2009)
by: Ющенко, Р.А.
Published: (2009)
Портал кластерных вычислений для управления вычислительными процессами на суперкомпьютерном комплексе
by: Якуба, A.А., et al.
Published: (2009)
by: Якуба, A.А., et al.
Published: (2009)
Суперкомпьютерная технология моделирования жизненного цикла особо сложных технических объектов
by: Слободян, Я.Е.
Published: (2009)
by: Слободян, Я.Е.
Published: (2009)
Система управления комплексными проектами
by: Крижановский, В.В., et al.
Published: (2009)
by: Крижановский, В.В., et al.
Published: (2009)
Высокоточные максимальные напряжения в задаче о взаимодействии упругих волн с системой цилиндрических полостей в условиях плоской деформации
by: Панченко, Б.Е., et al.
Published: (2015)
by: Панченко, Б.Е., et al.
Published: (2015)
Порождающие паттерны проектирования в компьютерной лингвистике: Factory Method, Prototype, Singleton
by: Никоненко, А.А.
Published: (2012)
by: Никоненко, А.А.
Published: (2012)
Параллельная обработка данных многокомпонентных сейсмических наблюдений
by: Фальфушинский, В.В.
Published: (2011)
by: Фальфушинский, В.В.
Published: (2011)
Дополнение Nadra-3D add-on для программного комплекса Blender
by: Белоус, М.В.
Published: (2016)
by: Белоус, М.В.
Published: (2016)
Преобразование алгоритмов, записанных в виде композиционных схем
by: Акуловский, В.Г., et al.
Published: (2014)
by: Акуловский, В.Г., et al.
Published: (2014)
Методы синхронизации цифровых водяных знаков
by: Кошкина, Н.В.
Published: (2008)
by: Кошкина, Н.В.
Published: (2008)
Современное состояние теории мультимножеств с сущностной точки зрения
by: Редько, В.Н., et al.
Published: (2015)
by: Редько, В.Н., et al.
Published: (2015)
Аналитическое исследование составляющих ошибки для решения дискретных некорректных задач на основе случайного проецирования
by: Ревунова, Е.Г.
Published: (2015)
by: Ревунова, Е.Г.
Published: (2015)
Полиномиальные инварианты линейных циклов
by: Львов, М.С.
Published: (2010)
by: Львов, М.С.
Published: (2010)
О структуре полиномиальных инвариантов линейных циклов
by: Львов, M.C.
Published: (2015)
by: Львов, M.C.
Published: (2015)
Графовые запросы для интеграции данных посредством XML
by: Тульчинский, В.Г., et al.
Published: (2008)
by: Тульчинский, В.Г., et al.
Published: (2008)
Сбалансированная ставка зарплаты как функция капиталовооруженности труда и рыночной конъюнктуры
by: Дунаев, Б.Б.
Published: (2008)
by: Дунаев, Б.Б.
Published: (2008)
Сравнение методов распределения наблюдений на классы при прогнозировании наличия осложнений у тяжелобольных
by: Иванчук, М.А., et al.
Published: (2015)
by: Иванчук, М.А., et al.
Published: (2015)
Компьютерное моделирование получения и транспортировки сильноточных пучков заряженных частиц
by: Литовко, И.В.
Published: (2008)
by: Литовко, И.В.
Published: (2008)
Обобщение логистической регрессии, веса категории переменной и индекса Джини для непрерывной целевой переменной, принимающей вероятностные значения
by: Солошенко, А.Н.
Published: (2015)
by: Солошенко, А.Н.
Published: (2015)
Выделение частотных полос преобразованием Гильберта–Хуанга суточной последовательности сердечного ритма
by: Станкус, А., et al.
Published: (2014)
by: Станкус, А., et al.
Published: (2014)
Метод прогнозирования положения энергетического центра изображения лазерного пучка с использованием параллельно-иерархической сети
by: Тимченко, Л.И., et al.
Published: (2013)
by: Тимченко, Л.И., et al.
Published: (2013)
Развитие отечественной технологии программирования
by: Лаврищева, Е.М.
Published: (2014)
by: Лаврищева, Е.М.
Published: (2014)
Нелинейные инварианты линейных циклов и собственные полиномы линейных операторов
by: Львов, М.С., et al.
Published: (2012)
by: Львов, М.С., et al.
Published: (2012)
Similar Items
-
Трансформационный подход к разработке программных архитектур на основе нечетких графовых моделей
by: Парасюк, И.Н., et al.
Published: (2008) -
Концепция создания параметрической системы проектирования параллельных алгоритмов и их программных реализаций
by: Погорелый, С.Д., et al.
Published: (2009) -
Генерирующее и сборочное программирование. Аспекты разработки семейств программных систем
by: Лаврищева, Е.М.
Published: (2013) -
Алгебраический подход к задаче решения систем линейных неравенств
by: Львов, М.С.
Published: (2010) -
Теория и практика фабрик программных продуктов
by: Лаврищева, Е.М.
Published: (2011)