Підхід до уточнення поведінкових моделей програмного забезпечення з використанням паттернів проектування
Уточнення поведінкових моделей програмного забезпечення окремою операцією Model-Driven Architecture та Model-Driven Development і складовою у вирішенні завдань трансформації та верифікації моделей. Створення діаграм кооперацій відповідно до шаблонів.
Подобные документы
Метод використання принципів інженерії програмного забезпечення – багаторівневе представлення, шаблонування. Модель рівня бізнес-логіки і комплексний набір метрик, який забезпечує аналіз навчального контексту в дидактичному та навігаційному аспектах.
автореферат, добавлен 26.08.2014Обґрунтування створення програми редактору блок-схем за допомогою альтернативного програмного забезпечення. Шифрування текстів за допомогою багатоалфавітних замін та їх криптоаналіз. Проведення проектування, розробки і тестування програмного продукту.
курсовая работа, добавлен 09.01.2017Створення програми для використання алгоритмів сортування масивів різними способами. Вимоги до програмного забезпечення. Порядок контролю і прийому. Сортування масиву методом "бульбашки", Шелла. Визначення інформаційних зв'язків програмних компонентів.
курсовая работа, добавлен 23.12.2014Характеристика основних стратегій, стадій та етапів методу тестування "Білий ящик". Аналіз забезпечення надійності системи в умовах шкідливих атак і програмних дефектів і збоїв. Розгляд логіки роботи програмного забезпечення для отримання тестових даних.
статья, добавлен 11.03.2018Документація, яка ведеться при аналізі успішності учнів загальноосвітньої школи. Проектування бази даних та її структура. Розробка програмного забезпечення інформаційної системи. Структура програмного забезпечення. Інсталяція інформаційної системи.
дипломная работа, добавлен 27.07.2015Поняття "документ" та "редактор". Текстові редактори з розширеними функціями форматування тексту. Програми, що служать середовищами розробки програмного забезпечення. Технологія використання шаблонів як найпростіший спосіб створення нового документа.
контрольная работа, добавлен 22.10.2010Розробка програмної системи для інтерактивного навчання жестовій мові: архітектурна складова такої системи, формат та протокол передачі даних між ними. Специфіка моделі емоційно-мімічних проявів на обличчі людини з використанням тривимірних моделей тіла.
статья, добавлен 28.02.2016Об’єктно-орієнтоване програмування електронної книги рецептів. Розробка UML діаграм поведінки системи. Розробка графічного інтерфейсу програмних засобів комп’ютерної системи. Розробка структури бази даних. Контрольне тестування програмного забезпечення.
курсовая работа, добавлен 23.09.2017Розгляд процесу створення універсального програмного забезпечення дистанційного керування робочими станціями локальної обчислювальної мережі. Розгляд функції управління віддаленим робочим столом на прикладі таких програм, як: NetOp, pcAnywhere і Radmin.
статья, добавлен 26.01.2018Цифровізація та комп’ютеризація освіти в Україні. Проектування та розробка освітніх застосунків. Створення навчального програмного забезпечення з використанням концепцій мікросервісної архітектури. Затвердження IEEE стандарту xAPI для обміну інформацією.
статья, добавлен 22.10.2024Метод базового статичного аналізу шкідливого програмного забезпечення, що базується на пошуку та аналізі строк в файлах, що побудовані з використанням формату PE (Portable Executable). Метод базового статичного аналізу шкідливого програмного забезпечення.
статья, добавлен 15.10.2023Створення програмного забезпечення навчального освітнього процесу. Використання базових кваліметричних моделей для аналізу діяльності учнів, учителів, адміністрації, навчального закладу. Комп'ютеризація навчального процесу та виховної роботи закладу.
статья, добавлен 17.09.2017Характеристика підходу до створення комп’ютерних навчальних 3D моделей військово-технічного призначення, ефективність їх застосування під час підготовки військових спеціалістів. Сутність кожного етапу створення навчальних 3D моделей зразків озброєння.
статья, добавлен 14.01.2017Analysis of the widespread approach to modeling and verification of systems, known as Model Checking, which allows to identify errors at different stages of development and maintenance of territorial development programs in order to eliminate them.
статья, добавлен 30.04.2018Дослідження особливостей та основних принципів створення мультимедійних дидактичних матеріалів засобами сучасного програмного забезпечення Windows Movie Maker. Імпорт файлів мультимедіа. Збереження проекту та його попередній перегляд. Монтаж кліпів.
лабораторная работа, добавлен 01.03.2013Розгляд та аналіз засад класичного підходу до оцінювання ймовірності безпомилкової роботи програмних систем. Дослідження за допомогою алгебричних методів можливих джерел дефектів програмного забезпечення. Обумовлення порушень інтервальних відношень.
статья, добавлен 25.03.2016Альтернативні підходи до впровадження сучасних програмних додатків в галузі охорони здоров’я. Приклади використання програмного забезпечення медичних інформаційних систем (МІС) електронних медичних карток. Проектування баз даних МІС "Медична реєстратура".
статья, добавлен 30.01.2016Характеристика прикладного програмного забезпечення загального та спеціального призначення. Основні функції операційної системи. Сутність командного та семантичного інтерфейсів. Особливість розширення імені файлу. Аналіз поняття та символів маски.
презентация, добавлен 12.10.2016Вивчення будови і роботи лабораторного стенду EV8031/AVR, його можливостей при використанні для розробки програмного забезпечення для мікроконтролерів MCS-51 і AVR типу. Методи тестування лабораторного стенду. Мова Асемблера для мікроконтролерів MCS-8051.
лабораторная работа, добавлен 09.02.2011Розробка програмного забезпечення для операції про оптимальний раціоні харчування дітей молодшого шкільного віку. Загальна схема та класифікація кінцевих методів розв’язування задачі. Обґрунтування вибору засобів прикладного програмного забезпечення.
курсовая работа, добавлен 22.09.2014Аналіз і характеристика особливостей захисту персональних комп'ютерів. Опис спеціального програмного забезпечення для захищення і шифрування інформації. Розробка комплексного програмного продукту, який реалізує обмін даними за допомогою серверу.
дипломная работа, добавлен 28.07.2017Аналіз математичного і програмного забезпечення процесів набору та редагування формул алгоритмів засобами універсальних і спеціалізованої комп’ютерних систем. Синтез та мінімізація математичного забезпечення редактора, його програмна реалізація.
автореферат, добавлен 26.07.2014Аналіз математичних моделей метрологічного забезпечення експлуатації об'єктів. Методи вирішення задач: перебір або підбіор варіанту згідно вимог системи, математичне програмування. Вирішення моделей Рао-Крамера-Фреша методом нелінійного програмування.
статья, добавлен 14.07.2016- 99. Практика використання інструментів Vulkan API для підвищення продуктивності програмного забезпечення
Вивчення особливостей використання методик для підвищення продуктивності роботи програмного забезпечення, направленого на роботу з графічними процесорами за допомогою Vulkan API. Здійснення синхронізації роботи центрального та графічного процесорів.
статья, добавлен 28.03.2024 Проектування, створення високоякісного програмного забезпечення - одна з надзвичайно важливих проблем в сучасному інформаційному світі. Архітектура - сукупність певних взаємопов’язаних структурних компонентів, які визначають поведінку всієї системи.
статья, добавлен 23.04.2021