Czech
Programming Languages Security for Acute Situations
- Course Code:
- 14ZJA
- Academic Degree:
- doctoral
- Study Programme:
-
Engineering Informatics (P 3902)
language study field / specialization 
I Engineering Informatics of Transportation and Communication - 3902V036 - Form of Study:
- full-time and part-time
- Type of Course:
- optional
- Course Completion:
- exam v DB je chyba..
- Supervising Department:
- Department of Applied Informatics in Transportation (16114)
- Abstract:
- • Basic terms • Programmers errors and their consequences • Software complexity and its influence onto reliability and safety • Human reasoning models for constructive task solving • Processing capacity • Testing, problems and basic approaches • Software development process • Programming language safety • Languages ADA and SPARK • Standards IEC 61508, EN50128 • The use of undocumented SW in safety relevant systems • Verification, validation, assessment, ISO standards
Calendars at the Faculty of Transportation Sciences, CTU in Prague
Guide to Using Calendars (in Czech) 