
Unifikaciq proektirowaniq slozhnyh wychislitel'nyh komplexow
Modeli i metody konstruirowaniq slozhnyh programmnyh sistem
Versandkostenfrei!
Versandfertig in 1-2 Wochen
52,99 €
inkl. MwSt.
PAYBACK Punkte
26 °P sammeln!
Obsuzhdaütsq nekotorye aspekty unificirowannogo podhoda k konstruirowaniü slozhnyh komp'üternyh wychislitel'nyh komplexow dlq resheniq prikladnyh zadach razlichnoj problemnoj orientacii. Formal'no opredelqetsq klass algoritmicheskih wychislitel'nyh zadach, dlq komp'üternogo resheniq kotoryh predlagaetsq tipowoj wychislitel'nyj komplex. Bol'shinstwo komponent komplexa unificirowano, t.e. ne zawisit ot ego problemnoj orientacii. Nastrojka komplexa na reshenie opredelennogo klassa zadach osuschestwlqetsq posredstwom konstruirowaniq rqda formal'nyh modelej. Predstawlena metodologiq konstruirow...
Obsuzhdaütsq nekotorye aspekty unificirowannogo podhoda k konstruirowaniü slozhnyh komp'üternyh wychislitel'nyh komplexow dlq resheniq prikladnyh zadach razlichnoj problemnoj orientacii. Formal'no opredelqetsq klass algoritmicheskih wychislitel'nyh zadach, dlq komp'üternogo resheniq kotoryh predlagaetsq tipowoj wychislitel'nyj komplex. Bol'shinstwo komponent komplexa unificirowano, t.e. ne zawisit ot ego problemnoj orientacii. Nastrojka komplexa na reshenie opredelennogo klassa zadach osuschestwlqetsq posredstwom konstruirowaniq rqda formal'nyh modelej. Predstawlena metodologiq konstruirowaniq i interpretacii takih modelej, osnowannaq na posledowatel'nyh transformaciqh modeli predstawleniq znanij o predmetnoj oblasti w model' professional'nogo qzyka predstawleniq dannyh, model' hraneniq predlozhenij professional'nogo qzyka, a takzhe w setewuü model' wychislitel'nogo processa resheniq prikladnoj zadachi.