289
• Детайлите по
реализацията са скрити, така че кодът клиент не зависи от конкретна реализация (тя може да бъде променяна независимо Кодът-клиент е по-надежден, те. той не може, дори и случайно да промени реализацията на
обектите на АТД, което пък подобрява неговата цялостност.
За да бъде изцяло завършено специфицирането на един АТД, трябва да бъдат определени точно условията на
входа (известни
като предусловия, които се гарантират от програмата-клиент при обръщението към АТД и които са необходими за правилното изпълнение на дадена операция условията на
изхода (известни като следусловия) това са резултатите, които се гарантират отдадена операция.
Тук е мястото за създаване на навици за точно формулиране на
входните и изходни условия, което от своя страна спестява много логически грешки и изработва добър стилна програмиране.
Следва запознаване с начините за
описание на даден АТД, а именно с помощта на
езици за описание на АТД, които биват естествени езици,
формални езици и др. Най-удобен за целите на обучение е неформален език от вида:
Псевдокод = Синтаксис на конкретен език за програмиране +Естествен език по подобие на описанието на алгоритми. Езиково независимото описание на АТД би трябвало да включва синтактична спецификация (формата семантична спецификация (значението ограничения.
Нека например да разгледаме описанието на АТД Цяло число».
Нека
к е цяло число.
Сподели с приятели: 
