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