欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
PKUAS
来自开放百科 - 灰狐
开源JEE应用服务器 PKUAS 是国家科技重大专项项目“国产中间件参考实现及平台”的重要组成部分, 由北京大学信息科学技术学院软件工程研究所研发。
PKUAS 在功能上兼容Java EE 5(Java Platform, Enterprise Edition 5)规范和Enterprise JavaBean 3.0规范中的核心内容,全面支持基于J2EE/EJB体系结构的应用。PKUAS 在实现上采用基于OSGI微内核的开放架构,易于裁剪、配置、管理,对资源要求低而运行效率高,具有良好的互操作能力和出色的定制与扩展能力,性价比突出。
PKUAS 将支持实时应用、高可信应用、大规模协作应用等网络新型应用模式, 并为应用提供在线演化服务等, 将成为网构(Internetware)应用的实验平台。
链接
分享您的观点