Programming Languages Security for Acute Situations

Course Code:
14ZJA
Academic Degree:
doctoral
Study Programme:
Engineering Informatics (P 3902)
languagestudy field / specialization
czech, englishI Engineering Informatics of Transportation and Communication - 3902V036
Form of Study:
full-time and part-time
Type of Course:
optional
Course Completion:
exam
Course Supervisor:
doc. Dr. Ing. Tomáš Brandejský
Supervising Department:
Department of Applied Informatics in Transportation (16114)
Abstract:
Creation specifications of enhanced RT operating systems. Problems with SW testing and its correctness substantiation. Programming languages security as protection against programmers´ errors, its analysis. ADA language and its security analysis.