Продемонстровано використання методу формальних специфікацій RAISE для розробки Електронної біржі Ощадного банку. Надається обгрунтування користі від застосування методу RAISE та його порівняння з композиційно-номінативним підходом. Наводяться також характерні особливості побудованої системи.
З 31.12.2014 по 01.03.2015 Наукова бібліотека читачів не обслуговує.
