Сенімді компьютерлік жүйелерді жобалау

  • Пән ақпараттық жүйелер (АЖ) архитектурасының және оларды жобалаудың негізгі аспектілерін, соның ішінде бағдарламалық қамтамасыз ету сапасының атрибуттарын және оларды қамтамасыз ету әдістерін, статикалық және динамикалық АЖ модельдерін, бағдарламалық қамтамасыз етудің эволюциясы мен реинжинирингін (БҚ), БҚ тестілеу принциптерін, БҚ сенімділігін есептеу көрсеткіштері мен модельдерін, сенімділікті арттыру модельдерін, тестілеу негіздерін зерделейді; пәндер білім алушы сапа мен сенімділіктің жоғары стандарттарына сәйкес келетін сенімді компьютерлік жүйелерді жобалауға, талдауға және қолдауға қабілетті.
  • Несиелер 7
  • Селективті тәртіп
  • Оқу жылы 4
  • Семестр 2
Top