Аксіоматичні системи специфікацій програм над номінативними даними
Актуальність застосування програмного забезпечення. Порівняльний аналіз методів формальних специфікацій. Будова номінативної та метаномінативної моделей даних. Прототип реалізації аксіоматичної системи специфікацій програм над номінативними даними.
Подобные документы
Дослідження методів обчислюваності програм, які узагальнюють традиційні підходи до неї. Описання класів обчислюваних функцій і композицій над номінативними даними різних рівнів абстракції і загальності, побудування алгебраїчних представлень таких класів.
автореферат, добавлен 19.04.2014Розробка математичної моделі специфікації вимог до програмного забезпечення, прогнозування характеристик ПЗ на основі аналізу специфікацій та математичної моделі процесу прогнозування характеристик ПЗ, в основі якої лежить штучна нейронна мережа.
статья, добавлен 13.10.2016Порівняльний аналіз і класифікація методів формальних специфікацій щодо паралелізму за критеріями: класи задач, складність методів, ступінь автоматизації, зв’язок моделі з реальними програмами. Композиційно-номінативна мова, модель серверного середовища.
автореферат, добавлен 28.08.2014Порівняння життєвого циклу програмного забезпечення при традиційній розробці та з використанням "CASE-засобів". Системний підхід з розробкою мов високого рівня, методів структурного і модульного програмування, описів системних вимог і специфікацій.
реферат, добавлен 10.06.2014Розробка методу синтезу формальних моделей комп’ютерних програм на основі семантичних анотацій їх елементів. Розробка методу навчання інтелектуальної системи синтезу семантичних моделей програм. Структура онтології для системи синтезу моделей програм.
автореферат, добавлен 26.08.2015Показники якості програми. Моделі, орієнтовані на використання готових компонентів. Визначення специфікацій при структурному підході. Побудова концептуальної моделі предметної області. Стереотипи як засоби розширення язика UML. Властивості й види класів.
учебное пособие, добавлен 11.02.2020Основи побудови системи контекстного обміну даними. Принципи визначення показників якості даних інформаційної системи. Методи і алгоритми числової оцінки якості даних. Підходи до інтеграції семантично різнорідних баз даних, їх порівняльна характеристика.
автореферат, добавлен 07.01.2014Конструктивний метод аналізу протокольних специфікацій на основі стиснення логічної структури еквівалентними перетвореннями. Метод ідентифікації ситуацій експоненціального переповнення мережі необробленими кадрами даних. Перевірка коректності протоколу.
автореферат, добавлен 20.04.2014Розробка програми призначеної для пошуку книги в типізованому файлі даних. Вимоги до функціональних характеристик. Створення формальних моделей та визначення специфікації програмного забезпечення, що розробляється. Організація вхідних і вихідних даних.
лабораторная работа, добавлен 25.03.2021Розробка методів верифікації алгоритмів функціонування дискретних систем, що задовольняють заданим часовим обмеженням. Використання часових логік для опису властивостей алгоритмів і методів побудови моделей систем, описаних у сучасних мовах проектування.
автореферат, добавлен 29.08.2014- 11. Розробка методів та програмного інструментарію створення прикладних програм для мобільних систем
Прикладні програми для мобільних систем, які враховують особливості апаратно-програмних платформ і спеціалізованих систем на їх основі. Побудова моделі прикладних програм. Перевірка її несуперечності на області програмного каркаса операційної системи.
автореферат, добавлен 29.08.2014 Призначення програм-архіваторів як програмного забезпечення, що використовується для стиснення інформації. Загальна характеристика по використанню програм-архіваторів. Приклади використання програм. Приклади результатів архівування даних різного формату.
реферат, добавлен 13.11.2013Розробка інформаційної технології метаконтекстного обміну даними. Поняття онтологічного графу як засобу моделювання знань системи метаконтекстної взаємодії. Відносний метод оцінки якості даних системи, що базується на ієрархічному підході їх оцінювання.
автореферат, добавлен 25.06.2014Розгляд процесу програмування засобів комп'ютерного програмного забезпечення, призначеного за для використання інформації з баз даних і програм для роботи з мережевими протоколами через Інтернет. Огляд програм для електронної пошти і обміну файлами.
дипломная работа, добавлен 30.09.2013Аналіз та обґрунтування методів і алгоритмів автоматизованого виділення окремого дерева в лісовому масиві за даними лідарної зйомки. Розрахунок морфоструктурних параметрів деревостану: кількості дерев на одиницю площі, середніх значень висоти дерев.
статья, добавлен 05.12.2018Розробка плану локальної мережі для 4-го навчального корпусу з використанням комутаторів. Вивчення специфікацій для фізичного рівня Fast Ethernet. Аналіз схеми Auto-negotiation. Особливості використання Gigabit Ethernet на кручений парі категорії 5.
реферат, добавлен 15.01.2014Класифікація програм автоматизації. Моделювання й аналіз інформаційних систем, засоби їх здійснення. Уніфікована мова моделювання UML, розробка моделі програмної системи її засобами. Розробка виду з погляду прецедентів, проектування та реалізації.
курсовая работа, добавлен 19.09.2017Методика багаторівневого ієрархічного і логічного синтезу асинхронних автоматів і надвеликих інтегральних схем. Проектування мікропрограмних пристроїв управління НВІС на засаді синхронних автоматів. Розробка мов опису проектних логічних специфікацій НВІС.
автореферат, добавлен 21.11.2013Аналіз і класифікація моделей, метрик і інструментальних засобів оцінки надійності програмного забезпечення інформаційних і управляючих систем критичного застосування. Пошук шляхів удосконалення методів оцінки надійності програмного забезпечення.
автореферат, добавлен 28.07.2014Аналіз і характеристика особливостей захисту персональних комп'ютерів. Опис спеціального програмного забезпечення для захищення і шифрування інформації. Розробка комплексного програмного продукту, який реалізує обмін даними за допомогою серверу.
дипломная работа, добавлен 28.07.2017Знайомство з системами розробки програмного забезпечення на прикладах Pascal ABC, Delpfi, MVS. Основні інструменти розробки програм, що використовується у сучасному професійному програмуванні. Процес розробки та використання бази даних засобами MS Access.
отчет по практике, добавлен 22.07.2017Формування контингенту студентів усіх форм навчання за допомогою приймальної комісії. Основні тенденції використання локальних автоматизованих програм. Особливість розробки інформаційної системи "Конкурс". Аналіз організації програмного забезпечення.
статья, добавлен 09.12.2015Аналіз і тестування системи управління потоками даних на основі п’яти коефіцієнтів якості роботи системи: відмовостійкість та прогнозованість системи, стабільність росту черги обробки запитів, актуальність даних та відсутність помилкового виконання.
статья, добавлен 07.12.2016Специфіка застосування програмного засобу "Statistica" для проведення системного аналізу в політології. Приклади практичного застосування пакету програм. Алгоритм проведення дискримінантного аналізу в рамках системного аналізу політичних явищ та процесів.
статья, добавлен 18.02.2014- 25. Інструментальні засоби для дослідження та застосування методів моделювання за статистичними даними
Розроблення рекурентних алгоритмів оцінювання методів створення за статистичними даними. Порівняльне тестування видів конструювання та їх компонентів за допомогою системного комплексу. Програмні способи для розв’язання практичних задач моделювання.
автореферат, добавлен 25.08.2015