プログラム dbssve.sf.net

DBSSVE は、ソフトウェア開発の仕様およびテスト段階で直感的な軽量形式仕様を利用する単一の環境です。また、DBSSVE は、他の決定ベースの仕様表記や言語にも拡張できます。