Алгебричне аналізування надійності програмного забезпечення
Розгляд та аналіз засад класичного підходу до оцінювання ймовірності безпомилкової роботи програмних систем. Дослідження за допомогою алгебричних методів можливих джерел дефектів програмного забезпечення. Обумовлення порушень інтервальних відношень.
Подобные документы
Ознайомлення під час практики з роботою Селецької загальноосвітньої школи. Оцінка комплексу технічних засобів обробки інформації. Розгляд вимог техніки безпеки на робочому місці. Встановлення та налаштування операційної системи, програмного забезпечення.
отчет по практике, добавлен 07.08.2017Документація, яка ведеться при аналізі успішності учнів загальноосвітньої школи. Проектування бази даних та її структура. Розробка програмного забезпечення інформаційної системи. Структура програмного забезпечення. Інсталяція інформаційної системи.
дипломная работа, добавлен 27.07.2015Негативні тенденції в моделюванні збройної боротьби при впровадженні інформаційних технологій під час створення автоматизованих систем управління військового призначення. Розвиток спеціального математичного і програмного забезпечення воєнних дій.
статья, добавлен 02.02.2018Аналіз найвідоміших прикладів реалізації інтелектуальних інтерфейсів користувача - проектів компанії Microsoft. Розроблення концепції програмного забезпечення на підставі підходу "мінімальної взаємодії". Розділення адаптивного інтерфейсу і класичного.
статья, добавлен 29.03.2020Розробка програмного інструментарію для моделювання й тестування адаптивних систем керування розрядноімпульсними технологіями. Забезпечення надійності підтримки необхідних технологічних режимів в умовах стохастичності та невизначеності збурюючих впливів.
статья, добавлен 14.07.2016Технології, моделі створення програмного забезпечення, під яким маються на увазі комп'ютерні програми і відповідна документація. Архітектурне проектування. Управління проектами зі створення і впровадження ПЗ. Управління персоналом при реалізації проектів.
реферат, добавлен 31.05.2013Аналіз існуючих систем електронного бізнесу, засобів програмного забезпечення для цих систем та розробка необхідної Торгової Інтернет Системи для електронного бізнесу. Розробка методів потоків платежів на основі дерева сценаріїв в електронному бізнесі.
автореферат, добавлен 14.10.2015Обґрунтування створення програми редактору блок-схем за допомогою альтернативного програмного забезпечення. Шифрування текстів за допомогою багатоалфавітних замін та їх криптоаналіз. Проведення проектування, розробки і тестування програмного продукту.
курсовая работа, добавлен 09.01.2017Аналіз системного програмного забезпечення як "програмної оболонки" апаратних засобів, призначених для відокремлення інших програм від безпосередньої взаємодії з обладнанням та організації обробки інформації у комп'ютері. Організація інформаційних систем.
доклад, добавлен 09.07.2017Метод формування профілів багатоверсійного програмного забезпечення, який дозволяє автоматизувати процес визначення множини вимог для його розробки та верифікації. Модель його життєвого циклу, що враховує види та кількість версій на кожному етапі.
автореферат, добавлен 29.08.2014Архітектура програмного забезпечення диспетчерського тренажера. Відомі методи рішення завдань багатокритеріального вибору. Дослідження чутливості методу до помилок вихідних даних. QR-алгоритм зі зсувом з корекцією помилок на проміжних етапах обчислень.
автореферат, добавлен 25.08.2015Формування контингенту студентів усіх форм навчання за допомогою приймальної комісії. Основні тенденції використання локальних автоматизованих програм. Особливість розробки інформаційної системи "Конкурс". Аналіз організації програмного забезпечення.
статья, добавлен 09.12.2015Огляд поглядів на мету і спрямованість негативних перевірок спеціального програмного забезпечення. Практика проведення негативного тестування при перевірці СПЗ, яке встановлюється на автоматизовані робочі місця пунктів управління Збройних Сил України.
статья, добавлен 29.05.2021Розгляд процесів, які відбуваються в інформаційній системі. З'ясування елементів апаратної складової інформатичних систем. Принцип дії пристроїв введення інформації. Класифікація програмного забезпечення. Визначення основних функцій системних програм.
презентация, добавлен 24.10.2019Сутність та концепція логістики, огляд функціональних областей. Математичні моделі управління запасами. Методи прогнозування попиту. Алгоритмічне забезпечення задачі управління запасами, програмного забезпечення. Діаграма варіантів використання.
научная работа, добавлен 08.10.2017Об’єктно-орієнтоване програмування електронної книги рецептів. Розробка UML діаграм поведінки системи. Розробка графічного інтерфейсу програмних засобів комп’ютерної системи. Розробка структури бази даних. Контрольне тестування програмного забезпечення.
курсовая работа, добавлен 23.09.2017Знайомство з системами розробки програмного забезпечення на прикладах Pascal ABC, Delpfi, MVS. Основні інструменти розробки програм, що використовується у сучасному професійному програмуванні. Процес розробки та використання бази даних засобами MS Access.
отчет по практике, добавлен 22.07.2017Застосування закордонного апаратного та програмного забезпечення в Україні. Програмні закладки та шляхи боротьби з ними. Інформаційна безпека персональних комп’ютерів. Розгляд властивостей програмних закладок. Канали передачі віртуальної інформації.
статья, добавлен 29.08.2016Висвітлення специфіки й формування переліку soft skills, важливих для ІТ-фахівця. Дослідження ключових проблем при формуванні відповідних soft skills та способи їх подолання для розробників програмного забезпечення. Поведінкові компетентності фахівця.
статья, добавлен 22.01.2024Метод базового статичного аналізу шкідливого програмного забезпечення, що базується на пошуку та аналізі строк в файлах, що побудовані з використанням формату PE (Portable Executable). Метод базового статичного аналізу шкідливого програмного забезпечення.
статья, добавлен 15.10.2023Характеристика та види програмного забезпечення та комп'ютерних технологій на підприємстві. Принцип організації технологічного процесу експлуатації програмного забезпечення (Excel, Word), робота операційної системи (Microsoft Windows) та антивірусу.
отчет по практике, добавлен 04.03.2015Історія становлення та перспективи розвитку сучасної інформатики. Розроблення та використання об’єктно-орієнтованих мов програмування. Критерії оцінювання, регламентація та квантифікація зовнішніх і внутрішніх характеристик якості програмного продукту.
статья, добавлен 21.06.2023Розробники програмного забезпечення щодо реалізації ефективного управління освітнім процесом закладів вищої освіти в Україні. Особливості розробки автоматизованих систем управління освітнім процесом. Переваги комплексної інформаційно-аналітичної системи.
статья, добавлен 09.10.2018Розгляд дій експерта при дослідженні побітової копії цифрового накопичувача інформації з метою виявлення серед видалених даних, відомостей щодо використання програмного забезпечення "Mars Stealer", що позиціонується як програмний продукт типу "Stealer".
статья, добавлен 11.02.2024Побудова групами експертів, що взаємодіють за допомогою Internet, бази знань системи підтримки прийняття рішень, в якій використано метод динамічного цільового оцінювання альтернатив. Розгляд функцій та структури програмного забезпечення бази знань.
статья, добавлен 29.01.2019