RU

Бағдарламалаудың спецификациясы және теориясы

  • Оқытылатын мәселелер: бағдарламаларды верификациялау және спецификациялаудың заманауи әдістерін қолдана отырып, нақты компьютерлік жүйелерді жоспарлау және жобалау; бағдарламаларды Объектілік модельдеуді қарастыру. Қалыптастырылатын құзыреттер: өндірістік және ғылыми міндеттерді шешу дағдыларын қалыптастыра отырып, кәсіби өсуге ықпал ететін формальды ерекшеліктер әдістерін меңгеру; спецификациялардың қазіргі тілдерін, тілдердің семантикасы мен синтаксисін, бағдарламалаудағы объектіге бағытталған спецификацияларды білу.
  • Образовательная программа 7M06103 Информатика және компьютерлік ғылымдар
  • ВУЗ «Мирас» университеті
  • Несиелер 6
  • Селективті тәртіп
  • Оқу жылы 1
  • Семестр 1
Top