.

0 (hodnocen0 x )

BK

Praha : České vysoké učení technické, 1991

152 s.

ISBN 80-01-00533-X

000107163

1. ÚVOD 4 // 2. ŽIVOTNÍ CYLKUS PROGRAMOVÉHO DÍLA 5 // 3. SPECIFIKACE POŽADAVKŮ 8 // 3.1 Neformálni specifikace 9 // 3.2 FormálnÍ specifikace 12 // 3.3 Cvičení 18 // 4. ALGEBRAICKÉ SPECIFIKACE 19 // 4.1 Abstraktní datové typy 19 // 4.2 Signatura datového typu 21 // 4.3 Výrazy 23 // 4.4 Vlastnosti operaci 24 // 4.5 Specifikace datového typu 27 // 4.6 Strukturovaný zápis specifikaci 29 // 4.7 Parametrické datové typy 30 // 4.8 Specifikace chybových stavO 32 // 4.9 Algebraická specifikace problému formátováni textu 34 // 4.10 Algebraická specifikace problému vedeni finanční historie 37 // 4.11 CvičenÉ 38 // 5. FUNKCIONÁLNÍ SPECIFIKACE 43 // 5.1 Lambda-kalkul 43 // 5.2 Modely lambda-kalkulu 47 // 5.3 Použiti funkcionálních specifikaci pro popis sémantiky 55 // 5.4 Funkcionální specifikace problému formátováni textu 80 // 5.5 Funkcionální specifikace problému vedeni finanční historie 62 // 5.6 Cvičení 83 // 6. SPECIFIKACE ZALOŘENÉ NA MODELECH 67 // 6.1 Z-schemata 67 // 6.2 Vídeňská definiční metoda 72 // 6.3 Cvičeni 75 // 7. VALIDACE SPECIFIKACE 78 // 7.1 Testováni specifikace 76 // 7.2 Prototypové řešeni 79 // 7.3 Cvičeni 84 // 8. UŽIVATELSKÝ VZHLED PROGRAMU 85 // 8.1 Principy návrhu uživatelského vzhledu 85 // 8.2 Základní typy uživatelského vzhledu 88 // 8.3 PrQvodce uživatelským vzhledem 91 // 9. NÁVRH IMPLEMENTACE 93 // 9.1 Hierarchie technologii programováni 93 // 9.2 Dokumentace návrhu Implementace 108 // 9.3 Návrh Implementace problému finanční historie 109 // 10. VALIDACE A VERIFIKACE 118 // 10.1 Testování produktu 118 // 10.2 Inspekce produktu 120 // 10.3 Statická analýza produktu 120 // 10.4 Matematická verifikace programu 121 // 11. RIZENI PROJEKTU A DOKUMENTACE 125 // 11.1 Algoritmizace rozpočtu 125 // 11.2 Sítové grafy 128 // 11.3 Softwarové profese 129 //

11.4 Organizace pracovních týmů 130 // 11.5 Održba programových produktd 131 // Literatura 132 // INDEX 134 // PŘÍLOHA 138

cnb000059289