1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Программа длявыявления конфликтовмежду требованиями кпрограммному продукту: регистрацияпрограммы для ЭВМ Муртазина Марина ШамильевнаАвдеенко Татьяна Владимировна2019 год

Программа для выявления конфликтов между требованиями к программному продукту : регистрация программы для ЭВМ
патент

Дополнительные ссылки: eLibrary
База данных: Каталог библиотеки СФУ
Библиографическое описание: Программа для выявления конфликтов между требованиями к программному продукту : регистрация программы для ЭВМ / М. Ш. Муртазина, Т. В. Авдеенко ; патентообладатель Федеральное государственное бюджетное образовательное учреждение высшего образования «Новосибирский государственный технический университет». - № 2018665217 ; Заявл. 26.12.2018. - [Б. м. : б. и.], 2019. - Б. ц. - Текст : непосредственный.
Аннотация: Программа предназначена для выявления конфликтов между требованиями к программному продукту. Входными данными для программы являются файлы OWL онтологий требований. Программа обеспечивает выполнение следующих функций: построение продукционных правил для обработки отношений между концептами онтологии, сохранение построенной модели, редактирование ранее построенных моделей, анализ требований, представленных в виде экземпляров классов OWL онтологии по построенным моделям. В ходе анализа требований программа импортирует данные об экземплярах классов и отношениях между ними в базу фактов на языке Prolog, правила модели - в правила логического вывода на языке Prolog и выполняет поиск решения, сопоставляя требования попарно.
Год издания: 2019
Авторы: Муртазина Марина Шамильевна, Авдеенко Татьяна Владимировна
Авторский коллектив: Федеральное государственное бюджетное образовательное учреждение высшего образования «Новосибирский государственный технический университет»
Держатель оригинала документа: Федеральное государственное бюджетное образовательное учреждение высшего образования «Новосибирский государственный технический университет»
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки

Похожие публикации

Интеллектуальнаясистема поддержкипринятия решений вобласти инженериитребований при гибкомподходе к разработке… Муртазина Марина ШамильевнаАвдеенко Татьяна Владимировна2018 год

Интеллектуальная система поддержки принятия решений в области инженерии требований… : регистрация программы для ЭВМ

  • Муртазина Марина Шамильевна и др.
  • 2018 год
ПОИСК КОНФЛИКТОВМЕЖДУ ТРЕБОВАНИЯМИ КПРОГРАММНОМУ ПРОДУКТУ Муртазина М.Ш.Авдеенко Т.В.2018 год

ПОИСК КОНФЛИКТОВ МЕЖДУ ТРЕБОВАНИЯМИ К ПРОГРАММНОМУ ПРОДУКТУ : доклад, тезисы доклада

  • Муртазина М.Ш. и др.
  • 2018 год
ОНТОЛОГИЯ ДЛЯСПЕЦИФИКАЦИИТРЕБОВАНИЙ КПРОГРАММНОМУ ПРОДУКТУ Терехин М.В.Муртазина М.Ш.2021 год

ОНТОЛОГИЯ ДЛЯ СПЕЦИФИКАЦИИ ТРЕБОВАНИЙ К ПРОГРАММНОМУ ПРОДУКТУ : доклад, тезисы доклада

  • Терехин М.В. и др.
  • 2021 год
Выявление конфликтовв спецификациитребований на основеонтологической моделии системыпродукционных правил Муртазина М.Ш.Авдеенко Т.В.2019 год

Выявление конфликтов в спецификации требований на основе онтологической модели и системы… : доклад, тезисы доклада

  • Муртазина М.Ш. и др.
  • 2019 год
Программный комплексдля интеллектуальнойподдержкиисследованиявзаимосвязей междувыдачейобразовательногоконтента… Авдеенко Татьяна ВладимировнаПустовалова Наталья ВикторовнаМуртазина Марина Шамильевна2022 год

Программный комплекс для интеллектуальной поддержки исследования взаимосвязей между… : регистрация программы для ЭВМ

  • Авдеенко Татьяна Владимировна и др.
  • 2022 год
