Семантичні моделі, методи та інформаційна технологія підвищення надійності програмного забезпечення інформаційно-управляючих систем
Підвищення надійності програмного забезпечення систем управління шляхом розробки семантичних атрибутів, метрик, моделей, методів, заснованих на аналізі семантичних інваріантів. Впровадження їх у методиках та засобах підтримки верифікації та експертизи.
Подобные документы
Класифікація прикладного програмного забезпечення. Частини програмного забезпечення для додатків в САПР. Генерація прикладного програмного забезпечення. Бази даних САПР. Графічні стандарти. Рівні зв'язку графічних стандартів. Зв'язок через формат IGES.
реферат, добавлен 10.01.2009Метод базового статичного аналізу шкідливого програмного забезпечення, що базується на пошуку та аналізі строк в файлах, що побудовані з використанням формату PE (Portable Executable). Метод базового статичного аналізу шкідливого програмного забезпечення.
статья, добавлен 15.10.2023Аналіз основних понять про план виконання завдань програмного проекту та управління процесом його реалізації, що допомогло зрозуміти суть пропонованих методів і засобів. Плани виконання завдань програмного проекту та ефективного управління процесом.
статья, добавлен 29.03.2020- 104. Проектування інформаційно-освітнього середовища опорних закладів освіти в підручнику для керівника
Запровадження управлінських інформаційних систем, ІТ, програмного забезпечення, безкоштовних соціальних інструментів для освіти. Інформаційне забезпечення сучасного ВУЗа як засіб активізації й інтенсифікації ефективного управління освітнім процесом.
статья, добавлен 13.10.2018 Розробка структурно-категорних математичних моделей процесів прямого проектування розподіленої бази даних та її елементів. Синтез логічної та фізичної моделей, що враховують зв’язність таблиць і ступінь децентралізації бази даних, що проектується.
автореферат, добавлен 07.03.2014- 106. Організація та проведення змагань з армрестлінгу за допомогою програмного забезпечення "ArmRec"
Комп'ютеризація як важлива частина стратегії розвитку сучасного спорту. Розробка програмного забезпечення "ArmRec" та впровадження його в процес організації та проведення змагань з армрестлінгу. Основні компоненти та функціонал програмного забезпечення.
статья, добавлен 09.06.2024 Сутність та концепція логістики, огляд функціональних областей. Математичні моделі управління запасами. Методи прогнозування попиту. Алгоритмічне забезпечення задачі управління запасами, програмного забезпечення. Діаграма варіантів використання.
научная работа, добавлен 08.10.2017Класифікація моделей та методів дослідження виробничих систем у задачах автоматизованого управління програмою підприємства. Розробка інформаційних моделей опису виробничих систем для економічного моніторингу наукоємного високотехнологічного виробництва.
автореферат, добавлен 11.08.2014- 109. Розробка методів та програмного інструментарію створення прикладних програм для мобільних систем
Прикладні програми для мобільних систем, які враховують особливості апаратно-програмних платформ і спеціалізованих систем на їх основі. Побудова моделі прикладних програм. Перевірка її несуперечності на області програмного каркаса операційної системи.
автореферат, добавлен 29.08.2014 Забезпечення доступу користувачів інформаційних Web-порталів до затребуваної професійно-навчальної інформації. Комплекс моделей і методів та створення програмного забезпечення системи автоматизованого керування інформаційно-навчальним Web-контентом.
автореферат, добавлен 13.08.2015Розробка методики створення засобів програмного захисту. Розщеплення захисту на дві ланки: фізичну та логічну. Конкретний спосіб захисту програмного забезпечення від несанкціонованого використання. Забезпечення автентичності навчальної звітності.
автореферат, добавлен 29.08.2015Розробка математичної моделі надійності програмних засобів, яка дозволяє кількісно оцінити і прогнозувати значення показників надійності. Отримання кількісної оцінки показників надійності комп'ютерних систем при заданих обмеженнях і припущеннях.
статья, добавлен 25.12.2016Відмінності вільного програмного забезпечення від пропієтарного або напіввільного ПЗ. Категорії програмного забезпечення з точки зору умов їх ліцензій. Концепція "копілефт", що сформувалася як протилежність традиційному підходу до авторського права.
статья, добавлен 13.10.2016Шкідливі програми і боротьба з наслідками їх діяльності протягом останнього десятиріччя як одна з найсерйозніших проблем для всіх, хто працює за комп’ютером. Розгляд особливостей захисту корпоративних систем від впливу шкідливого програмного забезпечення.
статья, добавлен 24.05.2020Історія виникнення, сучасний стан розробки автоматизованих систем управління (АСУ), їх особливості та недоліки. Характеристика функціонального, організаційного, інформаційного, програмного аспектів інтеграції в АСУ. Функції інформаційно-пошукових систем.
контрольная работа, добавлен 22.09.2009Основи та головні рівні тестування програмного забезпечення. Класифікація і короткий огляд методів побудови тестів. Сутність програмування без персоналій. Документування робочого продукту. Внутрішні і незалежні команди. Послідовність розробки програми.
реферат, добавлен 24.06.2013Побудова діалогових моделей здобуття, обробки знань та надання адаптації інформаційних систем до когнітивних якостей користувача. Розробка програмного забезпечення адаптивних комп’ютерних технологій, орієнтованих на комунікативні довідкові процеси.
автореферат, добавлен 28.08.2015Визначення мови програмування, яка буде використовуватись для розробки програмного продукту. Розробка блок-схеми алгоритм роботи та інтерфейсу програмного продукту, програмного коду. Прикладне програмне забезпечення комп’ютерів інформаційної системи.
отчет по практике, добавлен 27.02.2020Проектування й створення систем управління промисловим обладнанням з використанням програмованих електронних систем управління. Вимоги до програмного забезпечення всіх систем з урахуванням специфікації задля їх безпеки відповідно до стандарту IEC 62061.
статья, добавлен 18.01.2022Основні принципи тестування програмного забезпечення. Об'єктно-орієнтована технологія в програмуванні: переваги та недоліки. Інтеграція об'єктів. Різновиди тестування. Інструментальні засоби. Тестування інформаційної системи "Навчально-методичний ресурс".
курсовая работа, добавлен 30.06.2016Опис предметної галузі застосування програмного забезпечення. Характеристика специфічних просторів імен, класів та функцій при роботі з системними процесами. Особливості демонстраційного інтерфейсу програмного забезпечення, значення програмного коду.
курсовая работа, добавлен 20.08.2017Розгляд процесів, які відбуваються у безпроводових сенсорних мережах шляхом їх моделювання, опису їх режимів роботи та аналізу критичних ділянок "вузьких" місць. Підвищення надійності функціонування мережі та мінімізації загроз її інформаційної безпеки.
статья, добавлен 29.06.2024Розробка моделей та методів оптимального керування життєвим циклом інноваційних продуктів в умовах невизначеності та побудова на їх основі прикладної системи підтримки прийняття рішень. Реалізація програмного комплексу системи підтримки прийняття рішень.
автореферат, добавлен 06.09.2013- 124. Розробка математичних моделей надійності складних систем з урахуванням динаміки умов їх експлуатації
Створення багатофакторної моделі надійності, у якій фактор-"вік" системи виділений із сукупності факторів, що визначають умови й режим експлуатації системи. Для контрольованих систем створення процедури оцінювання коефіцієнтів рівняння регресії.
автореферат, добавлен 26.07.2014 - 125. Інформаційна технологія автоматизації випробувань систем електрозабезпечення космічних апаратів
Огляд проблемних питань, пов’язаних з автоматизацією випробувань систем космічних апаратів. Обґрунтування інформаційної технології автоматизації випробувань систем електрозабезпечення космічних апаратів. Розробка програмного забезпечення для супутника.
автореферат, добавлен 26.08.2015