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