FI SWA Software Systems
Name in Czech: Software Systems
master's full-time specialized, language of instruction: English
Included in the programme: FI N-PSKB_A Computer Systems, Communication and Security

## Obligatory courses of the programme / Povinné předměty studijního programu (qyesjzfn)

 Code Name Guarantor Type of Completion Extent and Intensity Credits Term Profile Cat. FI:IA174 Fundaments of Cryptography P. Novotný zk 2/0/1 3+2 3 - FI:MV013 Statistics for Computer Science P. Hasil zk 2/2/0 3+2 2 P FI:PA191 Advanced Computer Networking E. Hladká zk 2/0/0 2+2 1 Z FI:PV079 Applied Cryptography V. Matyáš zk 1/1/2 4+2 3 Z FI:SOBHA Defence of Thesis D. Svoboda SZk 0/0/0 - 4 - FI:SZMGR State Exam (MSc degree) D. Svoboda SZk 0/0/0 - 4 - 20 credits

## Choice among courses of Mathematics / Volba předmětu Matematika

Pass at least 2 courses of the following list

 Code Name Guarantor Type of Completion Extent and Intensity Credits Term Profile Cat. FI:IV111 Probability in Computer Science V. Řehák zk 2/2/0 3+2 1 P FI:MA007 Mathematical Logic A. Kučera zk 2/1/1 4+2 1 P FI:MA010 Graph Theory D. Kráľ zk 2/1/0 3+2 1 P FI:MA012 Statistics II O. Pokora zk 2/2/0 3+2 1 - FI:MA015 Graph Algorithms J. Obdržálek zk 2/1/0 3+2 1 - FI:MA018 Numerical Methods J. Zelinka zk 2/2/0 3+2 1 P FI:MA026 Advanced Combinatorics P. Hliněný zk 2/1/0 3+2 1 - 36 credits

## Choice among courses of Informatics / Volba předmětu Informatika

Pass at least 1 course of the following list

 Code Name Guarantor Type of Completion Extent and Intensity Credits Term Profile Cat. FI:IA008 Computational Logic A. Blumensath zk 2/2/0 3+2 2 - FI:IA101 Algorithmics for Hard Problems I. Černá zk 2/0 2+2 2 Z FI:IA158 - - 0/0 - 2 - FI:IA159 Formal Methods for Software Analysis J. Strejček zk 2/0 2+2 2 - FI:IA169 Model Checking J. Strejček zk 2/1/0 3+2 2 Z FI:IV003 Algorithms and Data Structures II I. Černá zk 2/2/0 3+2 2 - FI:IV054 - - 0/0 - 2 - 23 credits

## Choice among courses of HW systems / Volba předmětu HW Systémy

Pass at least 2 courses of the following list.

 Code Name Guarantor Type of Completion Extent and Intensity Credits Term Profile Cat. FI:IA158 - - 0/0 - - - FI:PA174 Design of Digital Systems II Z. Matěj zk 2/0 2+2 1 P FI:PA175 Digital Systems Diagnostics II V. Přenosil zk 2/0 2+2 1 - FI:PA176 Architecture of Digital Systems II Z. Matěj zk 2/0/0 2+2 2 - FI:PA190 Digital Signal Processing V. Přenosil zk 2/0/0 2+2 2 - FI:PA192 Secure hardware-based system design Z. Matěj zk 2/2/2 5+2 - - FI:PA221 Hardware description languages Z. Matěj k 0/2/1 3+1 - - FI:PV191 Embedded systems seminar Z. Matěj k 0/3 3+1 2 - FI:PV193 Accelerating Algorithms at Circuit Level V. Přenosil zk 2/0 2+2 2 - FI:PV194 External Environments of Digital Systems V. Přenosil zk 2/0 2+2 2 - FI:PV198 Onechip Controllers Z. Matěj zk 2/0/1 3+2 1 - FI:PV200 Introduction to hardware description languages Z. Matěj k 0/2/1 3+1 1 - 48 credits

## Master's Thesis / Diplomová práce

It is necessary to collect 20 credits for completing Master's Thesis. / Povinnost získat 20 kreditů z předmětu SDIPR.

 Code Name Guarantor Type of Completion Extent and Intensity Credits Term Profile Cat. FI:SDIPR Diploma Thesis D. Svoboda z 0/0/0 20 4 - 20 credits

## Obligatory courses for specialization / Povinné předměty specializace

 Code Name Guarantor Type of Completion Extent and Intensity Credits Term Profile Cat. FI:PA017 Information Systems Management J. Ráček zk 2/0/0 2+2 1 P FI:PA039 Supercomputer Architecture and Intensive Computations L. Matyska zk 2/0 2+2 2 Z FI:PA103 Object-oriented Methods for Design of Information Systems R. Ošlejšek zk 2/0/0 2+2 3 P FI:PA152 Efficient Use of Database Systems V. Dohnal zk 2/0/1 3+2 4 Z FI:PA160 Net-Centric Computing II L. Matyska zk 2/0/0 2+2 4 Z FI:PA165 Enterprise Applications in Java T. Pitner zk 2/2/0 3+2 1 Z FI:PV217 Service Oriented Architecture B. Rossi k 2/0 2+1 3 P FI:PV258 Software Requirements Engineering T. Pitner zk 2/0 2+2 2 Z FI:PV260 Software Quality B. Bühnová k 2/2/1 4+1 4 - 38 credits