欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell

以下页面链接至SOA：

• 首页 ‎ (←链入页面)
• Huihoo ‎ (←链入页面)
• Huihoo Enterprise SOA Suite ‎ (←链入页面)
• Apache ServiceMix ‎ (←链入页面)
• Elemenope ‎ (←链入页面)
• EAI ‎ (←链入页面)
• Virtualization ‎ (←链入页面)
• ESB ‎ (←链入页面)
• Huihoo IT Service ‎ (←链入页面)
• IBM SOA ‎ (←链入页面)
• Oracle Portal ‎ (←链入页面)
• PEtALS ‎ (←链入页面)
• Open Services Platform ‎ (←链入页面)
• 模板:Category ‎ (←链入页面)
• Service-oriented architecture (重定向页) ‎ (←链入页面)
  • Service-Oriented Architecture (重定向页) ‎ (←链入页面)
    • OpenSOA ‎ (←链入页面)
    • Architecture ‎ (←链入页面)
• JEmbedded ‎ (←链入页面)
• Guzz ‎ (←链入页面)
• Overlord ‎ (←链入页面)
• JBoss SOA ‎ (←链入页面)
• EBay Open Source ‎ (←链入页面)
• Interoperability ‎ (←链入页面)
• Apache Dubbo ‎ (←链入页面)
• WSO2 Carbon ‎ (←链入页面)