Біздің инстаграмға жазылыңыз, гранттық байқаудың нәтижелерін жіберіп алмау үшін!
Программалық жасақтаманы әзірлеудің қатаң әдістері
-
Курс мақсаты: бағдарламалық жасақтаманы қатаң әзірлеуді қолдайтын құралдар мен әдістер туралы білім мен түсінік беру. Курс қауіпсіз және қорғалған бағдарламалық жүйелерді жобалау және модельдеу міндеттеріне бағытталған. Ол бағдарламалық жасақтаманың жоғары тұтастығын қолдайтын бірқатар қатаң процестер мен формальды әдістерді қамтиды. Студенттер модельдеу мен жобалық пайымдаудан бастап код жазуға дейін статикалық талдаудың бірқатар заманауи құралдары мен әдістерімен танысады.
-
Образовательная программа 6B06107 Компьютерлік инженерия (ҚР+UK)
-
Несиелер 5
-
Оқу жылы 4
-
Семестр 7