Інженерія програмного забезпечення
Показники якості програми. Моделі, орієнтовані на використання готових компонентів. Визначення специфікацій при структурному підході. Побудова концептуальної моделі предметної області. Стереотипи як засоби розширення язика UML. Властивості й види класів.
Подобные документы
Побудова формальних специфікацій за неформальними вимогами генерація набору тестів, синтез архітектурної моделі і перевірка властивостей. Прототипи програм верифікації формальних специфікацій і символьної генерації в системі інсерційного програмування.
автореферат, добавлен 30.07.2014Визначення необхідної інформації для розробки бази даних для перукарні. Побудова інфологічної моделі із застосуванням графічних засобів. Розробка концептуальної моделі "Сутність-зв'язок". Проектування даталогічної моделі бази даних для перукарні.
контрольная работа, добавлен 07.06.2015Створення програми для використання алгоритмів сортування масивів різними способами. Вимоги до програмного забезпечення. Порядок контролю і прийому. Сортування масиву методом "бульбашки", Шелла. Визначення інформаційних зв'язків програмних компонентів.
курсовая работа, добавлен 23.12.2014Аналіз предметної області і постановка задачі на розробку програми. Опис алгоритму функціонування програмного забезпечення. Аналіз зовнішнього виду екранної форми головного меню автоматизованої системи управління готелем в режимі виконання програми.
курсовая работа, добавлен 24.11.2015Інноваційні моделі організації освіти. Переваги і недоліки досліджень в області електронних бібліотек та використання Web-технологій в системі освіти. Технологія проектування та представлення інформаційної системи, оцінка її впливу на навчальний процес.
автореферат, добавлен 30.07.2015Практичне застосування методів концептуального проектування реляційних баз даних. Побудова концептуальної моделі "сутність-зв'язок". Побудова даталогічної моделі та нормалізація бази даних. Реалізація даталогічної моделі бази даних засобами SQL.
курсовая работа, добавлен 29.10.2020Аналіз предметної області. Застосування послідовної нормалізації до відношень. Визначення атрибутів що є потенційними, первинними ключами. Побудова даталогічної моделі бази даних. Створення діаграми "сутність-зв’язок". Специфікація вимог для користувачів.
курсовая работа, добавлен 24.12.2019Змістовий огляд предметної області, основні вимоги до системи. Уніфікована мова моделювання UML: її призначення. Розробка моделі програмної системи засобами UML: вид з погляду прецедентів, проектування, реалізації. Діаграма прецедентів, станів, класів.
курсовая работа, добавлен 19.09.2017Характеристика вимог до перевірки якості програмного продукту перед передачею його в роботу. Дослідження етапів побудови системи нечіткого виведення для визначення якості розроблюваного програмного продукту. Моделювання розробленої нечіткої моделі.
статья, добавлен 23.10.2020Актуальність застосування програмного забезпечення. Порівняльний аналіз методів формальних специфікацій. Будова номінативної та метаномінативної моделей даних. Прототип реалізації аксіоматичної системи специфікацій програм над номінативними даними.
автореферат, добавлен 11.10.2011Поняття операційної системи та функції. Програмне забезпечення – всі програми, що використовує комп’ютер. Складові та класифікація операційних систем, системне середовище. Співвідношення класів програмного забезпечення, реалізація багатозадачності.
конспект урока, добавлен 23.11.2010Проект комплексу спеціального програмного забезпечення автоматизованого робочого місця підприємця. Вимоги замовника до продукту. Розробка моделі на основі платформи ARIS, побудова діаграми взаємодії і діяльності. Оцінка якості ПЗ інформаційної системи.
курсовая работа, добавлен 08.12.2021Технології, моделі створення програмного забезпечення, під яким маються на увазі комп'ютерні програми і відповідна документація. Архітектурне проектування. Управління проектами зі створення і впровадження ПЗ. Управління персоналом при реалізації проектів.
реферат, добавлен 31.05.2013Технології і методи розробки програмного забезпечення, що надають розробнику найвищий доступний рівень абстракції і максимально сприяють якості та ефективності інженерної діяльності. Розвиток системного програмного забезпечення і компонентні системи.
статья, добавлен 31.03.2019Роль бази даних предметної області у господарському житті та її проблеми. Характеристика основних учасників інфраструктури. Дослідження вхідних та вихідних документів. Створення логічного макету із застосуванням нормалізації. Побудова базової ER-моделі.
курсовая работа, добавлен 29.06.2014Огляд методів забезпечення якості програмного забезпечення. Проблеми, з якими стикаються під час реалізації якості програмного забезпечення. Якість продукту як фактор його ефективного адаптування. Методи тестування, які досліджуються або розробляються.
статья, добавлен 29.08.2023Мета, цілі та задачі створення бази даних. Основні вимоги до інформаційної системи. Проектні рішення з розробки внутрішньо–машинної програми. Загальні положення системного аналізу програмного забезпечення. Сутність властивостей концептуальної моделі.
курсовая работа, добавлен 30.11.2016Розробка методу побудови концептуальної моделі великого підприємства. Обґрунтування переходу від множини функціональних залежностей до характеристичної булевої функції. Знаходження всіх потенційних ключів відношення на основі її матричного представлення.
автореферат, добавлен 22.07.2014Реалізація програми обліку даних про волонтерів та подій, на які вони зареєстровані, за допомогою технології Windows Forms. Можливості об’єктно-орієнтованого програмування. Створення класів, методи, властивості. Реалізація графічних елементів програми.
курсовая работа, добавлен 14.05.2013Визначення розвитку тестування та контролю якості в розробці програмного забезпечення. Дослідження наявних методів та типів тестування. Обґрунтування актуальності тестування, техніка контролю якості як невід'ємна частина розробки програмного забезпечення.
статья, добавлен 02.12.2017Аналіз і класифікація атрибутів, метрик, методів та інструментальних засобів верифікації й сертифікації програмного забезпечення. Розробка методу верифікації програмного забезпечення в умовах ресурсних обмежень і неповноти проектної документації.
автореферат, добавлен 27.08.2015Дефініція понять "адаптивність", "адаптованість". Побудова архітектури адаптивного програмного забезпечення систем критичного призначення відповідно до класифікації механізмів адаптивності. Розробка моделі взаємодії між користувачем і адаптивною системою.
статья, добавлен 28.02.2016Побудова логічної структури бази даних на основі ER-моделі. Автоматичні коригування інформації у концепціях інформаційної системи. Засоби автоматизації управління порядком. Реалізація сукупності показників засобами прикладного програмного забезпечення.
курсовая работа, добавлен 04.10.2015Побудова інформаційно-математичної моделі задачі для створення програми для роботи з масивами. Визначення структури даних, розробка інтерфейсу програми з користувачем. Складання коду програми, реалізація у візуальному середовищі та її тестування.
курсовая работа, добавлен 20.11.2014Викладення побудови нової математичної моделі надійності програмного забезпечення з динамічним показником величини програмного проекту: порівняльний аналіз існуючих і розробленої моделей; формалізація критерію достатності процесу програмного тестування.
статья, добавлен 10.03.2014