欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
分类:Model
来自开放百科 - 灰狐
Model, Modeling, Models, Metamodels, UML, OCL, MOF, XMI, SPEM, CWM, SysML, MDA, MDD, MDT, KDM, SMM, ASTM, ATL ...
https://www.omg.org/spec/category/modeling/
分类“Model”中的页面
本分类包含下列4个页面，共有4个页面。
分类“Model”中的媒体文件
本分类包含下列48个文件，共48个文件。
分享您的观点
