Моделі, методи та інструментальні засоби розробки багатоверсійного програмного забезпечення інформаційно-управляючих систем критичного застосування
Метод формування профілів багатоверсійного програмного забезпечення, який дозволяє автоматизувати процес визначення множини вимог для його розробки та верифікації. Модель його життєвого циклу, що враховує види та кількість версій на кожному етапі.
Подобные документы
Огляд безкоштовного XHTML-редактора для розробки електронних навчальних матеріалів "eXeLearning". Властивості та функціонал редактора, досвід його використання та застосування в сучасних умовах вітчизняної освіти при взаємодії між учнем і викладачем.
статья, добавлен 27.12.2016Архітектура програмного забезпечення диспетчерського тренажера. Відомі методи рішення завдань багатокритеріального вибору. Дослідження чутливості методу до помилок вихідних даних. QR-алгоритм зі зсувом з корекцією помилок на проміжних етапах обчислень.
автореферат, добавлен 25.08.2015Розгляд особливостей експертних систем технічного діагностування як програмних систем. Дослідження методів формування вимог до програмного забезпечення та можливості їх застосування під час формування вимог до експертних систем технічного діагностування.
статья, добавлен 14.01.2017Розробка програми призначеної для пошуку книги в типізованому файлі даних. Вимоги до функціональних характеристик. Створення формальних моделей та визначення специфікації програмного забезпечення, що розробляється. Організація вхідних і вихідних даних.
лабораторная работа, добавлен 25.03.2021Розробка методів, моделей, інформаційної технології розробки інформаційних систем при зміні вимог та організаційної структури об’єктів автоматизації. Конфігурація функціональної структури, виявлення та усунення невідповідностей між елементами метамоделі.
автореферат, добавлен 28.08.2015Аналіз і характеристика особливостей захисту персональних комп'ютерів. Опис спеціального програмного забезпечення для захищення і шифрування інформації. Розробка комплексного програмного продукту, який реалізує обмін даними за допомогою серверу.
дипломная работа, добавлен 28.07.2017- 107. Технологія "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- 115. Обґрунтування програмного забезпечення для автоматизації бухгалтерського обліку на підприємствах
Розробка програмного забезпечення для автоматизації бухгалтерського обліку на підприємстві. Розгляд системи, яка є достатньо функціональною, завершеною з точки зору обліку. Етапи переходу до створення інформаційної системи вибору програмного забезпечення.
статья, добавлен 29.07.2016 Уніфікована мова моделювання UML. Використання інформаційних технологій в індустрії розваг. Розробка моделі програмної системи засобами UML. Особливості створення покрокової рольової гри. Інтеграція проектування, розробки додатків в програмне середовище.
курсовая работа, добавлен 19.09.2017Опис методології розробки комп’ютерної гри. Дослідження дерева цілей і критеріїв. Аналіз вимог і ризиків. Розробка моделі, технічного проекту і програмного коду. Перевірка працездатності усіх функцій, заданих модулю. Збір статистики, закупівля реклами.
курсовая работа, добавлен 16.02.2016Визначення важливості інформаційно-технічних засобів у забезпеченні ефективності банківської діяльності. Аналіз основних інформаційних систем Національного банку, найважливішої системи електронних грошових переказів, а також її програмного забезпечення.
статья, добавлен 16.04.2021Аналіз життєвого циклу програмного продукту, побудова функціональної моделі на мові UML. Графічні засоби моделювання предметної області інформаційних систем та їх операційне середовище. Модуль фільтрації зображень в частотній області, розробка інтерфейсу.
курсовая работа, добавлен 03.05.2015Дослідження впливу кластерного програмного забезпечення на прикладні програмні засоби, які були розроблені без урахування кластерного середовища. Розробка апаратно-програмного забезпечення серверів для використання в обчислювальному кластері openmosix.
автореферат, добавлен 25.02.2015Поняття предметної області. Огляд електронних засобів навчання, їх класифікація. Комп’ютерні навчальні системи і системи дистанційної освіти, інструментальні засоби їх розробки. Методи машинного навчання (machine learning). Діагностика стану знань учня.
автореферат, добавлен 15.01.2016Дослідження методів підвищення відмовостійкості інформаційно-управляючих систем без зниження продуктивності обробки інформації. Розробка математичної моделі відмовостійкості. Оцінка позиційних і непозиційних операцій у модулярній системі числення.
автореферат, добавлен 29.07.2015Аналіз сучасних моделей і методів побудови та інтеграції автоматизованих систем життєвого циклу виробів промислових підприємств машинобудівної галузі. Програмні засоби аналітичного дослідження технологічних процесів підприємств та методи їх вдосконалення.
автореферат, добавлен 28.09.2015Розгляд та аналіз засад класичного підходу до оцінювання ймовірності безпомилкової роботи програмних систем. Дослідження за допомогою алгебричних методів можливих джерел дефектів програмного забезпечення. Обумовлення порушень інтервальних відношень.
статья, добавлен 25.03.2016- 125. Гра "Що спільного?"
Особливості розробки гри "Що спільного?" з використанням засобів візуального програмування. Дослідження і аналіз об'єкту програмування. Використані програмні засоби. Вимоги до апаратного та програмного забезпечення. Створення та налагодження програми.
курсовая работа, добавлен 23.05.2016