Композиційні методи специфікації та верифікації програмних систем
Порівняльний аналіз і класифікація методів формальних специфікацій щодо паралелізму за критеріями: класи задач, складність методів, ступінь автоматизації, зв’язок моделі з реальними програмами. Композиційно-номінативна мова, модель серверного середовища.
Подобные документы
Аналіз методів верифікації Web-контенту і можливості застосування онтологічної моделі подання знань. Доведення достовірності автоматичного гібридного виведення знань. Розробка методів семантичної верифікації знань і інтерпретації верифікаційних елементів.
автореферат, добавлен 29.07.2015Актуальність застосування програмного забезпечення. Порівняльний аналіз методів формальних специфікацій. Будова номінативної та метаномінативної моделей даних. Прототип реалізації аксіоматичної системи специфікацій програм над номінативними даними.
автореферат, добавлен 11.10.2011Розробка методів верифікації алгоритмів функціонування дискретних систем, що задовольняють заданим часовим обмеженням. Використання часових логік для опису властивостей алгоритмів і методів побудови моделей систем, описаних у сучасних мовах проектування.
автореферат, добавлен 29.08.2014Аналіз і класифікація атрибутів, метрик, методів та інструментальних засобів верифікації й сертифікації програмного забезпечення. Розробка методу верифікації програмного забезпечення в умовах ресурсних обмежень і неповноти проектної документації.
автореферат, добавлен 27.08.2015Інформаційна технологія й методи побудови функціональних тестів. Відновлення працездатності апаратно-програмних засобів у складі автоматизованих систем управління. Скорочення обчислювальної складності й довжини тестів шляхом розробки методів синтезу.
автореферат, добавлен 29.01.2016Створення алгоритмів та методів для автоматичної верифікації формальних моделей асинхронних промислових систем. Перевірка динамічних властивостей, редукції простору пошуку, генерації множини тестових сценаріїв, що задовольняють певним критеріям покриття.
автореферат, добавлен 26.09.2015Класи ітераційних методів рішення систем лінійних алгебраїчних рівнянь. Критерій оцінки швидкості збіжності різних ітераційних методів. Класифікація паралельних ітераційних алгоритмів та їх переваги асинхронних ітераційних методів, їхні види і критерій.
статья, добавлен 29.07.2016Аналіз задач і методів ущільнення зображень. Розробка методів, програмних модулів для виконання досліджень, оптоелектронних елементів і вузлів для систем ущільнення зображень з використанням нейронних мереж типу двовимірної карти Кохонена, їх дослідження.
автореферат, добавлен 26.08.2014Аналіз відомих методів і апаратно-програмних засобів підвищення продуктивності обчислювальних систем. Розробка нових методів паралельних обчислень спеціальних функцій, рішення систем рівнянь для навігаційних задач. Обробка навігаційної інформації.
автореферат, добавлен 29.09.2015Створення програмного комплексу для статичної перевірки властивостей формальних моделей та визначення досяжності станів, в яких знайдено недоліки. Основні формальні моделі асинхронних паралельних систем та статичні методи перевірки властивостей.
автореферат, добавлен 14.08.2015Використання електронно-обчислювальної техніки при вивченні систем радіозв’язку. Порівняльний аналіз функціональних можливостей та особливостей застосування програмних комплексів MatLab та VisSim, вироблення рекомендацій щодо їх практичного використання.
статья, добавлен 29.06.2016Розробка програмної моделі системи навчального процесу для вирішення задач. Характеристика сервісно-орієнтованого планового інтерфейсу "University Learning Directory". Використання алгоритмів взаємодії інтеграції з існуючими порядками автоматизації дій.
автореферат, добавлен 14.09.2014Розробка програмних систем адаптивного навчання, які використовують методи штучного інтелекту. Дослідження методів і засобів, які застосовуються в інтелектуальних системах обробки інформації і управління. Розроблення моделі процесу прийняття рішень.
автореферат, добавлен 29.09.2014Методологія RUP до представлення задач електронного документообігу. Розробка комплексу програмних інструментальних засобів, призначених для створення й функціонування систем композитного документообігу підприємств та організацій, його формальні моделі.
автореферат, добавлен 14.09.2014Існуючі методи алгоритмів модулярної редукції надвеликих чисел, їх порівняльний аналіз з метою визначення найбільш швидкодіючих. Новий паралельний алгоритм модулярного експоненціювання надвеликих чисел. Порівняльний аналіз методів модулярної редукції.
автореферат, добавлен 11.11.2013Аналіз моделей, методів розкрою та пакування матеріалу та простору, основних існуючих обчислювальних методів, математичних моделей та методик розв’язку задач одновимірного розкрою. Метод генерації лінійних комбінацій цін матеріалу на основі бітових полів.
автореферат, добавлен 26.07.2014Розробка методів непараметричної ідентифікації з метою визначення порядку диференціального оператора. Визначення основних способів створення програмних засобів реалізації розроблених методів, а також експериментальне дослідження їх ефективності.
автореферат, добавлен 29.09.2014Розроблення методу проектування вимог якості до програмних систем, на всіх стадіях життєвого циклу. Формування та оцінка програмного комплексу підтримки методу проектування вимог та автоматизації процесу оцінювання якості заданих програмних систем.
автореферат, добавлен 14.08.2015Засоби автоматизації тестування рівня знань користувачів гібридних інтелектуальних систем. Агентні та об’єктні методи програмної інженерії. Передавання знань від агента-експерта до респондента. Моделі діалогу інформаційних процедур як доступ до баз знань.
автореферат, добавлен 29.08.2015Аналіз відомих методів контролю та автоматичного виправлення типових помилок користувача, а також засобів реалізації методів у рамках "штатних" можливостей сучасних систем управління базами даних. Розробка засобів програмної реалізації моделей і методів.
автореферат, добавлен 28.08.2014Аналіз моделей і методів планування та побудови розкладів роботи виробничих систем. Побудова графової моделі скорочення строків підготовки розкладів для задач автоматизованого управління виробничими системами в умовах портфелю замовлень, що змінюється.
автореферат, добавлен 29.07.2014- 22. Методи і моделі системологічного імітаційного моделювання розробки компонент інформаційних систем
Побудова імітаційних моделей з використанням системно-об’єктного підходу та методів моделювання складних інформаційних програмних систем та їхніх компонентів на базі УФО-технології. Удосконалення математичного апарату для моделювання бібліотек даних.
автореферат, добавлен 27.08.2014 Класифікація програм автоматизації. Моделювання й аналіз інформаційних систем, засоби їх здійснення. Уніфікована мова моделювання UML, розробка моделі програмної системи її засобами. Розробка виду з погляду прецедентів, проектування та реалізації.
курсовая работа, добавлен 19.09.2017Розробка математичної моделі специфікації вимог до програмного забезпечення, прогнозування характеристик ПЗ на основі аналізу специфікацій та математичної моделі процесу прогнозування характеристик ПЗ, в основі якої лежить штучна нейронна мережа.
статья, добавлен 13.10.2016Узагальнення питання застосування різних методів програмування яке має властивості спадкування, інкапсуляції та поліморфізму при еволюційному оновленні програмних систем. Особливості складного програмування на основі компонентів повторного використання.
статья, добавлен 26.01.2017