欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Green是 Eclipse 的一个插件,是一种先进的还简单的UML类图的工具,Green最初是的开发目的,是以支持计算机科学与工程系学生的教学工作。让学生了解良好的软件设计,尤其是使用设计模式,这是至关重要的。如果没有一个良好的设计,怎么可能让一个学生开始写代码。它是live round-tripping编辑器,因此可以很容易地从一个UML类图生成Java代码。它有很好的可扩展性。支持软件工程和逆向工程技术。