Моделі, методи та інструментальні засоби розробки багатоверсійного програмного забезпечення інформаційно-управляючих систем критичного застосування
Метод формування профілів багатоверсійного програмного забезпечення, який дозволяє автоматизувати процес визначення множини вимог для його розробки та верифікації. Модель його життєвого циклу, що враховує види та кількість версій на кожному етапі.
Подобные документы
Аналіз основних понять про план виконання завдань програмного проекту та управління процесом його реалізації, що допомогло зрозуміти суть пропонованих методів і засобів. Плани виконання завдань програмного проекту та ефективного управління процесом.
статья, добавлен 29.03.2020Аналіз вдосконалення та розробки програмного забезпечення для організації робочого часу, що сприятиме більшій продуктивності та організованості користувачів. Програмна реалізація системи організації робочого часу з урахуванням недоліків та переваг.
статья, добавлен 09.12.2024Створення комплексу програм для автоматичного регулювання рівню рідини у ємностях на нафтопереробному підприємстві. Опис програмного коду та алгоритму управління дренуванням. Побудова граф-моделі надійності. Розрахунок ймовірності безвідмовної роботи.
курсовая работа, добавлен 04.11.2019- 79. Метод та засіб моніторингу дефектів проектування об’єктно-орієнтованого програмного забезпечення
Розробка методики побудови моделей дефектів проектування, які дають можливість отримувати про них інформацію. Особливість моніторингу недоліків конструювання об’єктно-орієнтованого програмного забезпечення, який забезпечує спостереження за їх розвитком.
автореферат, добавлен 20.07.2015 Поняття операційної системи та функції. Програмне забезпечення – всі програми, що використовує комп’ютер. Складові та класифікація операційних систем, системне середовище. Співвідношення класів програмного забезпечення, реалізація багатозадачності.
конспект урока, добавлен 23.11.2010Дослідження принципів моделювання додатків для Андроіда. Вимоги до програмного забезпечення операційної системи для мобільних пристроїв, планшетів або комп’ютерів. Ефективність тестувати серверів на основі хмарних систем у якості серверної частини.
статья, добавлен 22.03.2016Призначення, опис, характеристики властивостей ПЗ, метрик. Первинний статистичний, кореляційний та регресійний аналіз. Методи емпіричної інженерії програмного забезпечення та алгоритми збору даних. Побудова залежності між метриками та експертною оцінкою.
курсовая работа, добавлен 06.02.2013Показники якості програми. Моделі, орієнтовані на використання готових компонентів. Визначення специфікацій при структурному підході. Побудова концептуальної моделі предметної області. Стереотипи як засоби розширення язика UML. Властивості й види класів.
учебное пособие, добавлен 11.02.2020Оцінка точності моделей COCOMO, SLIM, SEER за середнім відхиленням відносної помилки та/або якістю передбачення, перспективи їх практичного використання. Розвиток та розширення можливостей планування розробки програмних засобів в очікуваних умовах.
статья, добавлен 23.02.2016Поняття про життєвий цикл програмного забезпечення. Структура, основні стадії та стандарти життєвого циклу інформаційної системи. Типи моделей життєвого циклу даних систем, їх переваги та недоліки. Огляд основних, допоміжних та організаційних процесів.
реферат, добавлен 10.10.2016Уніфікований життєвий цикл, що базується на інтерактивній моделі проектування. Створення програмного забезпечення, орієнтованого на інтелектуальну підтримку CASE-засобів. Алгоритм оцінки складності об’єктно-орієнтованих програм в складі підсистеми.
автореферат, добавлен 25.04.2014Оцінка енергоефективного програмного забезпечення. Аналіз існуючих зелених метрик та методи їх систематизації. Тестування інструментів оцінки енергоефективності програмного забезпечення. Недоліки та потреба у створенні повнофункціонального інструменту.
статья, добавлен 28.02.2016Характеристика вимог до перевірки якості програмного продукту перед передачею його в роботу. Дослідження етапів побудови системи нечіткого виведення для визначення якості розроблюваного програмного продукту. Моделювання розробленої нечіткої моделі.
статья, добавлен 23.10.2020Метод базового статичного аналізу шкідливого програмного забезпечення, що базується на пошуку та аналізі строк в файлах, що побудовані з використанням формату PE (Portable Executable). Метод базового статичного аналізу шкідливого програмного забезпечення.
статья, добавлен 15.10.2023Метод побудови програмного забезпечення систем дистанційного навчання. Використання принципів інженерії програмного забезпечення – багаторівневого представлення, шаблонування, квантифікація. Моделювання бізнес-логіки і аналіз навчального контексту.
автореферат, добавлен 30.10.2015Методологія розроби математичних моделей та комп’ютерних технологій вирішення задач оптимального розподілу ресурсів логістичних систем. Створення алгоритмів та елементів інформаційної розробки теоретико-категорійних і множинних математичних моделей.
автореферат, добавлен 22.04.2014Визначення особливостей математичних задач, для вирішення яких можуть бути використані різні методи та спеціалізоване програмне забезпечення, що дозволяє підвищити ефективність використання цих методів. Програмні модулі та управляючі системні програми.
статья, добавлен 15.02.2018Методологія об'єктно-орієнтованого аналізу і проектування великих програмних систем. UML як уніфікована мова моделювання. Характеристика робіт проектної групи на стадіях проектування, реалізації, кодування і впровадження програмного забезпечення.
реферат, добавлен 19.07.2017Аналіз переваг та недоліків популярних методологій розробки програмного забезпечення. Вивчення технологій створення додатків. Загальні підходи до побудови каскадної та ітеративній моделей. Характеристика мобільних платформ та техніка їх застосування.
статья, добавлен 07.04.2018Цінності, засади та практики відомих методологій, що підтримують принципи гнучкої розробки програмного забезпечення. Характеристика відомим методологіям, що існують та застосовуються у сфері IT-менеджменту у переході до Agile; їх сильні та слабкі сторони.
статья, добавлен 18.08.2022Підвищення рівня автоматизації систем підготовки та редагування технічної документації. Аналіз процесу автоматизованого виготовлення нормованої технічної документації за допомогою програмного забезпечення. Структура та реалізація інформаційної бази.
автореферат, добавлен 29.09.2015Математичні моделі надання знань про об'єкт охорони й інформаційно-технічні засоби за рахунок застосування алгебри кінцевих предикатів. Розробка програмного забезпечення процесу підтримки прийняття рішень оператором у разі виникнення позаштатної ситуації.
автореферат, добавлен 25.02.2014Формування контингенту студентів усіх форм навчання за допомогою приймальної комісії. Основні тенденції використання локальних автоматизованих програм. Особливість розробки інформаційної системи "Конкурс". Аналіз організації програмного забезпечення.
статья, добавлен 09.12.2015Розгляд основних понять у тестуванні програмного забезпечення (ПЗ), критеріїв вибору тестів, оцінки відтестованості проекту. Методи тестування ПЗ. Аналіз автоматизації процесу тестування та зв’язку між вказаним процесом і якістю програмного забезпечення.
статья, добавлен 20.11.2022Створення програмного комплексу для статичної перевірки властивостей формальних моделей та визначення досяжності станів, в яких знайдено недоліки. Основні формальні моделі асинхронних паралельних систем та статичні методи перевірки властивостей.
автореферат, добавлен 14.08.2015