Předmět Úvod do spolehlivých systémů (NSWE002)
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 NSWE002 - Úvod do spolehlivých systémů, Matematicko-fyzikální fakulta, Univerzita Karlova v Praze (UK).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Sylabus
1. Spolehlivé systémy2. Formální metody3. Model Checking, analýza kódu4. Middleware/Cloud computing5. Realtime scheduling6. Modelování a měření výkonosti softwarových systémů7. Metamodelování a model-driven development
Literatura
E. M. Clarke, O. Grumberg, D. A. Peled: Model Checking, MIT Press, 1999C. Szyperski: Component Software: Beyond Object-Oriented Programming, Addison-Wesley, 2002R. K. Jain: The Art of Computer Systems Performance Analysis: Techniques for Experimental Design, Measurement, Simulation and Modeling, John Wiley & Sons, Inc., 1991
Garant
doc. Ing. Petr Tůma, Dr.