А. ПИСКУНОВ, С. 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.