欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Quartz
来自开放百科 - 灰狐
Quartz是OpenSymphony组织开发的开源企业级任务调度器,它可以与J2EE、J2SE 应用程序相结合也可以单独使用。Quartz可以用来创建简单或为运行十个，百个，甚至是几万个Jobs这样复杂的日程序表。Jobs可以是标准的Java组件或EJBs.
该项目已被 Terracotta 收购。
分享您的观点
