logical inference

Система підтримки ситуаційної обізнаності у процесі тестування програмного забезпечення

Досліджено та розроблено прототип інформаційної системи, що базується на онтологічному моделюванні із використанням логічного виведення (дескриптивної логіки) у процесі тестування програмного забезпечення.

Розглянуто актуальну проблему використання ситуаційної обізнаності як ключового фактору при проектуванні системи підтримки прийняття рішення.