SOWA OPAC : Biblioteka - Katalog książek

2 wyniki

Brak okładki

Książka

W koszyku

oceń

Kompilatory : reguły, metody, narzędzia / Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman ; [przekład Marek Włodarz]. - Wyd. 2. - Warszawa : PWN Wydaw. Nauk., 2019. - XXIII, [1], 1039, [1] s. : il. ; 25 cm.

Autor

Aho Alfred V. Lam Monica S. Sethi Ravi Ullman Jeffrey D. (1942- ) Włodarz Marek

Forma i typ

Książki Publikacje fachowe

Temat

Kompilatory (programy komputerowe)

Gatunek

Podręcznik

Dziedzina i ujęcie

Informatyka i technologie informacyjne

Zawiera: Przedmowa; 1. Wprowadzenie: 1.1. Translatory; 1.2. Struktura kompilatora; 1.3. Ewolucja języków programowania; 1.4. Teoria konstruowania kompilatorów; 1.5. Zastosowanie technologii kompilatorów; 1.6. Podstawy języków programowania; 2. Prosty translator sterowany składnią: 2.2. Definiowanie składni; 2.3. Translacja sterowania składnią; 2.4.Analiza składniowa; 2.5. Translator dla prostych wyrażeń; 2.6.Analiza leksykalna; 2.7. Tablice symboli; 2.8. Generowanie kodu pośredniego; 3. Analiza leksykalna: 3.1. Rola analizatora leksykalnego; 3.2. Buforowanie wejścia; 3.3. Specyfikacje tokenów; 3.4. Rozpoznawanie tokenów; 3.5. Lex – generator analizatorów leksykalnych; 3.6. Automaty skończone; 3.7. Od wyrażeń regularnych do automatów; 3.8. Projektowanie generatora analizatorów leksykalnych; 3.9. Optymalizacja mechanizmów rozpoznających wzorce oparte na DAS; 4. Analiza składniowa: 4.2. Gramatyki bezkontekstowe; 4.3. Tworzenie gramatyki; 4.4. Analiza zstępująca; 4.5. Analiza wstępująca; 4.6. Wprowadzenie do analizy LR: proste LR (SLR) 4.7. Bardziej skuteczne parsery LR; 4.8. Gramatyki niejednoznaczne; 4.9. Generatory parserów; 5.Translacja sterowana składnią: 5.1.Definicje sterowane składnią; 5.2. Kolejność przetwarzania w SDD; 5.3. Zastosowania translacji sterowanej składnią; 5.4. Sterowane składnią schematy translacji; 5.5. Implementacja L-atrybutowanych SDD; 6. Generowanie kodu pośredniego: 6.1. Odmiany drzew składniowych; 6.2. Kod trójadresowy; 6.3. Typy i deklaracje; 6.4. Translacja wyrażeń; 6.5. Kontrola typów; 6.6. Przepływ sterowania; 6.7. Backpatching; 6.8. Instrukcje wyboru; 6.9. Kod pośredni dla procedur; 7. Środowiska wykonania: 7.1. Organizacja pamięci; 7.2. Stosowa rezerwacja pamięci; 7.3. Dostęp do nielokalnych danych na stosie; 7.4. Zarządzanie stertą; 7.5. Wprowadzenie do odśmiecania pamięci; 7.6. Wprowadzenie do odśmiecania bazującego na śledzeniu; 7.7. Odśmiecanie z krótkimi pauzami; 7.8. Zaawansowane zagadnienia związane ze sprzątaniem pamięci; 8. Generowanie kodu: 8.1. Zagadnienia projektowania generatora kodu; 8.2. Język docelowy; 8.3. Adresy w kodzie wynikowym; 8.4. Bloki podstawowe i grafy przepływu; 8.5. Optymalizowanie bloków podstawowych; 8.6. Prosty generator kodu; 8.7. Optymalizacja przez szparkę; 8.8. Przydzielanie i przypisywanie rejestrów; 8.9. Dobór rozkazów przez przekształcanie drzewa; 8.10. Generowanie optymalnego kodu dla wyrażeń; 8.11. Generowanie kodu przy użyciu programowania dynamicznego; 9. Optymalizacje niezależne od typu procesora: 9.1. Główne źródła optymalizacji; 9.2. Wprowadzenie do analizy przepływu danych; 9.3. Podstawy analizy przepływu danych; 9.4. Propagacja stałych; 9.5. Eliminowanie częściowej nadmiarowości; 9.6. Pętle w grafach przepływu; 9.7. Analiza oparta na regionach; 9.8. Analiza symboliczna; 10. Równoległość na poziomie instrukcji: 10.1. Architektury procesorów; 10.2. Ograniczenia szeregowania wykonania kodu; 10.3. Szeregowanie wykonania dla bloków podstawowych; 10.4. Globalne szeregowanie kodu; 10.5. Potokowanie programowe; 11. Optymalizacja pod kątem równoległości i lokalności: 11.1. Pojęcia podstawowe; 11.2. Mnożenie macierzy: pogłębiony przykład; 11.3. Przestrzenie iteracji; 11.4. Afiniczne indeksy tablic; 11.5. Ponowne użycie danych; 11.6. Analiza zależności danych między dostępami do tablic; 11.7. Wyszukiwanie równoległości niewymagającej synchronizacji; 11.8. Synchronizacja między pętlami równoległymi; 11.9. Potokowanie; 11.10. Optymalizowanie lokalności; 11.11. Inne zastosowania transformacji afinicznych; 12. Analiza międzyproceduralna: 12.2. Dlaczego potrzebna jest analiza międzyproceduralna? 12.3. Logiczna reprezentacja przepływu danych; 12.4. Prosty algorytm analizy wskaźników; 12.5. Analiza międzyproceduralna niewrażliwa na kontekst; 12.6. Analiza wskaźników z uwzględnieniem kontekstu; 12.7. Implementacja Datalogu przez BDD; A. Pełny front-end kompilatora: A.1. Język źródłowy; A.2. Main; A.3. Analizator leksykalny; A.4. Tabele symboli oraz typy; A.5. Kod pośredni dla wyrażeń; A.6. Kod skaczący dla wyrażeń logicznych; A.7. Kod pośredni dla instrukcji; A.8. Parser; A.9. Budowanie front-endu kompilatora. B. Znajdowanie rozwiązań liniowo niezależnych. Indeks.

