G-UML

軟體性質: 免費 ‎檔案大小: N/A
‎使用者評分: 3.0/5 - ‎1 ‎評分

關於 G-UML

程式設計語言和工具允許:為JAVA、C#、C++,..;驗證代碼正確性和形式屬性。其目的是允許元件的最大可重複性(不依賴於語言),以及證明它們的正確性。