Cover Image

Нечіткий трансформаційний підхід до розробки програмних систем

У роботі дається огляд основних категорій трансформаційних підходів та формалізується процес розробки програмного забезпечення на основі нечітких графових моделей. Модель програмної системи представляється у вигляді нечіткого графу, вершинами якого є сутності та об’єкти. Процес роз...

Full description

Saved in:

Bibliographic Details
Date:	2004
Main Authors:	Сергієнко, І.В., Парасюк, I.М., Єршов, С.В.
Format:	Article
Language:	Ukrainian
Published:	Інститут програмних систем НАН України 2004
Subjects:	Формальные методы в программировании
Online Access:	https://nasplib.isofts.kiev.ua/handle/123456789/2283
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:	Нечіткий трансформаційний підхід до розробки програмних систем/ I.В.Сергієнко, І.М.Парасюк, С.В Єршов// Проблеми програмування. — 2004. — N 2,3. — С. 122-132. — Бібліогр.: 45 назв. — укр.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Similar Items

Булева оптимизация алгоритмов решения систем линейных диофантовых уравнений
by: Лопатина, М.В.
Published: (2004)

Об алгоритмах представления транзиционных систем с помощью бинарных диаграмм решений
by: Багрий, Р.О.
Published: (2004)

Реализация алгоритма преобразования неординарной сети Петри в ординарную
by: Усатюк, О.В., et al.
Published: (2004)

Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC, с помощью формализма сетей Петри
by: Матвеева, Л.Е.
Published: (2004)

Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics
by: Bača, J., et al.
Published: (2004)

О реализации вычислений в задачах анализа программ, определенных над векторными пространствами
by: Львов, С.М.
Published: (2004)

Синтез автомата, специфицированного множеством дизъюнктов
by: Чеботарев, А.Н.
Published: (2003)

Трансформаційний підхід типу «модель-модель» для реалізації байєсівських механізмів інтелектуального аналізу даних
by: Парасюк, І.М., et al.
Published: (2006)

Компонентно-орієнтований підхід до розробки програмних систем на основі інтеграції менеджерів інформаційних ресурсів
by: Грищенко, В.М.
Published: (2005)

НЕЧІТКИЙ ПІДХІД ДО ВИРІШЕННЯ ЗАДАЧІ ІДЕНТИФІКАЦІЇ КОЛЬОРОВИХ ВІДТІНКІВ
by: Роїк, О. М., et al.
Published: (2017)

Підхід до моделювання якості сімейств програмних систем
by: Коваль, Г.І.
Published: (2009)

Підхід до оцінювання економічних характеристик проектних рішень при розробці, модифікації та реінжинірингу програмних систем
by: Стрєлов, І.А., et al.
Published: (2004)

Підхід до керування надійністю та якістю програмних систем
by: Коваль, Г.І.
Published: (2007)

Методи аналізу програмних архітектур, представлених нечіткими графовими моделями
by: Парасюк, І.М., et al.
Published: (2006)

Промисловий трансформаційний потенціал регіонів України
by: Захарченко, В.І.
Published: (2007)

Ризико-операційний підхід до вирішення проблеми оптимального випуску програмних систем
by: Мороз, Г.Б., et al.
Published: (2006)

Розвиток спіральної моделі життєвого циклу програмних систем
by: Алексєєв, В.А., et al.
Published: (2003)

Інститут програмних систем НАН України: історія і сьогодення (до 30-річчя від дня заснування установи)
by: Сергієнко, І.В.
Published: (2022)

Інструментально-технологічний комплекс для розробки й навчання прийомам виробництва програмних систем
by: Лавріщева, К.М.
Published: (2012)

СУЧАСНІ ПІДХОДИ ДО УПРАВЛІННЯ ОРГАНІЗАЦІЙНИМИ ЗМІНАМИ: СТРАТЕГІЧНИЙ, ПОВЕДІНКОВИЙ ТА ТРАНСФОРМАЦІЙНИЙ АСПЕКТИ
by: Kaschuck, Kateryna
Published: (2025)

Моделе-орієнтовані методи побудови та оцінювaння програмних архітектур на основі нечітких графів
by: Парасюк, І.М., et al.
Published: (2008)

Задачі та засоби моделювання й оцінювання життєздатних програмних систем
by: Ігнатенко, П.П., et al.
Published: (2003)

Теоретико-груповий підхід до синтезу складних зображень
by: Березький, О.М.
Published: (2009)

Проблеми оцінювання якості критичних програмних систем при їх сертифікації
by: Райчев, І.Е., et al.
Published: (2004)

Підхід до побудови об’єктно-компонентної моделі сімейства програмних продуктів
by: Лавріщева, К.М., et al.
Published: (2013)

Нечіткий фондовий портфель. Дослідження та оптимізація
by: Murga, N. А.
Published: (2010)

Аналітичний огляд підходів до інтеграції програмних систем
by: Дивак, Ю.А.
Published: (2021)

Звітує Інститут програмних систем
Published: (2005)

Комбінаторний підхід до синтезу нових 6-аза аналогів урацилу та тиміну
by: Томачинський, С.М., et al.
Published: (2000)

Методи еволюції програмних компонентів для їх повторного застосування
by: Грищенко, В.М.
Published: (2004)

Загальна класифікація та системний підхід до розробки конструкцій валкових пресів
by: Баюл, Костянтин, et al.
Published: (2023)

Моделювання вимог до якості програмних систем оброблення даних
by: Коваль, Г.І., et al.
Published: (2006)

Підхід до адаптивної композиції сервісів в semantic web середовищі на основі потоків робіт програмних агентів
by: Дерецький, В.
Published: (2008)

Моделі і методи тестування програмних систем
by: Коротун, Т.М.
Published: (2007)

Підходи інженерії якості сімейств програмних систем
by: Лавріщева, К.М., et al.
Published: (2008)

Трансформаційний вплив Індустрії 4.0 на глобальні мережі виробництва та ланцюги вартості
by: Cherkas, Nataliia I.
Published: (2018)

Трансформаційний вплив Індустрії 4.0 на глобальні мережі виробництва та ланцюги вартості
by: Черкас, Н.І.
Published: (2018)

Аналіз міжнародних підходів до розробки систем показників безпеки
by: Лігоцький, О.І., et al.
Published: (2009)

Метод об'єктно-компонентного проектування програмних систем
by: Грищенко, В.М.
Published: (2007)

Нечіткий МГУА та його застосування для прогнозування фінансових процесів
by: Zaychenko, Yuriy, et al.
Published: (2019)