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