Technology of quality assessment of critical software systems based on ontological modeling

Πηγή: Problems of Informatization and Management; Vol. 2 No. 82 (2025); 68-91
Проблемы информатизации и управления; Том 2 № 82 (2025); 68-91
Проблеми iнформатизацiї та управлiння; Том 2 № 82 (2025); 68-91

Θεματικοί όροι: certification, сертифікація, quality models of critical PS, вимоги до безпеки, задачі прийняття рішення, safety requirements, critical software systems, objects, програмне забезпечення, зменшення ризиків контролю польотів, критерії та обмеження, якість, онтологія, quality requirements, functionality requirements, критичні програмні системи, ontology, моделі якості систем критичного призначення, interpretation functions, reliability requirements, об'єкти, тестування, software, reduction of risks of flight control, вимоги до функціональності, testing, decision-making tasks, функції інтерпретації, вимоги до надійності, quality, criteria and restrictions, вимоги до якості програм, flight control, контроль польотів

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://jrnl.nau.edu.ua/index.php/PIU/article/view/20371