欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Acceleo:一个 MDA 驱动的代码自动生成工具。基于 Eclipse 和 Eclipse Modeling Framework 构建,能自动将模型生成 Java、C#、PHP 代码。