欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
EOS Studio
来自开放百科 - 灰狐
EOS集成开发环境是构件生成、组装、维护、部署、管理、发布于一体，提供对整个构件生命周期的维护，EOS集成开发环境基于成熟稳定的开源软件ECLIPSE3.0开发而成，内置了EOS Server5,Jboss4.0,单独安装集成开发环境就可以完成构件的开发，调试，不需要再另外安装EOS SERVER。EOS Studio 5.1 是开发EOS 应用的集成开发环境，在EOS Studio5.1中，以项目的形式组织了EOS 应用开发的资源，提供相应的向导、视图和编辑器等工具供开发人员在开发过程中可视化地开发、调试各种构件，并提供了强大的调试及团队开发功能。
EOS Studio总体结构图
分享您的观点
