Reklama

historia

(history)

1. plik, w którym Ä system operacyjny lub transakcyjny zapisuje tresci wszystkich wykonywanych Ä polecen, operacji, stany posrednie zmiennych i in. dane przydatne do wstecznej analizy przebiegu zdarzen; 2. zapis (Ä slad) logicznych nastepstw Ä stanów obserwowanego systemu; h. moga sluzyc do wyrazania Ä specyfikacji formalnych - bierze sie wówczas pod uwage tylko h i s t o r i e d o p u s z c z a l n e (permissible histories). Zob. tez dziennik.

Reklama

Podobne hasła:

Encyklopedia Internautica
Reklama
Reklama
Reklama