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

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

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

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