欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
CoSMIC
来自开放百科 - 灰狐
Component Synthesis with Model Integrated Computing (CoSMIC)
CoSMIC是支持一系列模型整合计算(MIC)和OMG的模型驱动架构(MDA)的一系列工具。因为很多的非功能性方面能够通过以组件元数据的方式来定义和实现,因此CoSMIC可以很容易并且很正确地实现这些非功能性需求,而不必去过多担心分布式实时嵌入系统非功能性代码正确性的验证问题。
CoSMIC和CIAO的结合给下一代软件开发提供了一个很好的范例。
分享您的观点