Программы dbssve.sf.net
-
D.B.S.S.V.E. Бесплатный
DBSSVE — это единая среда, в которой используется интуитивно легкая формальная спецификация на этапах спецификации и тестирования разработки программного обеспечения. Кроме того, DBSSVE будет extensible к другим решениям на о