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

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Кибернетика и системный анализ
Дата:	2009
Автор:	Бабенко, Л.П.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Порождающие паттерны проектирования в компьютерной лингвистике: Factory Method, Prototype, Singleton
за авторством: Никоненко, А.А.
Опубліковано: (2012)

Параллельная обработка данных многокомпонентных сейсмических наблюдений
за авторством: Фальфушинский, В.В.
Опубліковано: (2011)

Дополнение Nadra-3D add-on для программного комплекса Blender
за авторством: Белоус, М.В.
Опубліковано: (2016)

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

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

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

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

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

О структуре полиномиальных инвариантов линейных циклов
за авторством: Львов, M.C.
Опубліковано: (2015)

Графовые запросы для интеграции данных посредством XML
за авторством: Тульчинский, В.Г., та інші
Опубліковано: (2008)

Сбалансированная ставка зарплаты как функция капиталовооруженности труда и рыночной конъюнктуры
за авторством: Дунаев, Б.Б.
Опубліковано: (2008)

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

Компьютерное моделирование получения и транспортировки сильноточных пучков заряженных частиц
за авторством: Литовко, И.В.
Опубліковано: (2008)

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

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

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

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

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