Пошук академічних текстів

Інформація × Реєстраційний номер 0111U002294, ( 0214U003652  ) Науково-дослідна робота Назва роботи Методологія інтелектуального автоматизованого оцінювання відповідності програмного забезпечення систем критичного застосування вимогам Керівник роботи Поморова Оксана Вікторівена, Дата реєстрації 10-02-2011 Організація виконавець Хмельницький національний університет Опис роботи Метою дослідження є розроблення методології інтелектуального автоматизованого оцінювання відповідності програмного забезпечення (ПЗ) систем критичного застосування вимогам. Реалізація проекту забезпечить методологічну базу для розроблення систем автоматизації процесу формування специфікацій та верифікації ПЗ критичних систем. Додано в НРАТ 2024-12-10 Закрити