Software Security - ADA
The course is not on the list Without time-table
| Code | Completion | Credits | Range |
|---|---|---|---|
| 14YADA | KZ | 3 | 2+1 |
- Lecturer:
- Tutor:
- Supervisor:
- Department of Informatics and Telecommunications
- 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: