Композиційні методи специфікації та верифікації програмних систем
Порівняльний аналіз і класифікація методів формальних специфікацій щодо паралелізму за критеріями: класи задач, складність методів, ступінь автоматизації, зв’язок моделі з реальними програмами. Композиційно-номінативна мова, модель серверного середовища.
Подобные документы
Підвищення надійності програмного забезпечення систем управління шляхом розробки семантичних атрибутів, метрик, моделей, методів, заснованих на аналізі семантичних інваріантів. Впровадження їх у методиках та засобах підтримки верифікації та експертизи.
автореферат, добавлен 28.09.2014Вибір методів для формалізації кожної зі складових підсистем і розробити відповідні математичні моделі, їх обґрунтування та значення. Особливості та етапи їх програмною реалізації. Проблема автоматизації процесу створення комп’ютерно-орієнтованих систем.
автореферат, добавлен 12.08.2014Методологія автоматизації проектування і моделювання цифрових систем, що базується на логічному програмуванні. Аналіз методів розпізнавання часових діаграм і автоматизації символічного синтезу систем, які описуються за допомогою логічних секвентів.
автореферат, добавлен 22.04.2014Відомі атрибути, метрики, методи та інструментальні засоби автоматизованої верифікації та сертифікації програмного забезпечення. Використання семантичних атрибутів для верифікації та експертизи програмного забезпечення інформаційно-управляючих систем.
автореферат, добавлен 29.01.2016Дослідження існуючих математичних моделей щодо переміщення рідкого середовища з рухомими границями. Визначення основних найбільш перспективних напрямків розвитку паралельних асинхронних і мультисіткових методів і програмних засобів для їх реалізації.
автореферат, добавлен 20.07.2015Сутність процесу управління змінами в онтологіях для інформаційних систем. Обчислювальні методи верифікації темпоральних обмежень цілісності на множині версій моделі онтології. Програмний комплекс, призначений для підтримки автоматизованої верифікації.
автореферат, добавлен 30.07.2015Побудова моделі якості програмних систем оброблення даних на базі метрик надійності. Роль програмного забезпечення у виконанні функцій системи. Математичні моделі прогнозування дефектів та графічний комплекс з використанням апарату байєсівських мереж.
автореферат, добавлен 30.07.2014Побудова математичної моделі розвитку онтологій. Інтеграція моделей. Розробка методів аналізу адекватності, усунення властивостей динамічної суперечливості інформації. Обґрунтування алгоритмічних та інструментальних засобів аналізу у прикладних задачах.
автореферат, добавлен 25.07.2014Розгляд методів інваріантного аналізу динамічних характеристик програмних компонентів для визначення мінімального набору інваріантів при розв'язанні системи лінійних діофантових рівнянь. Застосування методів для виявлення динамічних характеристик моделей.
статья, добавлен 28.03.2024Розробка методів для автоматизації синтезу моделей. Модифікування існуючих технологій базових елементів мікроелектромеханічних систем. Аналіз імітаційної тривимірної моделі технологічних операцій виготовлення елементів мікроелектромеханічних систем.
автореферат, добавлен 28.08.2015Обґрунтування гіпотез теорії алгебраїчних кривих і геометрії чисел, проведення їх дослідження, порівняльний аналіз із відомими методами. Основи автоматизації обґрунтування гіпотез, застосування розроблених методів, алгоритмів, комп’ютерних систем.
автореферат, добавлен 29.07.2014Розробка методів, моделей, інформаційної технології розробки інформаційних систем при зміні вимог та організаційної структури об’єктів автоматизації. Конфігурація функціональної структури, виявлення та усунення невідповідностей між елементами метамоделі.
автореферат, добавлен 28.08.2015Характеристика існуючих моделей надійності програмних систем. Розроблення алгоритмів та програм їх реалізації. Впровадження запропонованих підходів, моделей та методик інженерії тестування в проекти з розроблення програмних систем оброблення даних.
автореферат, добавлен 30.07.2014Методи підвищення надійності інформаційних систем, раціональний вибір параметрів для оновлення програмних засобів. Оцінювання надійності ІС в умовах прояву власних дефектів і зовнішніх впливів. Впровадження моделі в ІС критичної і бізнес-критичної галузі.
автореферат, добавлен 28.08.2014Аналіз методів та формулювання принципів побудови штучних імунних і гібридних систем інтелектуального аналізу даних. Розроблення методів і засобів структурно-параметричного синтезу нейронних мереж для розв'язання задач прогнозування та класифікації.
автореферат, добавлен 20.07.2015Спеціалізована мережна й ієрархічна моделі апаратно-програмних засобів, які засновані на визначенні й спадкуванні автоматної поведінки у заданих вузлах мережі й переходах ієрархії. Технологія побудови функціональних тестів для композицій експериментів.
автореферат, добавлен 28.09.2014Побудова математичної моделі специфікації вимог до програмного забезпечення. Визначення ступенів впливу показників специфікації в межах характеристики. Критичний вплив на програмні проекти та на успішність їх завершення. Прогнозована вартість помилки.
статья, добавлен 28.02.2016Створення програмних засобів контролю рівня знань користувача гібридної інтелектуальної системи. Інформаційні процеси передавання знань, методи тестування успішності навчання. Структура діалогової бази знань у термінах взаємодії двох програмних агентів.
автореферат, добавлен 24.07.2014Структура управлінських інформаційних систем. Класифікація інформаційних систем за різними ознаками. Перелік складових комп'ютерної інформаційної системи підприємства. Аналіз наявних на ринку програмних продуктів автоматизації управлінської діяльності.
контрольная работа, добавлен 06.10.2010Аналіз нових методів побудови архітектури і моделі неповнозв’язної нейронної асоціативної пам’яті, які забезпечують більшу її ємність за умови одного з архітектурних обмежень. Розробка програмних засобів для моделювання ННАП і алгоритмів навчання.
автореферат, добавлен 29.10.2015Виділення та встановлення емоційного забарвлення тексту, його категорійної приналежності. Можливості розшифрування людських мов. Порівняння ефективності методів визначення тональності тексту за часом навчання, тестування та точності класифікації.
статья, добавлен 29.10.2020Аналіз проблем та підходів до автоматизації обробки параметрів шарів геоінформаційних систем. Розробка структури інформаційних моделей їх елементів, методів та алгоритмів ідентифікації. Головні програмні засоби для реалізації розробленої технології.
автореферат, добавлен 13.08.2015Підвищення ефективності обчислювальної техніки. Використання методів статичної й динамічної верифікації у системах проектування паралельних програм. Побудова графа за допомогою засобів автоматичної візуалізації. Перевірка семантичної коректності структур.
статья, добавлен 10.06.2024Огляд існуючих методів класифікації для розв’язання задач видобування даних, їх можливостей та недоліків. Створення методів та високоефективних інформаційних технологій класифікації на основі нейроподібних структур моделі геометричних перетворень.
автореферат, добавлен 28.08.2015Аналіз засобів захисту документів та цінних паперів і визначення поліграфічних методів їх створення. Розробка моделі засобів захисту документів на основі використання формальних граматик, сумісного використання теорії графів та принципів стеганографії.
автореферат, добавлен 20.07.2015