D.B.S.S.V.E.

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 3.0/5 - ‎1 ‎Голосов

DBSSVE — это единая среда, в которой используется интуитивно легкая формальная спецификация на этапах спецификации и тестирования разработки программного обеспечения. Кроме того, DBSSVE будет extensible к другим решениям на основе спецификации нотаций и языков.

история версии

  • Версия dbssve размещено на 2011-07-23
    Несколько исправлений и обновлений
  • Версия N/A размещено на 2011-07-23

Подробная информация о программе