Slično kao što Dateov Tutorial D jezik ima ograničenja nad tipovima podataka (TYPE CONSTRAINT), tako Meyer-ov ADT prikazuje ograničenja kroz aksiome i pretkondicije.

No, ADT ne čine samo operacije.

ADT specifikacija se sastoji od četiri dijela:

Koristeći Android Development Tools (ADT) te Eclipse razvojno okruženje za Vas izrađujemo Android aplikacije.

- funkcije-kreatore, koje kreiraju instancu ADT-a; za njih je karakteristično da nemaju argumente (lijevo od strelice), već imaju samo rezultat (desno od strelice), a taj rezultat je ADT tipa, npr. make: STACK [ G ] ili skraćeno make: STACK [ G ]

Nekoliko je razmatranja odredilo izbor ADT-ove frekvencije rada pri 95 GHz:

ADT FLAPS antena može raditi pri dvije potpuno različite frekvencije.

Za uvod Histria ADT iz Pule

Konopek i društvo u petak dočekuju Histriu ADT (Foto: Ivan Salantić)

Skrecem paznju na korak 3, koji opisuje kako u Eclipse dodati plug-in za ADT; nakon restarta Eclipse-a sustav ce se pozaliti da mu jos nesto fali (barem meni je) i pitati da pokrene " Android SDK Manager " kako bi se dalje instaliralo sve sto treba - - > to je ujedno i korak 4 na stranici s uputama.

U članku ADT/ADS - Weapons of the 21 st Century?, poznatog časopisa Military Technology - MILTECH (5/2004), nagađa se o statusu i značajkama razvoja novih nekovencionalnih oružja.

Riječ je o klasi oružja zasnovanog na nečemu što je opisano kao Tehnologija aktivnog odvraćanja ili Sustavi aktivnog odvraćanja (Active Denial Technology - ADT/Active Denial Systems - ADS).

Iako je predstavnik zrakoplovnih snaga SAD-a 2001. godine dao kratku izjavu na konferenciji za novinare o postojanju novog oružja, od tada vjerojatno stoje rasprave oko smrtonosnih i humanitarnih implikacija uporabe ADT oružja, ali je objavljeno vrlo malo tehničkih detalja.

Primijećujemo da u programskom kodu postoje neke pretkondicije (npr. pretkondicija non_negative_capacity u metodi make), neke postkondicije (npr. postkondicija not_full u metodi remove) ali i neke invarijante (u konkretnom slučaju sve tri) koje nemaju svoj " izvor " u ADT specifikaciji.

One su nastale na temelju konkretne implementacije programskog rješenja, tj. nisu definirane u ADT specifikaciji.

Kod objašnjavanja ADT-ova često se kao primjer uzima stog (stack).

Osnovni prikaz ADT oružje se zapravo sastoji od izvora napajanja, mikrovalnog elektromagnetskog odašiljača i antene koja usmjerava energetski snop prema meti.

Čim se ADT oružje isključi, ili čim se meta pomakne s ciljne crte, bol gotovo odmah nestaje.

ADT oružja koriste se paraboličnim antenama oblika tanjura kako bi zračili elektromagnetskom energijom u uskom snopu.

Istina, u igri je ostalo još poprilično haklerskih družina koje će to probati osporiti, no svi preduvjeti za novi ogled između Histrije Oprtalj ADT i Pizzerije Jupiter klinci postoje.

Riječ je o uporabi elektromagnetskog zračenja (poznato i kao direct energy weapon), odnosno ADT (Active Denial Technology - tehnika aktivnog odvraćanja).

Riječ je o institucijama koje su stekle najviše iskustva u razvoju ADT tehnologije i njezinoj pripremi za operativnu uporabu.

ADT tehnologija na kojoj radi Sandia radi na frekvenciji od 95 GHz.

Istraživači uvjeravaju kako ADT nema nikakvog negativnog učinka na ozračenu osobu te ne izaziva nikakve druge sekundarne posljedice.

ADT se smatra alternativom uporabi smrtonosne sile i trebala bi korisnicima dati mogućnost gradiranja odgovora na prijetnju, ovisno o okolnostima.

Američki istraživački i industrijski sektor radi na razvoju ADT-a posljednjih desetak godina, provedeno je mnoštvo pokusa, navodno sa zadovoljavajućim rezultatima, a razvijen je i prvi sustav spreman za operativnu uporabu - Sheriff.

U ovom se dijelu navode sve operacije (ovdje nazvane funkcije) koje su primjenjuju na instancu ADT-a.

Date (2004, str. 115) navodi da pojam apstraktni tip podataka (ADT) nije adekvatan, jer na neki način upućuje da postoje i " ne-apstraktni " tipovi podataka, a tip se, po njemu, uvijek treba razlikovati od moguće fizičke reprezentacije.

Ipak, držimo da Dateova definicija tipa podataka ima nekih dodirnih točaka sa definicijom ADT-a koju prikazuje Meyer u (1997, poglavlje 6).

Drugim riječima, ADT omogućavaju da se precizno definira što se želi dobiti, a da se ne mora ulaziti u detalje kako to postići (aplikativni, a ne imperativni pristup).