ISBN-13: 9783659181566 / Rosyjski / Miękka / 2012 / 280 str.
Obsuzhdayutsya nekotorye aspekty unifitsirovannogo podkhoda k konstruirovaniyu slozhnykh kompyuternykh vychislitelnykh kompleksov dlya resheniya prikladnykh zadach razlichnoy problemnoy orientatsii. Formalno opredelyaetsya klass algoritmicheskikh vychislitelnykh zadach, dlya kompyuternogo resheniya kotorykh predlagaetsya tipovoy vychislitelnyy kompleks. Bolshinstvo komponent kompleksa unifitsirovano, t.e. ne zavisit ot ego problemnoy orientatsii. Nastroyka kompleksa na reshenie opredelennogo klassa zadach osushchestvlyaetsya posredstvom konstruirovaniya ryada formalnykh modeley. Predstavlena metodologiya konstruirovaniya i interpretatsii takikh modeley, osnovannaya na posledovatelnykh transformatsiyakh modeli predstavleniya znaniy o predmetnoy oblasti v model professionalnogo yazyka predstavleniya dannykh, model khraneniya predlozheniy professionalnogo yazyka, a takzhe v setevuyu model vychislitelnogo protsessa resheniya prikladnoy zadachi.