PC World Komputer 1998 November/pcwk_11_98a.iso/Ksiazki/HELION/ADA95.TXT

Text File | 1998-04-17 | 8.2 KB | 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