-
Ключові слова:
банківська система, банковская система ; веб-технології, веб-технологии ; електронна біржа, электронная биржа ; програмування, программирование, programming
-
Анотація:
Продемонстровано використання методу формальних специфікацій RAISE для розробки Електронної біржі Ощадного банку. Надається обгрунтування користі від застосування методу RAISE та його порівняння з композиційно-номінативним підходом. Наводяться також характерні особливості побудованої системи.
-
Є складовою частиною документа:
-
Теми документа
-
Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
|