欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
BOUML
来自开放百科 - 灰狐
（版本间的差异）
| 第4行： | 第4行： | ||
<gallery widths=100px heights=100px perrow=6> | <gallery widths=100px heights=100px perrow=6> | ||
| − | Image:bouml-01.png | + | Image:bouml-01.png|主窗口 |
Image:bouml-usecase.png|用例 | Image:bouml-usecase.png|用例 | ||
Image:bouml-sequence-diagram.png|序列图 | Image:bouml-sequence-diagram.png|序列图 | ||
2010年10月5日 (二) 01:41的版本
BOUML 是一个 C++ 开发并基于 Qt 的开源 UML 2 建模工具，可生成 C++、Java、Idl、PHP、Python 等代码，支持 Unix、Linux、Solaris、Mac OS X 和 Windows 操作系统，该工具运行速度快，无需太多内存就可以管理几千个类。
主窗口
用例
序列图
协作图
状态图
活动图
类图
对象图
Plug-outs
Java目录
项目同步
Java逆向工程性能
链接
分享您的观点
