Біздің инстаграмға жазылыңыз, гранттық байқаудың нәтижелерін жіберіп алмау үшін!
Бағдарламаларды верификациялаудың математикалық негіздері
-
БЖ верификациялау әдістерінің жіктелуі. Сараптау. Формальды әдістер. Бағдарламалық жасақтаманы статикалық талдау. Абстрактілі түсіндіру әдісі аясында тәуелділіктерді талдау және анықтауды жүзеге асыру. БҚ тексерудің динамикалық әдістері.
-
Образовательная программа 6B06103 Бағдарламалық инженерия
-
Несиелер 5
-
Селективті тәртіп
-
Семестр 2