V tomto předmětu se naučíte navrhovat, modelovat a analyzovat softwarové systémy s ohledem na jejich spolehlivost, výkonnost a dostupnost. V průběhu se seznámíte jak s formálními matematickými modely, tak se základní teorií simulací, s nástroji pro sledování běhu software a se způsoby zpracování a prezentace výsledků měření.
- Teacher: Lipka Richard
- Teacher: Potužák Tomáš