欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
2step
来自开放百科 - 灰狐
2step is a a web application development enviroment based in Java technology. To run it you will need any servlet engine (Tomcat, Jetty, etc).
2step是一个用于开发完整Web应用程序(包括Web服务)的框架. 作为一个Servlet框架, 它的特性有: 访问控制、logging、I18N、数据库访问、XML/XSL支持等, 还用到Jetty,FOP和jCharts开源项目, 该框架提供一个用于辅助开发的Eclipse插件.
Links
分享您的观点