Зведений каталог бібліотек Києва

 

ПанченкотвПанченко, Т. В.
    Використання формальних специфікацій для розробки програмних систем [Текст] / Т.В. Панченко // Вісник Київського університету. — Київ, 2000. — 2000. — С. 245-256.


- Ключові слова:

банківська система, банковская система ; веб-технології, веб-технологии ; електронна біржа, электронная биржа ; програмування, программирование, programming

- Анотація:

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

- Є складовою частиною документа:

- Теми документа

  • Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка   Перейти на сайт