Io-7-wyk-Slajd168

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 >>