Wyszukiwarka
Wyniki wyszukiwania dla: FORMALNA SPECYFIKACJA
Znaleźliśmy mało wyników, wypróbuj alternatywnej metody wyszukiwania.
Filtry
wszystkich: 1
Wyniki wyszukiwania dla: FORMALNA SPECYFIKACJA
-
Towards automating repairs of IT systems
PublikacjaThis paper presents formal description of working principles of the repair library, being the essential component of the Repair Management Framework (RMF), which aims at automating the process of repairing IT systems, and consists also of the Repair Management Model (RMM) and the Repair Management System (RMS). RMM introduces two mathematical models (model of monitoring and model of repair processes), general enough to cover the...