dostępna do wypożyczenia

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 004 (2 egz.)

Książka

W koszyku

oceń

Inżynieria oprogramowania / Ian Sommerville ; [przekł. Marek Włodarz]. - Wydanie X (I w WN PWN). - Warszawa : PWN Wydaw. Nauk. , 2020. - XVII, [1], 845 s. : ilustracje, wykresy ; 24 cm.

Autor

Sommerville Ian (1951- ) Włodarz Marek

Forma i typ

Książki Publikacje dydaktyczne Publikacje fachowe

Temat

Programowanie (informatyka) Programy komputerowe

Gatunek

Podręcznik

Dziedzina i ujęcie

Informatyka i technologie informacyjne

Przedmowa Część 1 Wprowadzenie do inżynierii oprogramowania: Rozdział 1 Wprowadzenie: 1.1 Profesjonalne wytwarzanie oprogramowania; 1.2 Etyka inżynierii oprogramowania; 1.3 Studia przypadków; Rozdział 2 Procesy wytwarzania oprogramowania: 2.1 Modele procesu wytwarzania oprogramowania; 2.2 Czynności procesowe; 2.3 Radzenie sobie ze zmianami; 2.4 Ulepszanie procesu wytwarzania; Rozdział 3 Zwinne wytwarzanie oprogramowania: 3.1 Metodyki zwinne; 3.2 Zwinne techniki wytwarzania; 3.3 Zwinne zarządzanie projektem; 3.4 Skalowanie metodyk zwinnych; Rozdział 4 Inżynieria wymagań: 4.1 Wymagania funkcjonalne i pozafunkcjonalne; 4.2 Procesy inżynierii wymagań; 4.3 Ujawnianie wymagań; 4.4 Specyfikowanie wymagań; 4.5 Walidacja wymagań; 4.6 Zmiany wymagań; Rozdział 5 Modelowanie systemu: 5.1 Modele kontekstowe; 5.2 Modele interakcji; 5.3 Modele strukturalne; 5.4 Modele behawioralne; 5.5 Inżynieria sterowana modelami; Rozdział 6 Projekt architektoniczny: 6.1 Decyzje dotyczące projektu architektonicznego; 6.2 Widoki architektoniczne; 6.3 Wzorce architektoniczne; 6.4 Architektury aplikacji; Rozdział 7 Modelowanie systemu: 7.1 Projektowanie obiektowe z wykorzystaniem UML; 7.2 Wzorce projektowe; 7.3 Problemy implementacyjne; 7.4 Wytwarzanie oprogramowania open source; Rozdział 8 Testowanie oprogramowania: 8.1 Testy wytwórcy; 8.2 Wytwarzanie sterowane testami; 8.3 Testy wydania; 8.4 Testy użytkownika; Rozdział 9 Ewolucja oprogramowania: 9.1 Procesy ewolucji; 9.2 Systemy odziedziczone; 9.3 Konserwacja oprogramowania; Część 2 Rzetelność i zabezpieczenia; Rozdział 10 Rzetelne systemy: 10.1 Cechy rzetelności; 10.2 Systemy socjotechniczne; 10.3 Nadmiarowość i różnorodność; 10.4 Rzetelne procesy; 10.5 Metody formalne a rzetelność; Rozdział 11 Inżynieria niezawodności: 11.1 Dostępność i niezawodność; 11.2 Wymagania niezawodności; 11.3 Architektury tolerujące awarie; 11.4 Programowanie pod kątem niezawodności; 11.5 Mierzenie niezawodności; Rozdział 12 Inżynieria bezpieczeństwa: 12.1 Systemy krytyczne ze względów bezpieczeństwa; 12.2 Wymagania bezpieczeństwa; 12.3 Procesy inżynierii bezpieczeństwa; 12.4 Analizy bezpieczeństwa; Rozdział 13 Inżynieria zabezpieczeń: 13.1 Zabezpieczenia i rzetelność; 13.2 Zabezpieczenia i firmy; 13.3 Wymagania zabezpieczeń; 13.4 Projektowanie zabezpieczonych systemów; 13.5 Testowanie i gwarantowanie zabezpieczeń; Rozdział 14 Inżynieria odporności: 14.1 Bezpieczeństwo cybernetyczne; 14.2 Odporność socjotechniczna; 14.3 Projektowanie systemów odpornych; Część 3 Zaawansowana inżynieria oprogramowania: Rozdział 15 Ponowne użycie oprogramowania: 15.1 Ogólny przegląd ponownego użycia; 15.2 Platformy aplikacji; 15.3 Linie oprogramowania na sprzedaż; 15.4 Ponowne użycie systemów użytkowych; Rozdział 16 Komponentowa inżynieria oprogramowania: 16.1 Komponenty i modele komponentowe; 16.2 Procesy CBSE; 16.3 Składanie komponentów; Rozdział 17 Inżynieria oprogramowania rozproszonego: 17.1 Systemy rozproszone; 17.2 Przetwarzanie klient-serwer; 17.3 Wzorce architektoniczne systemów rozproszonych; 17.4 Oprogramowanie jako usługa; Rozdział 18 Usługocentryczna inżynieria oprogramowania: 18.1 Architektury usługocentryczne; 18.2 Usługi RESTful; 18.3 Inżynieria usług; 18.4 Komponowanie usług; Rozdział 19 Inżynieria systemów: 19.1 Systemy socjotechniczne; 19.2 Projekt koncepcyjny; 19.3 Zamawianie systemu; 19.4 Wytwarzanie systemu; 19.5 Działanie i ewolucja systemu; Rozdział 20 Systemy systemów: 20.1 Złożoność systemu; 20.2 Klasyfikowanie systemów systemów; 20.3 Redukcjonizm i systemy złożone; 20.4 Inżynieria systemów systemów; 20.5 Architektury systemów systemów; Rozdział 21 Inżynieria oprogramowania czasu rzeczywistego: 21.1 Projektowanie systemów wbudowanych; 21.2 Wzorce architektoniczne oprogramowania czasu rzeczywistego; 21.3 Analiza synchronizacji; 21.4 Systemy operacyjne czasu rzeczywistego; Część 4 Zarządzanie oprogramowaniem: Rozdział 22 Zarządzanie projektem: 22.1 Zarządzanie ryzykiem; 22.2 Zarządzanie ludźmi; 22.3 Praca zespołowa; Rozdział 23 Planowanie projektu: 23.1 Wycenianie oprogramowania; 23.2 Wytwarzanie planowe; 23.3 Tworzenie harmonogramu projektu; 23.4 Planowanie zwinne; 23.5 Techniki szacowania; 23.6 Metodyka modelowania kosztów COCOMO; Rozdział 24 Zarządzanie jakością: 24.1 Jakość oprogramowania; 24.2 Standardy oprogramowania; 24.3 Przeglądy i inspekcje; 24.4 Zarządzanie jakością a wytwarzanie zwinne; 24.5 Miernictwo oprogramowania; Rozdział 25 Zarządzanie konfiguracją: 25.1 Zarządzanie wersjami; 25.2 Budowanie systemu; 25.3 Zarządzanie zmianami; 25.4 Zarządzanie wydaniami; Słownik.

dostępna do wypożyczenia

Ta pozycja znajduje się w zbiorach 2 placówek. Rozwiń listę, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 004 (2 egz.)

Czytelnia

Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 004 (1 egz.)