欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
EAI(Enterprise Application Integration): 企业应用集成
根据《CIO Magazine》在2002年的对大企业CIO的调查，在这些主管企业信息化人士所关心的问题中，如何将众多的企业应用系统集成起来，是他们最为关注的热点。如下图所示：
