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