Онтологический подходк интеллектуальнойподдержке инженериитребований при гибкойразработкепрограммных продуктов Муртазина М.Ш.Авдеенко Т.В.2020 год

Онтологический подход к интеллектуальной поддержке инженерии требований при гибкой… : доклад, тезисы доклада

  • Муртазина М.Ш. и др.
  • 2020 год

Тестирование программных продуктов. Ч. 1. Тестирование программных продуктов. Часть 1 : Учебно-методическое пособие к…

  • Елизаров Д. А.
  • 2023 год
ПРОГРАММНЫЙ МОДУЛЬВЫЯВЛЕНИЯ ЮРИДИЧЕСКИХЛИЦ, ИМЕЮЩИХНЕДОСТОВЕРНЫЕСВЕДЕНИЯ В ЕГРЮЛ, СПРИМЕНЕНИЕМТЕХНОЛОГИЙ… Елисеева Ирина НиколаевнаБородулин Алексей СергеевичТынченко Вадим Сергеевич2024 год

ПРОГРАММНЫЙ МОДУЛЬ ВЫЯВЛЕНИЯ ЮРИДИЧЕСКИХ ЛИЦ, ИМЕЮЩИХ НЕДОСТОВЕРНЫЕ СВЕДЕНИЯ В ЕГРЮЛ,… : регистрация программы для ЭВМ

  • Елисеева Ирина Николаевна и др.
  • 2024 год

Показать ещё

Разработка и анализ требований проектирования программного обеспечения: практикум

  • Петрова О. Б.
  • 2022 год
Программное ядроинфраструктурыимитационногомоделирования Ноженкова Людмила ФедоровнаИсаева Ольга СергеевнаМарков Алексей Александрович2018 год

Программное ядро инфраструктуры имитационного моделирования : регистрация программы для ЭВМ

  • Ноженкова Людмила Федоровна и др.
  • 2018 год

Гигиенические требования безопасности и пищевой ценности пищевых продуктов

  • 2021 год
Библиотекаунифицированныхпрограммных моделейдля исследованияэлектромеханическихсистем Бронов Сергей АлександровичКривова Дарья ДмитриевнаЗаболотский Иван Александрович2024 год

Библиотека унифицированных программных моделей для исследования электромеханических… : регистрация программы для ЭВМ

  • Бронов Сергей Александрович и др.
  • 2024 год
Программный модульконтроля действийпользователей длявыявления ипредотвращенияпотенциальных фактовутечки… Сомова Марина ВалериевнаЦура Данил ВикторовичМулонов Артем Октябрьевич2025 год

Программный модуль контроля действий пользователей для выявления и предотвращения… : регистрация программы для ЭВМ

  • Сомова Марина Валериевна и др.
  • 2025 год
Программная модельформированияширотно-модулированных импульсов длясистемы моделированиядинамических объектов Бронов Сергей АлександровичКривова Дарья ДмитриевнаЗаболотский Иван Александрович2024 год

Программная модель формирования широтно-модулированных импульсов для системы… : регистрация программы для ЭВМ

  • Бронов Сергей Александрович и др.
  • 2024 год
Модуль кластеризацииналогоплательщиков поданнымконтрольно-кассовойтехники для выявленияаномального поведения Токарев Сергей ИгоревичВасильев Денис ИгоревичБородулин Алексей Сергеевич2024 год

Модуль кластеризации налогоплательщиков по данным контрольно-кассовой техники для… : регистрация программы для ЭВМ

  • Токарев Сергей Игоревич и др.
  • 2024 год
Программный модульпредставления данныхучебного плана дляего визуализации ввиде взвешенногонеориентированногографа Халтурин Евгений АлександровичЗыкова Татьяна ВикторовнаКытманов Алексей Александрович2023 год

Программный модуль представления данных учебного плана для его визуализации в виде… : регистрация программы для ЭВМ

  • Халтурин Евгений Александрович и др.
  • 2023 год