{"product_id":"arhitekturnoe-modelirowanie-dlq-sistem-tr2e-von-bechir-zalila","title":"Arhitekturnoe modelirowanie dlq sistem TR2E","description":"\u003cp\u003eV ä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ü.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9786207187805\"\u003e\u003ch3\u003eVklad w dinamicheskoe konfigurirowanie, otkazoustojchiwost', optimizaciü i formal'nuü werifikaciü\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9786207187805","offer_id":47687043580229,"sku":"9786207187805","price":60.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/1bf83165-bb0a-442e-8e02-17b4682638e7.jpg?v=1749532710","url":"https:\/\/shop.autorenwelt.de\/en\/products\/arhitekturnoe-modelirowanie-dlq-sistem-tr2e-von-bechir-zalila","provider":"Autorenwelt Shop","version":"1.0","type":"link"}