Семантичні моделі, методи та інформаційна технологія підвищення надійності програмного забезпечення інформаційно-управляючих систем
Відомі атрибути, метрики, методи та інструментальні засоби автоматизованої верифікації та сертифікації програмного забезпечення. Використання семантичних атрибутів для верифікації та експертизи програмного забезпечення інформаційно-управляючих систем.
Подобные документы
Методика визначення собівартості програмного забезпечення як нематеріального активу. Використання інтервальних обчислень для визначення собівартості програмного забезпечення на стадії попереднього планування та стадії визначення фактичної собівартості.
статья, добавлен 14.07.2016Шляхи підвищення ефективності застосування систем управління інформаційно-технологічними послугами. Моделі та інструментальні засоби для інтеграції систем управління в корпоративну ІТ-інфраструктуру та підвищення рівня інтелектуальної обробки даних.
автореферат, добавлен 19.06.2018- 78. Обґрунтування програмного забезпечення для автоматизації бухгалтерського обліку на підприємствах
Розробка програмного забезпечення для автоматизації бухгалтерського обліку на підприємстві. Розгляд системи, яка є достатньо функціональною, завершеною з точки зору обліку. Етапи переходу до створення інформаційної системи вибору програмного забезпечення.
статья, добавлен 29.07.2016 Шкідливі програми і боротьба з наслідками їх діяльності протягом останнього десятиріччя як одна з найсерйозніших проблем для всіх, хто працює за комп’ютером. Розгляд особливостей захисту корпоративних систем від впливу шкідливого програмного забезпечення.
статья, добавлен 24.05.2020Забезпечення за допомогою програмного забезпечення необхідної підтримки для оптимізації процесів, підвищення швидкості реагування та покращення якості медичних послуг. Алгоритми оптимізації маршрутів та інтеграції з іншими системами охорони здоров’я.
статья, добавлен 09.12.2024Альтернативні підходи до впровадження сучасних програмних додатків в галузі охорони здоров’я. Приклади використання програмного забезпечення медичних інформаційних систем (МІС) електронних медичних карток. Проектування баз даних МІС "Медична реєстратура".
статья, добавлен 30.01.2016Етапи робіт, що проводяться у заданому порядку протягом періоду часу, який починається з вирішення питання про розроблення програмного забезпечення і закінчується припиненням його використання. Каскадна модель життєвого циклу інформаційної системи.
реферат, добавлен 22.07.2017Розробка сучасного програмного засобу для визначення якості програмного забезпечення методами метричного аналізу. Розрахунок за допомогою показників якості відповідних метрик і визначення значення комплексного показника якості програмного продукту.
статья, добавлен 29.03.2020Дослідження проблем та особливостей розподіленої розробки програмного забезпечення систем керування проектами, визначення рівнів співпраці між учасниками розподілених команд. Аналіз програмних продуктів підтримки розподілених систем керування проектами.
статья, добавлен 25.10.2016Сутність та концепція логістики, огляд функціональних областей. Математичні моделі управління запасами. Методи прогнозування попиту. Алгоритмічне забезпечення задачі управління запасами, програмного забезпечення. Діаграма варіантів використання.
научная работа, добавлен 08.10.2017Забезпечення доступу користувачів інформаційних Web-порталів до затребуваної професійно-навчальної інформації. Комплекс моделей і методів та створення програмного забезпечення системи автоматизованого керування інформаційно-навчальним Web-контентом.
автореферат, добавлен 13.08.2015Підвищення ефективності процесів комерційної команди за рахунок розробки моделі вибору програмного забезпечення для оцінки мобільних додатків, коли критерії задані інтервальними значеннями. Модель програмного забезпечення для оцінки мобільних додатків.
статья, добавлен 07.01.2023Аналіз процесу оцінювання та вибору технологій проектування програмного забезпечення. Визначення їх основних переваг, недоліків та використовуваності. Вивчення впливу певних характеристик програмного проекту на вибір технології, методології, середовища.
статья, добавлен 30.10.2016Визначення важливості інформаційно-технічних засобів у забезпеченні ефективності банківської діяльності. Аналіз основних інформаційних систем Національного банку, найважливішої системи електронних грошових переказів, а також її програмного забезпечення.
статья, добавлен 16.04.2021Дослідження, вдосконалення та аналіз моделей тестування надійності програмного забезпечення. Оптимізаційна процедура для моделі тестування програмного продукту. Стохастичний процес виявлення помилок, описаний з допомогою напівмарковського процесу.
статья, добавлен 25.08.2016Визначення мови програмування, яка буде використовуватись для розробки програмного продукту. Розробка блок-схеми алгоритм роботи та інтерфейсу програмного продукту, програмного коду. Прикладне програмне забезпечення комп’ютерів інформаційної системи.
отчет по практике, добавлен 27.02.2020Негативні тенденції в моделюванні збройної боротьби при впровадженні інформаційних технологій під час створення автоматизованих систем управління військового призначення. Розвиток спеціального математичного і програмного забезпечення воєнних дій.
статья, добавлен 02.02.2018Розробка програми призначеної для пошуку книги в типізованому файлі даних. Вимоги до функціональних характеристик. Створення формальних моделей та визначення специфікації програмного забезпечення, що розробляється. Організація вхідних і вихідних даних.
лабораторная работа, добавлен 25.03.2021Місце інформаційних систем у підвищенні рівня інформатизації виробничих і управлінських процесів. Побудова адаптивної моделі прогнозування ціни комплектуючого. Ключові вимоги щодо обрання системи керування базою даних та програмного забезпечення.
дипломная работа, добавлен 11.06.2015Дослідження метрики програмного забезпечення. Теоретичні підходи до розрахунку штату програмістів, необхідних для підтримки єдиного інформаційного середовища. Вимоги надійності програмного забезпечення. Розгляд деталізованої класифікації програмістів.
статья, добавлен 08.02.2019Розгляд особливостей реалізації програмного забезпечення телемедичної системи клієнт-серверної архітектури з точки зору забезпечення надійності проходження інформації і ефективного використання каналів зв’язку. Синхронізація роботи клієнтських процесів.
статья, добавлен 29.01.2019Навігаційне забезпечення військ як один з видів топогеодезичного забезпечення військ. Нові вимоги до забезпечення військ картографічними матеріалами. Використання програмного забезпечення інструментальних картографічних та геоінформаційних систем.
статья, добавлен 22.07.2018- 98. Проектування інформаційно-освітнього середовища опорних закладів освіти в підручнику для керівника
Запровадження управлінських інформаційних систем, ІТ, програмного забезпечення, безкоштовних соціальних інструментів для освіти. Інформаційне забезпечення сучасного ВУЗа як засіб активізації й інтенсифікації ефективного управління освітнім процесом.
статья, добавлен 13.10.2018 Математичні моделі надання знань про об'єкт охорони й інформаційно-технічні засоби за рахунок застосування алгебри кінцевих предикатів. Розробка програмного забезпечення процесу підтримки прийняття рішень оператором у разі виникнення позаштатної ситуації.
автореферат, добавлен 25.02.2014Уніфікований життєвий цикл, що базується на інтерактивній моделі проектування. Створення програмного забезпечення, орієнтованого на інтелектуальну підтримку CASE-засобів. Алгоритм оцінки складності об’єктно-орієнтованих програм в складі підсистеми.
автореферат, добавлен 25.04.2014