home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
PC World Komputer 1999 January
/
pcwk_01_1999.iso
/
Ksiazki
/
HELION
/
ADA95.TXT
< prev
next >
Wrap
Text File
|
1998-04-17
|
8KB
|
319 lines
Ada 95
Autorzy: Z. Huzar, Z. Fryƒlewicz,
I. Dubielewicz, B. Hnatkowska,
J. Waniczek
Ada 95 jest uniwersalnym jΩzykiem
programowania przeznaczonym do tworzenia
du┐ych system≤w oprogramowania.
JΩzyk jest miΩdzynarodowym standardem,
rekomendowanym przez ISO (International
Organization for Standardization)
oraz przez IEC (International
Electrotechnical Commision).
Ada 95, podobnie jak jej poprzednia
wersja Ada 83, powsta│a pod auspicjami
Departamentu Obrony USA. Obecnie jest
g│≤wnym jΩzykiem programowania u┐ywanym
do tworzenia oprogramowania dla potrzeb
przemys│u zbrojeniowego USA oraz NATO.
Ksi╣┐ka jest przeznaczona dla
informatyk≤w, w szczeg≤lno£ci dla
programist≤w i projektant≤w
oprogramowania system≤w wbudowanych.
Celem podrΩcznika jest przedstawienie
g│≤wnych konstrukcji Ady 95 i ukazanie
zwi╣zanych z nimi koncepcji tworzenia
oprogramowania.
Dalsza czΩ£µ rozdzia│u jest kr≤tkim
przegl╣dem konstrukcji jΩzyka.
W szczeg≤lno£ci, zwraca siΩ uwagΩ na te
elementy Ady 95, kt≤rych nie zawiera│a
Ada 83. CzΩ£µ ta, przy pierwszym
czytaniu, mo┐e byµ pominiΩta;
mo┐na do niej wr≤ciµ, jako do pewnego
podsumowania, po przestudiowaniu
podrΩcznika.
Uk│ad podrΩcznika jest warstwowy.
Pierwsz╣, podstawow╣ warstwΩ wyznaczaj╣
rozdzia│y 2-10, kt≤re przedstawiaj╣
sekwencyjn╣ czΩ£µ jΩzyka. Znajomo£µ tej
czΩ£ci jΩzyka wystarcza do tradycyjnego
programowania strukturalnego.
Rozdzia│ 11 wyznacza warstwΩ
sekwencyjnego programowania obiektowego,
a rozdzia│ 12 - warstwΩ programowania
wsp≤│bie┐nego. Rozdzia│ 13, zawieraj╣cy
kilka przyk│adowych program≤w, jest
pewnego rodzaju podsumowaniem
wcze£niejszych rozdzia│≤w.
NastΩpne warstwy odnosz╣ce siΩ do
programowania systemowego, system≤w
czasu rzeczywistego i programowania
rozproszonego opisuj╣ odpowiednio
rozdzia│y 14, 15 i 16.
Rozdzia│ 17 jest po£wiΩcony om≤wieniu
standardowych i przegl╣dowi s
pecjalistycznych bibliotek Ady 95.
Ostatni rozdzia│ 18 nie dotyczy jΩzyka
lecz £rodowiska programistycznego
ObjectAda. Jest to jedno z pierwszych
profesjonalnych £rodowisk
implementuj╣cych j╣dro i aneksy
A-D normy jΩzyka.
Jednostki leksykalne
Typy
Deklaracje i wyra┐enia
Instrukcje
Podprogramy
Wyj╣tki
Typy wskaƒnikowe
Pakiety
Struktura program≤w
Mechanizmy programowania obiektowego
Zadania i obiekty chronione
Przyk│adowe programy
Mechanizmy programowania systemowego
Mechanizmy programowania system≤w
czasu rzeczywistego
Mechanizmy programowania system≤w
rozproszonych
Biblioteki standardowe
i specjalizowane
£rodowisko programistyczne ObjectAda
S│owniczek termin≤w
Sk│adnia jΩzyka
Atrybuty
Pragmy
Ada 95 - spis tre£ci:
---------------------
O Autorach
Przedmowa
WstΩp
Historia
Miejsce Ady w cyklu ┐ycia oprogramowania
Uk│ad ksi╣┐ki
Rozdzia│ 1. Przegl╣d konstrukcji jΩzyka
1.1. Wprowadzenie
1.2. Typy
1.3. Operacje
1.4. Instrukcje
1.5. Struktura logiczna programu
1.6. Struktura fizyczna programu
1.7. Inne w│a£ciwo£ci
1.8. Notacja sk│adni
Rozdzia│ 2. Jednostki leksykalne
2.1. Przyk│ad programu
2.2. Kategorie jednostek
2.2.1. Identyfikatory
2.2.2. Liczby
2.2.3. Litera│y znakowe i napisowe
2.3. Komentarz
Rozdzia│ 3. Typy
3.1. PojΩcia podstawowe i klasyfikacja
typ≤w
3.2. Typy skalarne
3.2.1. Typ wyliczeniowy
3.3. Typy numeryczne
3.3.1. Typ ca│kowity
3.3.2. Typy rzeczywiste
3.4. Typy tablicowe
3.5. Typy rekordowe
3.6. Zgodno£µ typ≤w
Rozdzia│ 4. Deklaracje i wyra┐enia
4.1. Deklaracje i obiekty
4.1.1. Obiekty
4.1.2. Deklaracja obiekt≤w
4.2. Nazwy i wyra┐enia
4.2.1. Nazwy
4.2.2. Wyra┐enia
Rozdzia│ 5. Instrukcje
5.1. Klasyfikacja instrukcji
5.2. Instrukcja przypisania
5.3. Instrukcja bloku (declare)
5.4. Instrukcja warunkowa (if)
5.5. Instrukcja wyboru (case)
5.6. Instrukcja pΩtli (loop)
5.7. Instrukcja skoku strukturalnego
(exit)
5.8. Instrukcja skoku (goto)
Rozdzia│ 6. Podprogramy
6.1. Podprogramy pojΩcia podstawowe
6.2. Funkcje
6.3. Operatory
6.4. Procedury
6.5. Przekazywanie parametr≤w do
podprogram≤w
6.6. Przeci╣┐anie podprogram≤w
6.7. Podprogramy rodzajowe
6.8. ZasiΩg i widzialno£µ
Rozdzia│ 7. Wyj╣tki
7.1. Wyj╣tki predefiniowane
7.2. Deklarowanie i zg│aszanie wyj╣tk≤w
7.3. Obs│uga wyj╣tk≤w
7.4. Propagacja wyj╣tk≤w
7.5. Pakiet Ada.Exceptions
Rozdzia│ 8. Typy wskaƒnikowe
8.1. Typy wskaƒnikowe ograniczone
8.2. Typy wskaƒnikowe og≤lne
8.3. Wskaƒniki jako parametry
podprogram≤w
8.4. Wskaƒniki na podprogramy
Rozdzia│ 9. Pakiety
9.1. Struktura pakietu
9.2. Typy prywatne
9.3. Ograniczone typy prywatne
9.4. Operacje elementarne i typy pochodne
9.5. Pakiety rodzajowe
9.6. Parametry rodzajowe
Rozdzia│ 10. Struktura program≤w
10.1. Jednostki kompilacji i jednostki
biblioteczne
10.2. Podjednostki kompilacji
10.3. Pakiety potomne
10.4. Prywatne pakiety potomne
10.5. ZasiΩg i widzialno£µ byt≤w
10.6. Przemianowania
Rozdzia│ 11. Mechanizmy programowania
obiektowego
11.1. Dziedziczenie typ≤w
11.2. Klasy i polimorfizm
11.3. Typy i podprogramy abstrakcyjne
11.4. Wielokrotne implementacje
specyfikacji abstrakcyjnej
11.5. Nadzorowanie obiekt≤w
Rozdzia│ 12. Zadania i obiekty chronione
12.1. Deklarowanie zada±
12.2. Spotkania
12.3. Priorytety, zale┐no£ci czasow
i kolejkowanie zada±
12.4. Obiekty chronione
12.4.1. Bariery i zadania
12.4.2. Instrukcja rekolejkowania
12.5. Instrukcja select i jej formy
12.6. Oczekiwanie selektywne
12.6.1. Czekanie na wiele spotka±
12.6.2. Ga│Ωzie z dozorami
12.6.3. Przeterminowanie spotka±
12.6.4. Ga│╣ƒ else
12.6.5. Ga│╣ƒ terminate
12.7. Terminowe i warunkowe wywo│anie
wej£cia
12.7.1. Terminowe wywo│anie wej£cia
12.7.2. Warunkowe wywo│anie wej£cia
12.8. Asynchroniczna zmiana w╣tku
sterowania
12.9. Awaryjne ko±czenie zada±
12.10. Cykl ┐ycia zada±
12.11. Przyk│ady
Rozdzia│ 13. Przyk│adowe programy
13.1. Pakiet operacji stosowych
13.2. Figury geometryczne
13.3. Producenci-konsumenci
13.4. System alarm≤w
13.5. Sterownik konwertera
analogowo-cyfrowego
Rozdzia│ 14. Mechanizmy programowania
systemowego
14.1. Model i obs│uga przerwa±
14.2. Identyfikatory zada±
14.3. Atrybuty zada±
14.4. Inne zagadnienia
Rozdzia│ 15. Mechanizmy programowania
system≤w czasu rzeczywistego
15.1. Priorytety zada±
15.1.1. Priorytety bazowe
15.1.2. Problem inwersji priorytet≤w
15.1.3. Strategie szeregowania zada±
15.1.4. Szeregowanie wej£µ
15.2. Priorytety dynamiczne
15.2.1. Metoda szeregowania EDF
15.3. Synchroniczne i asynchroniczne
sterowanie zadaniami
15.3.1. Synchroniczne sterowanie
zadaniami
15.3.2. Asynchroniczne sterowanie
zadaniami
15.3.3. Awaryjne zako±czenie zadania
15.4. Uproszczenia modelu zadaniowego
15.5. Zegary i czas
Rozdzia│ 16. Mechanizmy programowania
system≤w rozproszonych
16.1. Model systemu rozproszonego
16.2. Kategorie jednostek bibliotecznych
16.3. Podsystem komunikacji partycji
16.4. Przyk│ad
Rozdzia│ 17. Biblioteki standardowe
i specjalizowane
17.1. Pakiet Standard
17.2. Podstawowe pakiety numeryczne
17.3. Operowanie na znakach
17.4. Operowanie na napisach
17.5. Wej£cie-wyj£cie
17.6. Tekstowe wej£cie-wyj£cie
17.7. Klauzule reprezentacji
17.8. Pakiet System
17.8.1. Pakiet System.Storage_Elements
17.8.2. Pakiet System.Storage_Pools
17.9. Pakiet Interfaces.C
17.10. Systemy informacyjne
17.11. Obliczenia numeryczne
17.12. Udogodnienia wspomagaj╣ce budowΩ
i testowanie oprogramowania.
Rozdzia│ 18. îrodowisko programistyczne
ObjectAda
18.1. Zintegrowane £rodowisko ObjectaAda
(IDE)
18.1.1. File menu
18.1.2. Edit menu
18.1.3. Search menu
18.1.4. Project menu
18.1.5. Debug menu
18.1.6. Tools menu
18.1.7. Window menu
18.1.8. Help menu
18.2. GUI Builder
18.3. Pozosta│e w│asno£ci ObjectAda
18.4. Podsumowanie
Dodatek A. HtmlDirectS│owniczek termin≤w
Dodatek B. Sk│adnia jΩzyka
Dodatek C. Atrybuty
Dodatek D. Pragmy
Literatura
Skorowidz
Wydawnictwo Helion, marzec 1998
ISBN: 83-86718-38-2
Format: B5, 372 strony
WiΩcej informacji:
http://www.helion.com.pl/ksiazki/ada95.htm