Io-7-wyk-Slajd168
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
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.
