Аксіоматичні системи специфікацій програм над номінативними даними
Актуальність застосування програмного забезпечення. Порівняльний аналіз методів формальних специфікацій. Будова номінативної та метаномінативної моделей даних. Прототип реалізації аксіоматичної системи специфікацій програм над номінативними даними.
Подобные документы
Аналіз дослідження апаратно-програмних моделей комп'ютерного алгоритму - SH-моделей алгоритму. Основні принципи побудови псевдо SH-моделі комп'ютерного алгоритму та її застосування для дослідження програм сортування та вузлів асоціативної пам'яті.
автореферат, добавлен 29.09.2015Порядок використання точок відновлення системи для збереження комп'ютера від негативних наслідків різних програм-твикеров, невдалої деінсталяції програм. Створення контрольної точки відновлення. Скасування змін, внесених під час відновлення системи.
доклад, добавлен 28.01.2014Розробка програмної системи для інтерактивного навчання жестовій мові: архітектурна складова такої системи, формат та протокол передачі даних між ними. Специфіка моделі емоційно-мімічних проявів на обличчі людини з використанням тривимірних моделей тіла.
статья, добавлен 28.02.2016Місце інформаційних систем у підвищенні рівня інформатизації виробничих і управлінських процесів. Побудова адаптивної моделі прогнозування ціни комплектуючого. Ключові вимоги щодо обрання системи керування базою даних та програмного забезпечення.
дипломная работа, добавлен 11.06.2015Опрацювання інформаційних ресурсів, що використовують різні моделі даних. Аналіз причин появи терміну "Великі дані". Причини використання NoSQL і інших нереляційних засобів зберігання даних. Описання простору даних як технології роботи з великими даними.
статья, добавлен 25.11.2016Аналіз системного програмного забезпечення як "програмної оболонки" апаратних засобів, призначених для відокремлення інших програм від безпосередньої взаємодії з обладнанням та організації обробки інформації у комп'ютері. Організація інформаційних систем.
доклад, добавлен 09.07.2017Проектування та розробка програмного забезпечення інформаційної системи туристичної фірми, що служить для автоматизації роботи агентства. Функціональне й інфологічне проектування системи, опис запитів, екранні форми бази даних і розробка алгоритмів.
дипломная работа, добавлен 13.06.2017Дослідження проблеми створення інструментарію для поглибленого аналізу програмного коду та його рефакторингу. Пошук базових патернів та антипатернів у коді. Спосіб використання семантичних технологій для реалізації пошуку складних шаблонів в коді програм.
статья, добавлен 10.10.2018Застосування інформаційних комп'ютерних технологій у господарському контролі, аудиті та аналізі фінансової звітності. Ринок аудиторського програмного забезпечення в Україні. Пакети прикладних програм загального і проблемно-орієнтованого призначення.
статья, добавлен 10.09.2013Процес розробки програмного забезпечення, орієнтований на життєвий цикл програмного продукту. Терміни виконання, запланований бюджет, якість готового продукту. Архітектура програмної системи, документування всіх процесів розробки програмного забезпечення.
статья, добавлен 20.04.2021Роль і місце комп’ютерних графічних технологій у процесі підготовки майбутніх фахівців з дизайну. Необхідність педагогічної доцільності їх застосування як засобу навчання та об’єкту вивчення. Процес розробки системи графічних комп’ютерних програм.
автореферат, добавлен 27.08.2013Дослідження змістових понять процесу створення комп’ютерних програм та програмного забезпечення. Схематизація сучасних мов програмування. Перелік вимог до якості ресурсів системи кодування продукту інженерії. Ознайомлення із рівнями програмування.
реферат, добавлен 01.10.2015Аналіз нормативно-методичних основ класифікації загроз інформаційної безпеки, пов’язаних із застосуванням шкідливих програм щодо інформаційних систем. Характеристика основних загрози впливу на інформаційні системи окремих типів шкідливих програм.
статья, добавлен 06.11.2020Принципи та засоби зберігання та управління даними. Застосування систем керування базами даних у сучасних умовах розвитку ІТ-індустрії. Поширені типи даних, притаманні система керування базами даних. Аналіз переваг і недоліків систем керування.
статья, добавлен 31.10.2022Моделювання та побудова системи паралельної обробки інформації. Розробка методики реалізації програм та демонстрація можливостей їх практичного застосування. Спектр застосування СПОІ як широкий і охоплює актуальні задачі соціально розподіленого простору.
автореферат, добавлен 07.08.2014Комп'ютер – програмно-керований пристрій для обробки інформації. Периферійний пристрій – частина технічного забезпечення, конструктивно відокремлена від головного блоку обчислювальної системи. Надходження в ПК програм і даних для опрацювання на пристрій.
курсовая работа, добавлен 19.11.2019Уніфікований життєвий цикл, що базується на інтерактивній моделі проектування. Створення програмного забезпечення, орієнтованого на інтелектуальну підтримку CASE-засобів. Алгоритм оцінки складності об’єктно-орієнтованих програм в складі підсистеми.
автореферат, добавлен 25.04.2014Технології і методи розробки програмного забезпечення, що надають розробнику найвищий доступний рівень абстракції і максимально сприяють якості та ефективності інженерної діяльності. Розвиток системного програмного забезпечення і компонентні системи.
статья, добавлен 31.03.2019Основні характеристики комп'ютерних програм та їх мобільних аналогів. Порівняльний аналіз Windows Phone з іншими мобільними операційними системами. Розробка мобільного мультимедіа додатку на базі платформи Android для радіостанції "Просто радіо".
дипломная работа, добавлен 14.06.2016Аналіз організації бухгалтерського обліку в державному казначействі України. Сучасні засоби розробки програмного забезпечення. Вибір серверної платформи й системи керування базами даних. Взаємодія користувачів з автоматизованою системою, її вихідні форми.
дипломная работа, добавлен 01.05.2011Проведено огляд і порівняльний аналіз сучасних криптоалгоритмів, які використовуються для забезпечення конфіденційності даних під час їх передавання радіоканалом з БПЛА до наземних об’єктів. Аналіз показав, що кожен криптоалгоритм має переваги і недоліки.
статья, добавлен 07.05.2023Розвинені можливості Microsoft Excel для роботи з табличною інформацією. Введення даних, роздрукування робочих листів. Розширення можливостей спеціалізованих систем:програми-бухгалтерії, прикладних програм які працюють з базами даних, текстові редактори.
курсовая работа, добавлен 27.12.2010Розробка форм для забезпечення редагування даних таблиць бази даних. Створення засобів для забезпечення ефективного пошуку, сортування та фільтрування даних. Визначення шляхів вдосконалення розробленої інформаційної системи і рекомендацій з експлуатації.
курсовая работа, добавлен 22.04.2022Аналіз і класифікація атрибутів, метрик, методів та інструментальних засобів верифікації й сертифікації програмного забезпечення. Розробка методу верифікації програмного забезпечення в умовах ресурсних обмежень і неповноти проектної документації.
автореферат, добавлен 27.08.2015Розробка скремблеру, який реалізується на алгоритмі SQ1-R. Структура системи: блоки керування, генератори, скремблювання, інтерфейс для обміну даними. Аналіз алгоритмів синхронного потокового шифрування. Розробка мікропроцесорної системи, її архітектури.
курсовая работа, добавлен 07.05.2016