欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Apache Tuscany
来自开放百科 - 灰狐
Apache Tuscany的实现遵循了SCA 和SDO规范,以及包括一个支持SDO的Data Access Service (DAS)。
此项目还在Apache 孵化, 并推出了 M1版本
分享您的观点