-
Ruský jazyk
Arhitekturnoe modelirowanie dlq sistem TR2E
Autor: Bechir Zalila
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... Viac o knihe
Na objednávku
59.57 €
bežná cena: 62.70 €
O knihe
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ü.
- Vydavateľstvo: Sciencia Scripts
- Rok vydania: 2024
- Formát: Paperback
- Rozmer: 220 x 150 mm
- Jazyk: Ruský jazyk
- ISBN: 9786207187805
Nemecký jazyk
Anglický jazyk