Předmět Dependabilita softwarových systémů (KI / DSW)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KI / DSW - Dependabilita softwarových systémů, Přírodovědecká fakulta, Univerzita Jana Evangelisty Purkyně v Ústí nad Labem (UJEP).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Obsah
1. Úvod do problematiky.2. Základy SW inženýrství.3. Verifikace SW.4. Validace SW.5. Spolehlivost SW.6. Prostředky pro hodnocení spolehlivostí SW.7. Modely spolehlivostí.8. Diagnostika závad.9. Odolné proti závadám SW architektury.10. Diagnostický model SW systému s porovnávači, konzistentní množiny modulů.11. Nástroje pro vývoj spolehlivého SW.12. Formální metody pro vývoj spolehlivého SW.
Literatura
Laprie, J.C., ed. Dependability: Basic concepts and terminology- in English, French, German, Italian and Japanese. Springer-Verlag, Vienna, Austria, 1992. Mashkov V., Fišer J. Samokontrola a samodiagnostika na systémové úrovni. Lviv: Ukrainian Academic Press, 2010. ISBN 978-966-322-169-4.Mashkov V. Selected problems of system level self-diagnosis. Lviv: Ukrainian Academic Press, 2011. ISBN 978-966-322-365-0.Michael R. L. Handbook of Software Reliability Engineering. IEEE Computer Society Press and McGraw-Hill Book Company, 1996. ISBN 0070394008.
Garant
doc. RNDr. Viktor Mashkov, DrSc.
Vyučující
doc. RNDr. Viktor Mashkov, DrSc.