Программы dbssve.sf.net

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