- •Інженерія програмного забезпечення
- •Загальні вимоги до програмного забезпечення
- •Процеси життєвого циклу програмного забезпечення
- •Керування процесом проектування програмного забезпечення
- •Прототипування програмних систем.
- •Архітектурне проектування програмних систем
- •Архітектура розподілених систем
- •Проектування систем реального часу
- •Об‘єктно-орієнтоване проектування програмних систем.
- •Візуальне проектування об‘єктно-орієнтованих систем
- •Динамічні моделі об‘єктно-орієнтованих систем
- •Моделі реалізації об‘єктно-орієнтованих програмних систем
- •Проектування інтерфейсу користувача
- •Тестування програм та систем
- •Структурне тестування програмного забезпечення.
- •Методи та засоби автоматизації тестування програмного забезпення
- •Системне програмування
- •Дати оцінку основним правилам автоматичного перетворення типів.
- •Розкрити сутність адресної арифметики при роботі з вказівниками.
- •Обґрунтувати алгоритм та представити програмний код для реалізації програми, що сумує з 0 по 3 біт першого числа та з 3 по 6 біт другого числа.
- •Розкрийте поняття програмна модель мікропроцесора.
- •Проаналізувати типи даних в мові асемблер.
- •Проаналізувати особливості роботи із масивами в мові асемблер.
- •Проаналізувати структуру програми мовами програмування з родини асемблерів(синтаксис ассемблера).
- •Організувати на асемблері ехе-програму, щоб перекодувати символи строки шляхом додавання до літери строки кодів символів таблиці(Код мовою Asembler).
- •Організувати ехе-програму , щоб перекодувати символи з однієї таблиці в іншу(код мовою асемблера).
- •Організація баз даних
- •Моделі даних: ієрархічна, мережева, реляційна, об‘єктно-реляційна, нереляційна.
- •NoSql або постреляційні бази даних
- •Реляційна модель даних. Операції реляційної алгебри.
- •Нормалізація відношень при проектування реляційної моделі.
- •Поняття первинних ключів. Роль функціональних залежностей. Зовнішні та батьківські ключі.
- •Нормалізація відношень: перша, друга та третя нормальні форми
- •Визначення другої нормальної форми. Правило приведення. Повна функціональна залежність.
- •Визначення третьої нормальної форми. Правило приведення. Транзитивна залежність.
- •Семантичне моделювання та когнітивний аспект.
- •Проектування баз даних: концептуальне, логічне, фізичне
- •Модель «сутність-зв‘язок» або er-модель
- •Нормалізація даних в er-моделі
- •Case-засоби проектування баз даних.
- •Мова маніпулювання даними sql. Побудова запитів.
- •Адміністрування даних. Засоби підтримки цілісності баз даних
Семантичне моделювання та когнітивний аспект.
Широке використання і розповсюдження реляційних БД показує, що реляційна модель даних достатня для моделювання предметних областей. Однак проектування реляційної БД в термінах відношень на основі методології нормалізації відношень являє собою складний процес. Необхідність в більш зручних і потужних засобах моделювання поставила перед проектувальниками задачу семантичного моделювання даних. Проводяться дослідницькі роботи над БД в семантичній моделі даних. При цьому розглядається два варіанта – забезпечення інтерфейсу користувача на основі семантичної моделі з автоматичним відображенням відношень в реляційну модель даних і пряма реалізація СКБД, заснована на якій-небудь реляційній моделі. Найбільш близько до другого підходу знаходяться сучасні об’єктно-орієнтовані СКБД, моделі даних яких по багатьом параметрам близькі до семантичних моделей.
Семантична модель даних (SDM) - це опис бази даних на високому рівні, що базується на семантиці та формалізм (модель бази даних) для баз даних. Ця модель бази даних розроблена для того, щоб охопити більше сенсу середовища програми, ніж це можливо в сучасних моделях баз даних. Специфікація SDM описує базу даних з точки зору видів сутностей, що існують у середовищі програми, класифікацій та групувань цих сутностей та структурних взаємозв’язків між ними. SDM надає колекцію примітивів моделювання високого рівня для фіксації семантики середовища програми. Розміщуючи похідну інформацію в структурній специфікації бази даних, SDM дозволяє переглядати одну і ту ж інформацію кількома способами; це дає можливість безпосередньо враховувати різноманітні потреби та вимоги до обробки, як правило, наявні в додатках баз даних. Дизайн теперішнього SDM базується на нашому досвіді використання його попередньої версії. SDM призначений для підвищення ефективності та зручності використання систем баз даних. Опис бази даних SDM може служити формальним інструментом специфікації та документації для бази даних; він може забезпечити основу для підтримки різноманітних потужних засобів користувальницького інтерфейсу, він може служити концептуальною моделлю бази даних у процесі проектування бази даних; і його можна використовувати як модель бази даних для нового типу системи управління базами даних.
Семантичну модель даних можна використовувати для багатьох цілей. Деякі ключові цілі включають:
Планування ресурсів даних: попередню модель даних можна використовувати для забезпечення загального представлення даних, необхідних для управління підприємством.
Створення спільних баз даних: повністю розроблену модель можна використовувати для визначення незалежного від програми представлення даних, які можуть бути перевірені користувачами, а потім переведені у фізичний дизайн бази даних для будь-якої з різних технологій СУБД. Окрім створення узгоджених і загальнодоступних баз даних, моделювання даних може значно скоротити витрати на розробку.
Інтеграція існуючих баз даних: визначення вмісту існуючих баз даних за допомогою семантичних моделей даних забезпечує інтегроване представлення даних. За допомогою відповідної технології отриману концептуальну схему можна використовувати для управління обробкою транзакцій у середовищі розподіленої бази даних.