欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
StarUML
来自开放百科 - 灰狐
StarUML是一个运行在Win32上快速，灵活，可扩展，功能强大的UML/MDA平台。开源项目StarUML的目的是提供一个可以用来代替知名商业UML工具比如Rational Rose,Together等的建模工具和平台。
相关链接
精彩图集
文件:Example.jpg Pattern - EJB Support
分享您的观点
