Семантичні моделі, методи та інформаційна технологія підвищення надійності програмного забезпечення інформаційно-управляючих систем
Відомі атрибути, метрики, методи та інструментальні засоби автоматизованої верифікації та сертифікації програмного забезпечення. Використання семантичних атрибутів для верифікації та експертизи програмного забезпечення інформаційно-управляючих систем.
Подобные документы
Розробка алгоритмів та програмного забезпечення для автоматизованого формулювання умов працездатності складних технічних систем. Програмне забезпечення візуалізації структурних схем надійності та автоматизованого формулювання умов працездатності систем.
статья, добавлен 23.03.2020Впровадження в процеси управління автоматизованих інформаційних систем. Деякі аспекти та переваги нового покоління мікропроцесорів Allwinner H616 у порівнянні з аналогами. Продуктивність даного процесора за допомогою програмного забезпечення UnixBench.
статья, добавлен 07.12.2024Розробка гнучкої комп’ютеризованої системи на основі XML, яка призначена для заповнення метаданих освітніх інформаційних ресурсів. Характеристика розробленого програмного забезпечення. Розрахунок економічного ефекту по впровадженню програмного продукту.
дипломная работа, добавлен 22.10.2012Знайомство з системами розробки програмного забезпечення на прикладах Pascal ABC, Delpfi, MVS. Основні інструменти розробки програм, що використовується у сучасному професійному програмуванні. Процес розробки та використання бази даних засобами MS Access.
отчет по практике, добавлен 22.07.2017Побудова математичної моделі специфікації вимог до програмного забезпечення. Визначення ступенів впливу показників специфікації в межах характеристики. Критичний вплив на програмні проекти та на успішність їх завершення. Прогнозована вартість помилки.
статья, добавлен 28.02.2016Методи підвищення надійності інформаційних систем, раціональний вибір параметрів для оновлення програмних засобів. Оцінювання надійності ІС в умовах прояву власних дефектів і зовнішніх впливів. Впровадження моделі в ІС критичної і бізнес-критичної галузі.
автореферат, добавлен 28.08.2014Встановлення вразливості Web-додатків, власного програмного забезпечення та конфігурації. Визначення поширеності проблеми забезпечення надійності Web-додатків. Характеристика функцій брандмауера WAF, як універсального методу захисту Web-додатків.
статья, добавлен 11.03.2018Теплове проектування електронних пристроїв, яке зводиться до розв’язування систем лінійних алгебраїчних рівнянь великої розмірності. Оптимізація використання наявної обчислювальної інфраструктури за допомогою математичного та програмного забезпечення.
автореферат, добавлен 20.07.2015Розроблення методу проектування вимог якості до програмних систем, на всіх стадіях життєвого циклу. Формування та оцінка програмного комплексу підтримки методу проектування вимог та автоматизації процесу оцінювання якості заданих програмних систем.
автореферат, добавлен 14.08.2015Методи підвищення швидкодії функціональної верифікації цифрових систем на кристалах. Програмне забезпечення логічного моделювання, виконуване на послідовному комп'ютері. Удосконалення моделі сферичного мультипроцесора, розв’язання булевих рівнянь.
автореферат, добавлен 26.08.2015Проблема планування виробничих запасів на підприємстві. Розробка алгоритмічного та програмного забезпечення для прийняття рішень при плануванні складських запасів. Використання програмного забезпечення оператором, особою, що формує та приймає рішення.
курсовая работа, добавлен 08.05.2016Визначення особливостей математичних задач, для вирішення яких можуть бути використані різні методи та спеціалізоване програмне забезпечення, що дозволяє підвищити ефективність використання цих методів. Програмні модулі та управляючі системні програми.
статья, добавлен 15.02.2018Розгляд особливості, механізмів та інструментів віртуального 3D тypy, що виник завдяки сучасним інформаційно-комунікаційним технологіям та можливостям Інтернету. Висвітлено особливості апаратного і програмного забезпечення створення та використання турів.
статья, добавлен 30.10.2020Підвищення точності розрахунку показників надійності відмовостійких багатопроцесорних систем, що здатні реконфігуруватися. Розробка модифікацій метода статистичних експериментів для оцінки надійності ВБС. Програмне забезпечення для проведення досліджень.
автореферат, добавлен 29.07.2015Поява перших персональних комп'ютерів, їх будова і методи класифікації. Базова конфігурація персональних комп'терів, програмне забезпечення. Носії, системне та прикладне забезпечення, розробка та стандарти, ліцензія. Класи програмного забезпечення.
реферат, добавлен 10.03.2019Розробка багатофункціонального тесту для тренування людської пам’яті. Аналіз предметного середовища та засоби розробки: пам’ять, види тестів. Створення програмного проекту, інформаційне забезпечення. Алгоритмізація та кодування програмного продукту.
дипломная работа, добавлен 11.06.2015Аналіз існуючого програмного забезпечення поштових систем, методика та засоби їх захисту. Ризики, пов`язані з використанням електронної пошти, політика її використання підприємством на сучасному етапі. Розробка системи колективної роботи даної пошти.
дипломная работа, добавлен 21.09.2010Розробка програмного інструментарію для моделювання й тестування адаптивних систем керування розрядноімпульсними технологіями. Забезпечення надійності підтримки необхідних технологічних режимів в умовах стохастичності та невизначеності збурюючих впливів.
статья, добавлен 14.07.2016Метод базового статичного аналізу шкідливого програмного забезпечення, що базується на пошуку та аналізі строк в файлах, що побудовані з використанням формату PE (Portable Executable). Метод базового статичного аналізу шкідливого програмного забезпечення.
статья, добавлен 15.10.2023Характеристика прикладного програмного забезпечення загального та спеціального призначення. Основні функції операційної системи. Сутність командного та семантичного інтерфейсів. Особливість розширення імені файлу. Аналіз поняття та символів маски.
презентация, добавлен 12.10.2016Розробка програмного забезпечення для операції про оптимальний раціоні харчування дітей молодшого шкільного віку. Загальна схема та класифікація кінцевих методів розв’язування задачі. Обґрунтування вибору засобів прикладного програмного забезпечення.
курсовая работа, добавлен 22.09.2014Аналіз і характеристика особливостей захисту персональних комп'ютерів. Опис спеціального програмного забезпечення для захищення і шифрування інформації. Розробка комплексного програмного продукту, який реалізує обмін даними за допомогою серверу.
дипломная работа, добавлен 28.07.2017Визначення можливих видів модифікації запитів у результаті застосування денормалізації. Методика зміни схеми відношень бази даних для конкретних варіантів реструктуризації. Розроблення програмного забезпечення для підтримки технології реструктуризації.
автореферат, добавлен 26.09.2015Типи шкідливого програмного забезпечення: троянські коні, віруси, черв'яки. Механізм дії антивірусів: детекторів, полифагів, ревізорів, вакцин. Традиційні методи "вилову" файлових вірусів. Огляд антивірусних програм. Правила "виживання" для користувача.
реферат, добавлен 21.02.2011Характеристика важливості та впливу мистецтва створення запитів на розвиток індустрії програмного забезпечення. Дослідження ключових механізмів, які надають цьому підходу визначальне значення у формуванні нових та ефективних практик програмування.
статья, добавлен 11.06.2024