Io-7-wyk-Slajd26

Specyfikacje aksjomatyczne(2)

Nasza książka będzie oferować cztery operacje i każda z nich będzie funkcją. Najważniejszą operacją jest operacja Lookup (po angielsku „poszukaj”) odszukująca w książce telefonicznej numer telefonu podanego abonenta.

Operacja ta ma dwa parametry wejściowe: nazwisko abonenta N i książkę telefoniczną D, w której należy poszukać numer telefonu.

Wynikiem jest numer telefonu podanego abonenta.

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