Io-7-wyk-Slajd168

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Specyfikacje aksjomatyczne

Specyfikacje aksjomatyczne


Mówiliśmy o specyfikacjach aksjomatycznych. Do ilustracji wybraliśmy notację RAISE i zapisaliśmy w niej specyfikację aksjomatyczną elektronicznej książki telefonicznej. Jedną z operacji wykonywanych przez tę książkę jest operacja lookup służąca do znajdowania numeru telefonu podanego abonenta w podanej książce telefonicznej. Jak widać na slajdzie, specyfikacje aksjomatyczne mają często charakter rekurencyjny – operacja lookup jest zdefiniowana za pomocą operacji lookup.


<< Poprzedni slajd | Spis treści | Następny slajd >>