Підхід до уточнення поведінкових моделей програмного забезпечення з використанням паттернів проектування
Уточнення поведінкових моделей програмного забезпечення окремою операцією Model-Driven Architecture та Model-Driven Development і складовою у вирішенні завдань трансформації та верифікації моделей. Створення діаграм кооперацій відповідно до шаблонів.
Подобные документы
Проектування й створення систем управління промисловим обладнанням з використанням програмованих електронних систем управління. Вимоги до програмного забезпечення всіх систем з урахуванням специфікації задля їх безпеки відповідно до стандарту IEC 62061.
статья, добавлен 18.01.2022Проблеми при створенні сховища даних. Використання засобу колективного проектування складних моделей AllFusion Model Manager, ефективність якого підтверджена при створені сховища даних системи підтримки прийняття рішень для ВАТ "Макаронна фабрика".
статья, добавлен 25.11.2016Визначення поняття біометрії - методів автоматизованої ідентифікації, заснованих на фізіологічних чи поведінкових характеристиках. Дослідження процесу застосування покрокових криптографічних перетворень шарів спеціального програмного забезпечення.
статья, добавлен 20.02.2016Оцінка енергоефективного програмного забезпечення. Аналіз існуючих зелених метрик та методи їх систематизації. Тестування інструментів оцінки енергоефективності програмного забезпечення. Недоліки та потреба у створенні повнофункціонального інструменту.
статья, добавлен 28.02.2016Підхід до створення 3d моделей без помилок які виникають у зв'язку з використанням особливого математичного забезпечення цього пакету. Помилка при візуалізації об'єктів, на етапі створення лінії форми. Формування лінії разом з модифікатором Lathe.
статья, добавлен 21.04.2020Призначення, опис, характеристики властивостей ПЗ, метрик. Первинний статистичний, кореляційний та регресійний аналіз. Методи емпіричної інженерії програмного забезпечення та алгоритми збору даних. Побудова залежності між метриками та експертною оцінкою.
курсовая работа, добавлен 06.02.2013Погляди на порядок оцінювання спеціального програмного забезпечення з урахуванням вимог Національних стандартів України ДСТУ ISO/ІЕС 25010:2016 (ISO/ІЕС 25010:2011, IDT). Перевірка якості спеціального програмного забезпечення для управління військами.
статья, добавлен 04.05.2021Аналіз обчислювальних схем та алгоритмів для порівняльного оцінювання стискаючої здатності схем ущільнення, реалізація програмного забезпечення. Система резервного копіювання інформації для збору та обробки технологічної інформації у галузі енергетики.
автореферат, добавлен 15.07.2014Методика визначення собівартості програмного забезпечення як нематеріального активу. Використання інтервальних обчислень для визначення собівартості програмного забезпечення на стадії попереднього планування та стадії визначення фактичної собівартості.
статья, добавлен 14.07.2016Визначення мови програмування, яка буде використовуватись для розробки програмного продукту. Розробка блок-схеми алгоритм роботи та інтерфейсу програмного продукту, програмного коду. Прикладне програмне забезпечення комп’ютерів інформаційної системи.
отчет по практике, добавлен 27.02.2020Дефініція понять "адаптивність", "адаптованість". Побудова архітектури адаптивного програмного забезпечення систем критичного призначення відповідно до класифікації механізмів адаптивності. Розробка моделі взаємодії між користувачем і адаптивною системою.
статья, добавлен 28.02.2016Архітектура програмного забезпечення диспетчерського тренажера. Відомі методи рішення завдань багатокритеріального вибору. Дослідження чутливості методу до помилок вихідних даних. QR-алгоритм зі зсувом з корекцією помилок на проміжних етапах обчислень.
автореферат, добавлен 25.08.2015Створення програмного комплексу для статичної перевірки властивостей формальних моделей та визначення досяжності станів, в яких знайдено недоліки. Основні формальні моделі асинхронних паралельних систем та статичні методи перевірки властивостей.
автореферат, добавлен 14.08.2015Основні принципи тестування програмного забезпечення. Об'єктно-орієнтована технологія в програмуванні: переваги та недоліки. Інтеграція об'єктів. Різновиди тестування. Інструментальні засоби. Тестування інформаційної системи "Навчально-методичний ресурс".
курсовая работа, добавлен 30.06.2016Аналіз переваг та недоліків популярних методологій розробки програмного забезпечення. Вивчення технологій створення додатків. Загальні підходи до побудови каскадної та ітеративній моделей. Характеристика мобільних платформ та техніка їх застосування.
статья, добавлен 07.04.2018Етапи робіт, що проводяться у заданому порядку протягом періоду часу, який починається з вирішення питання про розроблення програмного забезпечення і закінчується припиненням його використання. Каскадна модель життєвого циклу інформаційної системи.
реферат, добавлен 22.07.2017Розробка гнучкої комп’ютеризованої системи на основі XML, яка призначена для заповнення метаданих освітніх інформаційних ресурсів. Характеристика розробленого програмного забезпечення. Розрахунок економічного ефекту по впровадженню програмного продукту.
дипломная работа, добавлен 22.10.2012Огляд методів забезпечення якості програмного забезпечення. Проблеми, з якими стикаються під час реалізації якості програмного забезпечення. Якість продукту як фактор його ефективного адаптування. Методи тестування, які досліджуються або розробляються.
статья, добавлен 29.08.2023Розробка багатофункціонального тесту для тренування людської пам’яті. Аналіз предметного середовища та засоби розробки: пам’ять, види тестів. Створення програмного проекту, інформаційне забезпечення. Алгоритмізація та кодування програмного продукту.
дипломная работа, добавлен 11.06.2015Розгляд основних понять у тестуванні програмного забезпечення (ПЗ), критеріїв вибору тестів, оцінки відтестованості проекту. Методи тестування ПЗ. Аналіз автоматизації процесу тестування та зв’язку між вказаним процесом і якістю програмного забезпечення.
статья, добавлен 20.11.2022Метод використання принципів інженерії програмного забезпечення – багаторівневе представлення, шаблонування. Модель рівня бізнес-логіки і комплексний набір метрик, який забезпечує аналіз навчального контексту в дидактичному та навігаційному аспектах.
автореферат, добавлен 26.08.2014Створення програми для використання алгоритмів сортування масивів різними способами. Вимоги до програмного забезпечення. Порядок контролю і прийому. Сортування масиву методом "бульбашки", Шелла. Визначення інформаційних зв'язків програмних компонентів.
курсовая работа, добавлен 23.12.2014Характеристика основних стадій проектування. Структурні перегляди і зовнішні інспекції. Основні правила структурних переглядів. Структурне подання даних. Правила мінімізації складності програмного виробу. Організація проведення структурних переглядів.
лекция, добавлен 26.03.2013Обґрунтування створення програми редактору блок-схем за допомогою альтернативного програмного забезпечення. Шифрування текстів за допомогою багатоалфавітних замін та їх криптоаналіз. Проведення проектування, розробки і тестування програмного продукту.
курсовая работа, добавлен 09.01.2017Характеристика основних стратегій, стадій та етапів методу тестування "Білий ящик". Аналіз забезпечення надійності системи в умовах шкідливих атак і програмних дефектів і збоїв. Розгляд логіки роботи програмного забезпечення для отримання тестових даних.
статья, добавлен 11.03.2018