G-UML

许可: 免费 ‎文件大小: N/A
‎用户评分: 3.0/5 - ‎1 ‎评分

编程语言和工具允许:为Java、C#、C++,..;验证代码正确性和形式属性。其目的是允许组件的最大可重复性(不依赖于语言),以及证明它们的正确性。

版本历史记录

  • 版本 N/A 发布于 2011-08-09
    若干修复和更新
  • 版本 N/A 发布于 2011-08-09

软件信息