This page is hosted for free by zzz.com.ua, if you are owner of this page, you can remove this message and gain access to many additional features by upgrading your hosting to PRO or VIP for just 8.33 UAH.
Do you want to support owner of this site? Click here and buy hosting plan!
Prev Home English version Next

А. ПИСКУНОВ, С. GEORGE

HARBOR: ИСПОЛЬЗОВАНИЕ МЕТОДА ФОРМАЛЬНЫХ СПЕЦИФИКАЦИЙ RAISE ДЛЯ РАЗРАБОТКИ RDBMS ПРИЛОЖЕНИЯ.

Документ является описанием реализации примера Harbor (раздел 2.6 учебника The RAISE Development Method ( или тут )

Читатель должен быть знаком с

  • реляционными базами данных, в частности, с Sybase Anywhere ;
  • языком формальных спецификаций RAISE
  • языком программирования C;
  • также желательно быть знакомым с потоко-ориентированным редактором SED и утилитой MAKE (see any UNIX). Утилиты используются для построения базы данных.

    пояснительная записка , исходные текст примера, Техника проектирования абстрактного типа данных: перевод примера Harbour ,




    14/08/2007 - Добавлен перевод примера Harbour.
    Prev Up Next