Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2023/2024
UPOZORNĚNÍ: Jsou dostupné studijní plány pro následující akademický rok.

Software Security - ADA

The course is not on the list Without time-table
Code Completion Credits Range
14YADA KZ 3 2+1
Garant předmětu:
Lecturer:
Tutor:
Supervisor:
Department of Applied Informatics in Transportation
Synopsis:

Requests for software from view of security and reliability and way of their achievement, questions of maintenance and portability, conjunction with RT operating systems, approach to creation of security and reliability SW in the European standards, programming language ADA 95, practical demonstrations of work with the GNAT ADA implementation and practices, formal methods of software designing and CASE systems.

Requirements:
Syllabus of lectures:
Syllabus of tutorials:
Study Objective:
Study materials:
Note:
Further information:
No time-table has been prepared for this course
The course is a part of the following study plans:
Data valid to 2024-03-27
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/en/predmet23357705.html