RU

Бағдарламалық қамтамасыз етудің әзірлеуінің формалды әдістері

  • Бағдарламаның мақсаты - талаптарды жинау мен талдауды, бағдарламаларды модельдеу мен жобалауды, бағдарламаны әзірлеудің заманауи технологияларының ерекшеліктерін, оларды тестілеуді және тексеруді қоса алғанда, бағдарламалардың өмірлік циклін қолдауға арналған әдістерді, технологияларды және құралдарды жасауға мамандандырылған докторанттарды даярлау. Бағдарламада объектіге бағытталған талдау мен дизайн әдістерін, бағдарламаларды аналитикалық тексеру әдістері мен бағдарламаларды олардың модельдері бойынша тексеру, бағдарламалардың орындалуы мен жұмыс істеуін талдау, сонымен қатар қателерді табу және тестілеу әдістері қарастырылған.
  • Образовательная программа 8D06101 Есептеу техникасы және бағдарламалық қамтамасыз ету
  • ВУЗ Астана халықаралық университеті
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 1
  • Семестр 2
Top