Wyniki wyszukiwania dla: FORMALNA SPECYFIKACJA

• Towards automating repairs of IT systems

  Publikacja

  • M. Kamiński

  - Rok 2009

  This 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...