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.
Lieferbar
ISBN | 9783659181566 |
---|---|
Sprache | rus |
Cover | Kartonierter Einband (Kt) |
Verlag | LAP Lambert Academic Publishing |
Jahr | 20120714 |
Dieser Artikel hat noch keine Bewertungen.