Wyniki wyszukiwania dla: SPECYFIKACJE FORMALNE

• A Method Supporting Monitoring And Repair Processes of Information Systems

  Publikacja

  • M. Kamiński

  - Rok 2012

  W pracy zaproponowano nową metodę (ARM) zarządzania monitorowaniem i naprawą systemów IT, bez przerywania ciągłości ich funkcjonowania. Metoda ta integruje procesy monitorowania (uwzględniając już istniejące i stosowane rozwiązania) z procesami naprawy. Stworzono formalny model koncepcyjny opisujący dziedzinę monitorowania i naprawy oraz formalne specyfikacje mechanizmu napraw oraz wybranych procedur naprawczych. Do specyfikacji...

  Pełny tekst do pobrania w serwisie zewnętrznym