Հատուկ նշանակության կառավարման ավտոմատացված համակարգերում ստուգող իմիտացիոն համակարգերի հետազոտությունը և մշակումը
Loading...
Date
Journal Title
Journal ISSN
Volume Title
Publisher
ՀՀ ՄՄ գիտահետազոտական ինստիտուտ
Abstract
Հաշվի առնելով, որ ժամանակակից կառավարման ավտոմատացված համակարգերի (ԿԱՀ) ծրագրային ապահովումը (би), ինչպես կանոն, ունենում է մեծ ծավալ և բարդ կառուցվածք, ուստի նրա ստուգման կազմակերպումը և նրանում առկա սխալների ի հայտ բերումը բավականին ծավալուն աշխատանք է և հանդիսանում է ԾԱ-ի մշակման փուլերից մեկը / Диссертационная работа посвящена изучению и разработке методов проверки, отладки и испытания программного обеспечения
автоматизированных систем управления специального назначения (АСУСН)
Description
Ե.13.04«Հաշվողական մեքենաների, համալիրների, համակարգերի և ցանցերի մաթեմատիկական և ծրագրային ապահովում» մասնագիտությամբ տեխնիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2005 ; Ատենախոսության թեման հաստատվել է Երևանի ավտոմատ կառավարման համակարգերի գիտահետազոտական ինստիտուտում ; Գիտական ղեկավար՝ Յ. Գ. Մոսիկյան ; Պաշտոնական ընդդիմախոսներ՝ Հ. Հ. Հարությունյան, Ս. Է. Թոփչյան ; Առաջատար կազմակերպություն՝ ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ ; Սեղմագիր՝ 18 էջ։