欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
elemenope是一个企业应用集成(EAI),面向服务架构(SOA)的消息框架.它使用JMS作为消息接发并且当前利用IBM MQSeries WebSphere MQ作为MOM(Message Oriented Middleware).elemenope还内置大型主机连接类用于当利用IMS适配器或IMS桥来连接一个运行中IBM MQSeries主机.
http://elemenope.org/