| Název předmětu | Software Engineering |
|---|---|
| Kód předmětu | KI/ESWI |
| Organizační forma výuky | Cvičení |
| Úroveň předmětu | Bakalářský |
| Rok studia | nespecifikován |
| Semestr | Letní |
| Počet ECTS kreditů | 5 |
| Vyučovací jazyk | Angličtina |
| Statut předmětu | nespecifikováno |
| Způsob výuky | Kontaktní |
| Studijní praxe | Nejedná se o pracovní stáž |
| Doporučené volitelné součásti programu | Není |
| Dostupnost předmětu | Předmět je nabízen přijíždějícím studentům |
| Vyučující |
|---|
|
| Obsah předmětu |
|
1. Basics of SW engineering 2. Software processes 3. SW verification 4. SW validation 5. SW reliability 6. Models of SW reliability 7. Diagnosis of SW 8. Architectures of fault-tolerant SW 9. Distributed systems 10. Diagnosis model of a SW system. Comparators and consistent set of units 11. Concurrency (competition and cooperation) 12. Coordinated atomic actions 13. Formal methods for developing a reliable SW
|
| Studijní aktivity a metody výuky |
| nespecifikováno |
| Výstupy z učení |
|
The course focuses on the basics of software engineering. More attention is given to the problem of developing of reliable and fault-tolerant software systems. Modern formal methods for developing reliable SW are considered with the examples.
|
| Předpoklady |
|
nespecifikováno
|
| Hodnoticí metody a kritéria |
|
nespecifikováno
oral |
| Doporučená literatura |
|
|
| Studijní plány, ve kterých se předmět nachází |
| Fakulta | Studijní plán (Verze) | Kategorie studijního oboru/specializace | Doporučený semestr |
|---|