欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
BOUML 是一个 C++ 开发的开源 UML 2 建模工具,可生成 C++、Java、Idl、PHP、Python 等代码,支持 Unix、Linux、Solaris、MacOS X 和 Windows 操作系统,该工具运行速度快,无需太多内存就可以管理几千个类。