Io-7-wyk-Slajd29

Specyfikacje aksjomatyczne(3)

Aby móc dodawać nowych abonentów do książki telefonicznej wprowadzimy operację Add (po angielsku „dodaj”).

Operacja ta ma trzy parametry wejściowe: nazwisko abonenta N, numer telefonu F i książkę telefoniczną D, do której chcemy dodać informacje o tym abonencie.

Jako wynik dostajemy nową książkę telefoniczną z dopisaną informacją o nowym abonencie.

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