欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
CoSMIC
来自开放百科 - 灰狐
（版本间的差异）
| 第2行： | 第2行： | ||
CoSMIC是支持一系列模型整合计算（MIC）和OMG的模型驱动架构（MDA）的一系列工具。因为很多的非功能性方面能够通过以组件元数据的方式来定义和实现，因此CoSMIC可以很容易并且很正确地实现这些非功能性需求，而不必去过多担心分布式实时嵌入系统非功能性代码正确性的验证问题。 | CoSMIC是支持一系列模型整合计算（MIC）和OMG的模型驱动架构（MDA）的一系列工具。因为很多的非功能性方面能够通过以组件元数据的方式来定义和实现，因此CoSMIC可以很容易并且很正确地实现这些非功能性需求，而不必去过多担心分布式实时嵌入系统非功能性代码正确性的验证问题。 | ||
| + | |||
| + | CoSMIC和[[Component Integrated ACE ORB|CIAO]]的结合给下一代软件开发提供了一个很好的范例。 | ||
[[Image:cosmic-hex-scaled.jpg|thumb|right|CoSMIC Model-driven Deployment & Configuration]] | [[Image:cosmic-hex-scaled.jpg|thumb|right|CoSMIC Model-driven Deployment & Configuration]] | ||
2007年2月2日 (五) 13:30的最后版本
Component Synthesis with Model Integrated Computing (CoSMIC)
CoSMIC是支持一系列模型整合计算（MIC）和OMG的模型驱动架构（MDA）的一系列工具。因为很多的非功能性方面能够通过以组件元数据的方式来定义和实现，因此CoSMIC可以很容易并且很正确地实现这些非功能性需求，而不必去过多担心分布式实时嵌入系统非功能性代码正确性的验证问题。
CoSMIC和CIAO的结合给下一代软件开发提供了一个很好的范例。
分享您的观点
