欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
BOUML 是一个 C++ 开发并基于 Qt 的开源 UML 2 建模工具，可生成 C++、Java、Idl、PHP、Python 等代码，支持 Unix、Linux、Solaris、Mac OS X 和 Windows 操作系统，该工具运行速度快，无需太多内存就可以管理几千个类。
主窗口
用例
序列图
协作图
状态图
活动图
类图
对象图
Plug-outs
Java目录
项目同步
Java逆向工程性能
