Prev | Home | English version | Next |
HARBOR: ИСПОЛЬЗОВАНИЕ МЕТОДА ФОРМАЛЬНЫХ СПЕЦИФИКАЦИЙ RAISE
ДЛЯ РАЗРАБОТКИ RDBMS ПРИЛОЖЕНИЯ.
![]() |
Документ является описанием реализации примера Harbor (раздел 2.6 учебника The RAISE Development Method ( или тут )
Читатель должен быть знаком с
Prev | Up | Next |