Моделі, методи та інструментальні засоби розробки багатоверсійного програмного забезпечення інформаційно-управляючих систем критичного застосування
Метод формування профілів багатоверсійного програмного забезпечення, який дозволяє автоматизувати процес визначення множини вимог для його розробки та верифікації. Модель його життєвого циклу, що враховує види та кількість версій на кожному етапі.
Подобные документы
Розробка методів, моделей, інформаційної технології розробки інформаційних систем при зміні вимог та організаційної структури об’єктів автоматизації. Конфігурація функціональної структури, виявлення та усунення невідповідностей між елементами метамоделі.
автореферат, добавлен 28.08.2015- 102. Технологія "CASE"
Порівняння життєвого циклу програмного забезпечення при традиційній розробці та з використанням "CASE-засобів". Системний підхід з розробкою мов високого рівня, методів структурного і модульного програмування, описів системних вимог і специфікацій.
реферат, добавлен 10.06.2014 Розробка методики створення засобів програмного захисту. Розщеплення захисту на дві ланки: фізичну та логічну. Конкретний спосіб захисту програмного забезпечення від несанкціонованого використання. Забезпечення автентичності навчальної звітності.
автореферат, добавлен 29.08.2015Дослідження, вдосконалення та аналіз моделей тестування надійності програмного забезпечення. Оптимізаційна процедура для моделі тестування програмного продукту. Стохастичний процес виявлення помилок, описаний з допомогою напівмарковського процесу.
статья, добавлен 25.08.2016Організація централізованої системи постачання товарів. Аналіз моделі управління запасами з детермінованим динамічним попитом. Основи процесу розробки програмного забезпечення. Суть проектування систем баз даних. Особливість опису інтерфейсу користувача.
магистерская работа, добавлен 22.01.2017Поняття та класифікація комп’ютерних вірусів. Характеристика антивірусного програмного забезпечення, особливості його застосування для користувача. Види сучасних комп’ютерних шкідливих програм, способи попередження зараження та заходи профілактики.
реферат, добавлен 10.11.2010Визначення гнучкості та факторів, які у процесі розробки програмного забезпечення можна контролювати завдяки неї. Характеристика відомих методологій, що існують та застосовуються у сфері IT-менеджменту у переході до Agile. Їх сильні та слабкі сторони.
статья, добавлен 08.11.2022Уточнення поведінкових моделей програмного забезпечення окремою операцією Model-Driven Architecture та Model-Driven Development і складовою у вирішенні завдань трансформації та верифікації моделей. Створення діаграм кооперацій відповідно до шаблонів.
статья, добавлен 28.02.2016Розробка математичної моделі специфікації вимог до програмного забезпечення, прогнозування характеристик ПЗ на основі аналізу специфікацій та математичної моделі процесу прогнозування характеристик ПЗ, в основі якої лежить штучна нейронна мережа.
статья, добавлен 13.10.2016- 110. Обґрунтування програмного забезпечення для автоматизації бухгалтерського обліку на підприємствах
Розробка програмного забезпечення для автоматизації бухгалтерського обліку на підприємстві. Розгляд системи, яка є достатньо функціональною, завершеною з точки зору обліку. Етапи переходу до створення інформаційної системи вибору програмного забезпечення.
статья, добавлен 29.07.2016 Уніфікована мова моделювання UML. Використання інформаційних технологій в індустрії розваг. Розробка моделі програмної системи засобами UML. Особливості створення покрокової рольової гри. Інтеграція проектування, розробки додатків в програмне середовище.
курсовая работа, добавлен 19.09.2017Визначення важливості інформаційно-технічних засобів у забезпеченні ефективності банківської діяльності. Аналіз основних інформаційних систем Національного банку, найважливішої системи електронних грошових переказів, а також її програмного забезпечення.
статья, добавлен 16.04.2021Дослідження впливу кластерного програмного забезпечення на прикладні програмні засоби, які були розроблені без урахування кластерного середовища. Розробка апаратно-програмного забезпечення серверів для використання в обчислювальному кластері openmosix.
автореферат, добавлен 25.02.2015Опис методології розробки комп’ютерної гри. Дослідження дерева цілей і критеріїв. Аналіз вимог і ризиків. Розробка моделі, технічного проекту і програмного коду. Перевірка працездатності усіх функцій, заданих модулю. Збір статистики, закупівля реклами.
курсовая работа, добавлен 16.02.2016Аналіз життєвого циклу програмного продукту, побудова функціональної моделі на мові UML. Графічні засоби моделювання предметної області інформаційних систем та їх операційне середовище. Модуль фільтрації зображень в частотній області, розробка інтерфейсу.
курсовая работа, добавлен 03.05.2015Поняття предметної області. Огляд електронних засобів навчання, їх класифікація. Комп’ютерні навчальні системи і системи дистанційної освіти, інструментальні засоби їх розробки. Методи машинного навчання (machine learning). Діагностика стану знань учня.
автореферат, добавлен 15.01.2016Дослідження методів підвищення відмовостійкості інформаційно-управляючих систем без зниження продуктивності обробки інформації. Розробка математичної моделі відмовостійкості. Оцінка позиційних і непозиційних операцій у модулярній системі числення.
автореферат, добавлен 29.07.2015Аналіз сучасних моделей і методів побудови та інтеграції автоматизованих систем життєвого циклу виробів промислових підприємств машинобудівної галузі. Програмні засоби аналітичного дослідження технологічних процесів підприємств та методи їх вдосконалення.
автореферат, добавлен 28.09.2015Розгляд та аналіз засад класичного підходу до оцінювання ймовірності безпомилкової роботи програмних систем. Дослідження за допомогою алгебричних методів можливих джерел дефектів програмного забезпечення. Обумовлення порушень інтервальних відношень.
статья, добавлен 25.03.2016- 120. Гра "Що спільного?"
Особливості розробки гри "Що спільного?" з використанням засобів візуального програмування. Дослідження і аналіз об'єкту програмування. Використані програмні засоби. Вимоги до апаратного та програмного забезпечення. Створення та налагодження програми.
курсовая работа, добавлен 23.05.2016 Огляд поглядів на мету і спрямованість негативних перевірок спеціального програмного забезпечення. Практика проведення негативного тестування при перевірці СПЗ, яке встановлюється на автоматизовані робочі місця пунктів управління Збройних Сил України.
статья, добавлен 29.05.2021Ознайомлення під час практики з роботою Селецької загальноосвітньої школи. Оцінка комплексу технічних засобів обробки інформації. Розгляд вимог техніки безпеки на робочому місці. Встановлення та налаштування операційної системи, програмного забезпечення.
отчет по практике, добавлен 07.08.2017Банкомат - автоматизований пристрій, що дозволяє віддалено здійснювати операції, пов'язані з аутентифікацією користувача, переглядом поточного стану рахунку та зняттям грошей. Визначення вимог до програмного забезпечення та аналіз предметної області.
курсовая работа, добавлен 25.06.2018- 124. Використання циклу
Поняття циклу з умовою, його сутність і особливості, місце та значення в Visual Basic. Принцип і етапи роботи вкладеного циклу. Синтаксис циклу з умовою, його різновиди та характеристика, відмінні риси. Принцип складання блок-схеми програмного коду.
лабораторная работа, добавлен 13.02.2009 Шкідливі програми і боротьба з наслідками їх діяльності протягом останнього десятиріччя як одна з найсерйозніших проблем для всіх, хто працює за комп’ютером. Розгляд особливостей захисту корпоративних систем від впливу шкідливого програмного забезпечення.
статья, добавлен 24.05.2020