Здесь вы можете ознакомиться с проведенными работами в рамках проекта Network Cloud Cube-2 и функциональностью нашей системы. В разработке используется формальный метод, который будет понятен всем категориям читателей. Желаем приятного просмотра!
Разделы документации:
I. Описание проекта
О характере сопровождения проекта
Глоссарий проекта
Системная модель и описание модулей системы
Software Quality Assurance Plan (SQAP) - в работе.
Литература
II. Версия NCC Version 01.0
NCC Version 01.0 :: Исследование выполнения - в работе.
NCC Version 01.0 :: Спецификация программных требований - в работе.
NCC Version 01.0 :: Анализ и формализация требований - в работе.
NCC Version 01.0 :: Концептуальное моделирование - в работе.
NCC Version 01.0 :: Верификация требований - в работе.
NCC Version 01.0 :: Валидация требований - в работе.
III. Версия NCC Version 01.01 Telemetering Cloud
NCC Version 01.01 Telemetering Cloud :: Неформальная спецификация требований - в работе.
NCC Version 01.01 Telemetering Cloud :: Форматированная спецификация - в работе.
NCC Version 01.01 Telemetering Cloud :: Спецификация намерений - в работе.
NCC Version 01.01 Telemetering Cloud :: Формальная спецификация - в работе.
NCC Version 01.01 Telemetering Cloud :: Метрики требований - в работе.
NCC Version 01.01 Telemetering Cloud :: Верификация требований - в работе.
NCC Version 01.01 Telemetering Cloud :: Валидация требований - в работе.