Abstrakcyjny typ danych

Abstrakcyjny typ danych (ang. abstract data type, ADT) – tworzenie i opisywanie w formalny sposób typów danych tak, że opisywane są jedynie własności danych i operacji wykonywanych na nich (a nie przez reprezentację danych i implementację operacji).

Specyfikacja ADT powinna:

być jednoznaczna i dokładna;
zawierać wszystkie przypadki warte rozważenia;
nie zawierać niepotrzebnych informacji.

Podając specyfikację ADT (dowolnego typu), powinniśmy uwzględnić:

nazwę tego typu;
dziedzinę;
zbiór funkcji;
aksjomaty;
warunki początkowe.

Przykłady

Kontrola autorytatywna (termin informatyczny):

Encyklopedia internetowa:

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.