Փոփոխությունների ֆորմալ վերիֆիկացիա բիզնես պրոցեսների շաբլոնների համար / Formal verification of changes for business process templates
Փոփոխությունների ֆորմալ վերիֆիկացիա բիզնես պրոցեսների շաբլոնների համար / Formal verification of changes for business process templates
| dc.contributor.author | Վարոսյան, Աննա Սերգեյի / Varosyan Anna | |
| dc.date.accessioned | 2023-03-02T09:32:51Z | |
| dc.date.available | 2023-03-02T09:32:51Z | |
| dc.date.issued | 2011 | |
| dc.description | Ե.13.04 «Հաշվողական մեքենաների, համալիրների, համակարգերի ցանցերի մաթեմատիկական և ծրագրային ապահովում» մասնագիտությամբ ֆիզիկամաթեմատիկական գիտությունների թեկնածուի գիտական աստիճանի հայցման ատենախոսություն ; Երևան-2011 ; Ատենախոսության թեման հաստատվել է Երևանի պետական համալսարանում ; Գիտական ղեկավար՝ Ս. Կ. Շուքուրյան ; Պաշտոնական ընդդիմախոսներ՝ Է. Մ. Պողոսյան, Ա. Մ. Վասիլյան ; Առաջատար կազմակերպություն՝ Հայ-Ռուսական (Սլավոնական) համալսարան ; Սեղմագիր՝ 24 էջ։ | |
| dc.description.abstract | Բիզնես պրոցեսները (ԲՊ) հանդիսանում են տարբեր տեսակի աշխատանքների հոսքերի(workflow) վարքի նկարագրման և իրականացման կարևոր բաղկացուցիչ մասը / Целью данной работы является формальная верификация изменений в шаблонах бизнес процессов / The aim of the thesis is to solve the formal verification problem of changes made on business process templates | |
| dc.identifier.uri | http://dspace.nla.am/handle/123456789/1881 | |
| dc.language.iso | arm | |
| dc.pages | Սեղմագիր՝ 24 էջ | |
| dc.publication.place | Երևան | |
| dc.publisher | ՀՀ ԳԱԱ ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ | |
| dc.subject | Տեխնիկական գիտություններ / Engineering & Technology | |
| dc.title | Փոփոխությունների ֆորմալ վերիֆիկացիա բիզնես պրոցեսների շաբլոնների համար / Formal verification of changes for business process templates | |
| dc.type | Abstract | |
| eperson.lastname | LS |