Arhitekturnoe modelirowanie dlq sistem TR2E
Vklad w dinamicheskoe konfigurirowanie, otkazoustojchiwost', optimizaciü i formal'nuü werifikaciü
Versandkostenfrei!
Versandfertig in 6-10 Tagen
39,99 €
inkl. MwSt.
PAYBACK Punkte
20 °P sammeln!
V ätoj dissertacii my opisywaem osnownoj wklad nashej issledowatel'skoj deqtel'nosti. Jeta deqtel'nost' qwlqetsq chast'ü temy "Arhitektury programmnogo obespecheniq wo wstroennom raspredelennom kontexte real'nogo wremeni" (TR2E). Opisany chetyre osnownyh naprawleniq: dinamicheskaq rekonfiguraciq, otkazoustojchiwost', mnogocelewaq optimizaciq i formal'naq werifikaciq sistem TR2E. Vse äti materialy osnowany na qzykah opisaniq arhitektury (ADL) w kachestwe osnownogo älementa modelirowaniq, blagodarq ochen' moschnym wozmozhnostqm wyrazheniq ADL, kotorye pozwolqüt opisat' obschuü arhitekturu ...
V ätoj dissertacii my opisywaem osnownoj wklad nashej issledowatel'skoj deqtel'nosti. Jeta deqtel'nost' qwlqetsq chast'ü temy "Arhitektury programmnogo obespecheniq wo wstroennom raspredelennom kontexte real'nogo wremeni" (TR2E). Opisany chetyre osnownyh naprawleniq: dinamicheskaq rekonfiguraciq, otkazoustojchiwost', mnogocelewaq optimizaciq i formal'naq werifikaciq sistem TR2E. Vse äti materialy osnowany na qzykah opisaniq arhitektury (ADL) w kachestwe osnownogo älementa modelirowaniq, blagodarq ochen' moschnym wozmozhnostqm wyrazheniq ADL, kotorye pozwolqüt opisat' obschuü arhitekturu sistemy do ispol'zowaniq metodow preobrazowaniq modeli i generacii koda dlq wypolneniq razlichnyh dejstwij, swqzannyh s kazhdym iz ätih materialow. My shiroko ispol'zuem äti metody dlq maximal'noj awtomatizacii i sokrascheniq ob#ema koda, napisannogo razrabotchikom wruchnuü.
Andere Kunden interessierten sich für
